UML (informatique)

langage de modélisation graphique de conception de logiciel
Ceci est une version archivée de cette page, en date du 4 juin 2023 à 10:24 et modifiée en dernier par JackPotte (discuter | contributions). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.

Le Langage de Modélisation Unifié, de l'anglais Unified Modeling Language (UML), est un langage de modélisation graphique à base de pictogrammes conçu comme une méthode normalisée de visualisation dans les domaines du développement logiciel et en conception orientée objet.

UML
Logo.

Éditeur Object Management Group (OMG)
Genre Spécification formelle
État Version 2.5.1
Première publication
Dernière publication
Standard omg.org/spec/UML
Site web www.uml.orgVoir et modifier les données sur Wikidata

L'UML est une synthèse de langages de modélisation objet antérieurs : Booch, OMT, OOSE. Principalement issu des travaux de Grady Booch, James Rumbaugh et Ivar Jacobson, UML est à présent un standard adopté par l'Object Management Group (OMG). UML 1.0 a été normalisé en ; UML 2.0 a été adopté par l'OMG en [1]. La dernière version de la spécification validée par l'OMG est UML 2.5.1 (2017)[2].

Utilisation

UML est destiné à faciliter la conception des documents nécessaires au développement d'un logiciel orienté objet, comme standard de modélisation de l'architecture logicielle. Les différents éléments représentables sont :

  • Activité d'un objet/logiciel
  • Acteurs
  • Processus
  • Schéma de base de données
  • Composants logiciels
  • Réutilisation de composants.

Il est également possible de générer automatiquement tout ou partie du code, par exemple en langage Java, à partir des documents réalisés.

Histoire

 
Historique d'UML - méthode unifiée.
Historique d'UML, du début 1990 à 2017[3]
Date Description
Au début des années 1980 Les objets commencent à quitter les laboratoires de recherche et à faire leurs premiers pas dans le monde réel; entre autres, le langage de programmation Smalltalk, stabilisé, devient une plate-forme utilisable et le C++ voit le jour.

Les méthodes objets commencent à émerger pour remplacer les méthodes structurée et fonctionnelles, trop liés à la machine.

1989 à 1994 Le nombre de méthodes orientées objet passe de dix à plus de cinquante; toutes ces méthodes ont de nombreux points communs (objets, méthodes, paramètres, etc.).

Ces méthodes s'orientant sur l'abstraction des composants matériels, se basent sur des notions de classe, d'association, de partition en sous-systèmes et autour de l'étude de l'interaction entre utilisateur et le système. Les principaux auteurs de ces méthodes sont James Rumbaugh, Grady Booch et Ivar Jacobson. Parmi ces méthodes, deux s'imposent : la méthode de Booch et la méthode OMT (Object Modeling Technique). Les deuxièmes versions des méthodes de Booch et OMT font leur apparition : Booch'93 et OMT-2. Ces méthodes sont assez semblables, mais Booch'93 insiste plus sur la construction tandis qu'OMT-2 insiste plus sur l'analyse et l'abstraction.

1989 et 1991 Publication de deux ouvrages, par Sally Shlaer (en) et Steve Mellor sur l'analyse et la conception, qui débouchent sur une approche qu'ils nomment conception récursive.
1989 à 1990 Développement à Portland, par la communauté Smalltalk, de la conception pilotée par les responsabilités et les cartes CRC (Class-Responsability-Collaboration).
1991 à 1996 James Rumbaugh dirige aux laboratoires de recherche de General Electric une équipe de recherche qui publie un ouvrage très apprécié sur OMT.
1991 Publication d'ouvrages, par Peter Coad et Ed. Yourdon, qui développent les approches « allégées » et « orientées prototypes ».
1992 et 1995 Publication des livres d'Ivar Jacobson fondés sur son expérience des commutateurs téléphoniques chez Ericsson. Le premier introduit le concept de cas d'utilisation (use-case).
1994 à 1996 Grady Booch effectue un travail important chez Rational Software en développant des systèmes en Ada.
1994 Le nombre important de méthodes et le fait que les différences entre-elles se réduisent, font reculer la technologie objet au point que James Rumbaugh et Grady Booch s'unissent afin d'unifier leur travaux. Ils proposent une « méthode unifiée ».
1994 Les livres de Jim Odell, écrits avec James Martin, se fondent sur sa longue expérience des systèmes d'information et du génie logiciel et sont, parmi tous ces ouvrages, les plus conceptuels.
Début des travaux de la méthode unifiée (unified method (UM)).

James Rumbaugh rejoint Grady Booch chez Rational Software.

1995 Ivar Jacobson, créateur des use cases, rejoint James Rumbaugh et Grady Booch.
1995 Les auteurs de la méthode unifiée (UM) publient le document intitulé Unified Method V0.8.
Ivar Jacobson arrive chez Rational Software.
UML 0.8 inclut OOD/Booch '93 de Grady Booch et OMT de James Rumbaugh.
1996 Publication d'une nouvelle révision du document, Unified Method V0.9, à la suite des commentaires des utilisateurs.

La révision 0.9.1 est la version la plus aboutie de la méthode unifiée (réorientation de la portée de l'effort d'unification). La méthode change de nom et se transforme en UML (Unified Modeling Language for Object-Oriented Development). Un consortium de grandes entreprises se crée (Microsoft, IBM, Oracle, etc.) qui permettra de faire passer la méthode à sa version 1.0.

UML 0.9 inclut OOSE d'Ivar Jacobson.
UML 0.91
Normalisation de UML 1.0 par l'Object Management Group (OMG).
Proposition des spécifications d'UML 1.1 à l'OMG par un groupe de travail d'analystes et de concepteurs dirigé par Cris Kobryn et administré par Ed Eykholt.
Adoption des spécifications d'UML 1.1 par l'OMG[4].

Différentes améliorations continuent d'être apportées au standard UML, donnant naissance à quatre révisions : UML 1.2, 1.3, 1.4, 1.5. UML 1.5 est la dernière révision avant le passage à la version UML 2.0.

Les standards UML 1.x, encore largement influencés par la notation OMT, sont critiqués comme manquant d'intégration sémantique.

Adoption de UML 1.2 par l'OMG.
Adoption de UML 1.3 par l'OMG.
Publication de la spécification UML 1.3 complète.
UML 1.4.
UML 1.5 (recommandations)
UML 2.0 Superstructure Specification (recommandation)
UML 2.0 Diagram Interchange Specification (recommandation)
UML 2.0 OCL Specification
UML 2.0 (recommandation)
Adoption de UML 2.0 par l'OMG.
UML 2.0 Diagram Interchange Specification
deployment view)
UML 2.1.1 - XMI file
UML 2.1.1 Infrastructure Specification
UML 2.1.1 Superstructure Specification
2007 UML 1.4.2 devient une spécification ISO (ISO/IEC 19501).
Diffusion de UML 2.1.2 par l'OMG.
Diffusion de UML 2.2 par l'OMG.
Diffusion d'UML 2.3 par l'OMG.
Diffusion par l'OMG d'UML 2.4.1[5]. Infrastructure[6] et Superstructure[7] sont révisés en .
Diffusion par l'OMG d'UML 2.5.1[8]. Le métamodèle lui-même est inchangé depuis la superstructure d'UML 2.4.1, avec quelques exceptions[9].

Formalisme

UML est un langage de modélisation. La version actuelle, UML 2.5, propose 14 types de diagrammes dont sept structurels et sept comportementaux. À titre de comparaison, UML 1.3 comportait 25 types de diagrammes.

UML n'étant pas une méthode, l'utilisation des diagrammes est laissée à l'appréciation de chacun. Le diagramme de classes est généralement considéré comme l'élément central d'UML. Des méthodes, telles que le processus unifié proposé par les créateurs originels de UML, utilisent plus systématiquement l'ensemble des diagrammes et axent l'analyse sur les cas d'utilisation (« use case ») pour développer par itérations successives un modèle d'analyse, un modèle de conception, et d'autres modèles. D'autres approches se contentent de modéliser seulement partiellement un système, par exemple certaines parties critiques qui sont difficiles à déduire du code.

  • UML se décompose en plusieurs parties :
    • Les vues : ce sont les observables du système. Elles décrivent le système d'un point de vue donné, qui peut être organisationnel, dynamique, temporel, architectural, géographique, logique, etc. En combinant toutes ces vues, il est possible de définir (ou retrouver) le système complet.
    • Les diagrammes : ce sont des ensembles d'éléments graphiques. Ils décrivent le contenu des vues, qui sont des notions abstraites. Ils peuvent faire partie de plusieurs vues.
    • Les modèles d'élément : ce sont les éléments graphiques des diagrammes.

Vues

 
Vues d'UML.

Une façon de mettre en œuvre UML est de considérer différentes vues qui peuvent se superposer pour collaborer à la définition du système :

  • Vue des cas d'utilisation (use-case view) : c'est la description du modèle vu par les acteurs du système. Elle correspond aux besoins attendus par chaque acteur (c'est le quoi et le qui).
  • Vue logique (logical view): c'est la définition du système vu de l'intérieur. Elle explique comment peuvent être satisfaits les besoins des acteurs (c'est le comment).
  • Vue d'implémentation (implementation view) : cette vue définit les dépendances entre les modules.
  • Vue des processus  (process view) : c'est la vue temporelle et technique, qui met en œuvre les notions de tâches concurrentes, stimuli, contrôle, synchronisation…
  • Vue de déploiement (deployment view) : cette vue décrit la position géographique et l'architecture physique de chaque élément du système (c'est le où).

Le pourquoi n'est pas défini dans UML[10].

En UML 2.5, les diagrammes sont représentés sous deux types de vue : d'un point de vue statique ou structurelle du domaine avec les diagramme de structure (Structure Diagrams).

D'un point de vue dynamique avec les diagrammes de comportement (Behavior Diagrams) et les diagrammes d’interactions (Interaction Diagrams).

 
Diagrammes UML.

Diagrammes

 
La hiérarchie des diagrammes UML 2.0 sous forme d'un diagramme de classes.

Les diagrammes sont dépendants hiérarchiquement et se complètent, de façon à permettre la modélisation d'un projet tout au long de son cycle de vie. Il en existe quatorze depuis UML 2.3.

Diagrammes de structure ou diagrammes statiques

Les diagrammes de structure (structure diagrams) ou diagrammes statiques (static diagrams) rassemblent :

  • Diagramme de classes (class diagram) : représentation des classes intervenant dans le système.
  • Diagramme d'objets (object diagram) : représentation des instances de classes (objets) utilisées dans le système.
  • Diagramme de composants (component diagram) : représentation des composants du système d'un point de vue physique, tels qu'ils sont mis en œuvre (fichiers, bibliothèques, bases de données…)
  • Diagramme de déploiement (deployment diagram) : représentation des éléments matériels (ordinateurs, périphériques, réseaux, systèmes de stockage…) et la manière dont les composants du système sont répartis sur ces éléments matériels et interagissent entre eux.
  • Diagramme des paquets (package diagram) : représentation des dépendances entre les paquets (un paquet étant un conteneur logique permettant de regrouper et d'organiser les éléments dans le modèle UML), c'est-à-dire entre les ensembles de définitions.
  • Diagramme de structure composite (composite structure diagram) : représentation sous forme de boîte blanche des relations entre composants d'une classe (depuis UML 2.x).
  • Diagramme de profils (profile diagram) : spécialisation et personnalisation pour un domaine particulier d'un meta-modèle de référence d'UML (depuis UML 2.2).

Diagrammes de comportement

Les diagrammes de comportement (behavior diagrams) rassemblent :

  • Diagramme des cas d'utilisation (use-case diagram) : représentation des possibilités d'interaction entre le système et les acteurs (intervenants extérieurs au système), c'est-à-dire de toutes les fonctionnalités que doit fournir le système.
  • Diagramme états-transitions (state machine diagram) : représentation sous forme de machine à états finis du comportement du système ou de ses composants.
  • Diagramme d'activité (activity diagram) : représentation sous forme de flux ou d'enchaînement d'activités du comportement du système ou de ses composants.

Diagrammes d'interaction ou diagrammes dynamiques

Les diagrammes d'interaction (interaction diagrams) ou diagrammes dynamiques (dynamic diagrams) rassemblent :

  • Diagramme de séquence (sequence diagram) : représentation de façon séquentielle du déroulement des traitements et des interactions entre les éléments du système et/ou de ses acteurs.
  • Diagramme de communication (communication diagram) : représentation de façon simplifiée d'un diagramme de séquence se concentrant sur les échanges de messages entre les objets (depuis UML 2.x).
  • Diagramme global d'interaction (interaction overview diagram) : représentation des enchaînements possibles entre les scénarios préalablement identifiés sous forme de diagrammes de séquences (variante du diagramme d'activité) (depuis UML 2.x).
  • Diagramme de temps (timing diagram) : représentation des variations d'une donnée au cours du temps (depuis UML 2.3).

Modèles d'éléments

  • Un stéréotype est une marque de généralisation notée par des guillemets, montrant que l'objet est une variété d'un modèle.
  • Un classeur est une annotation qui permet de regrouper des unités ayant le même comportement ou structure. Un classeur se représente par un rectangle conteneur, en traits pleins.
  • Un paquet regroupe des diagrammes ou des unités.
  • Chaque classe ou objet se définit précisément avec le signe « :: ». Ainsi l'identification d'une classe X en dehors de son paquet ou de son classeur sera définie par « Paquet A::Classeur B::Classe X ».

Modèles d'éléments de type commun

 
Modèles d'éléments UML.

Symbolique des modèles d'éléments :

  • Fourche (fork).
  • État initial (initial state).
  • État final (final state).
  • Interface (interface).
    • O←--- sens du flux de l'interface.
    • O)----- est un raccourci pour la superposition de ---→O et O←---.

Modèles d'éléments de type relation

Autres modèles d'éléments

Normalisation et certification

UML n'est pas une norme en droit mais un simple standard « industriel » (ou norme de fait), parce que promu par l'OMG () au même titre que CORBA et en raison de son succès. Depuis , la première version 2.x de UML est validée par l'OMG.

Par ailleurs, depuis 2003, l'OMG a mis en place un programme de certification à la pratique et la connaissance d'UML OCUP[11] qui recouvre trois niveaux de maîtrise.

Exemple de séquence de création des diagrammes

Diagramme Étape du cycle en V
1. Diagramme de cas d'utilisation Spécification, cahier des charges
2. Diagramme de séquence
3. Diagramme d'activité (processus métiers)
4. Diagramme d'activité (cinématique et/ou processus applicatifs)
5. Diagramme de classes Conception architecturale
6. Diagramme d'objets
7. Diagramme de communication
8. Diagramme de déploiement
9. Diagramme de composants

Logiciels de modélisation UML

 
Umbrello, atelier UML de KDE.

S'il existe de nombreux logiciels de modélisation UML, aucun ne respecte entièrement chacune des versions de UML, particulièrement UML 2, et beaucoup introduisent des notations non conformes. En revanche, de nombreux logiciels comportent des modules de génération de code, particulièrement à partir du diagramme de classes, qui est celui qui se prête le mieux à une telle automatisation.

Notes et références

  1. Voir la section Historique
  2. UML sur le site de l'OMG
  3. History - Formal versions sur le site de l'OMG
  4. « UML Specification version 1.1 (OMG document ad/97-08-11) », Omg.org (consulté le )
  5. Specification UML 2.4.1
  6. (en) OMG, « OMG Unified Modeling LanguageTM (OMG UML),Infrastructure », OMG, (consulté le ).
  7. (en) OMG, « OMG Unified Modeling LanguageTM (OMG UML),Superstructure », OMG, (consulté le ).
  8. Specification UML 2.5.1 (2017) (Consulté le 20 mai 2019)
  9. Voir le chapitre "6.1 Specification Simplification" d'UML 2.5.1. (Consulté le 20 mai 2019)
  10. Pourquoi UML ? (Consulté le 20 mai 2019)
  11. OCUP 2™ - OMG's UML 2.5 Certification

Voir aussi

Sur les autres projets Wikimedia :

Bibliographie

Articles connexes

Liens externes