Vous êtes sur la page 1sur 54

UML, le langage de modlisation objet unifi

Par Laurent Piechocki N de la fusion des mthodes objet dominantes (OMT, Booch et OOSE), puis normalis par l'OMG en 1997, UML est rapidement devenu un standard incontournable. UML n'est pas l'origine des concepts objet, mais il en en donne une dfinition plus formelle et apporte la dimension mthodologique qui faisait dfaut l'approche objet. Le but de cette prsentation n'est pas de faire l'apologie d'UML, ni de restreindre UML sa notation graphique, car le vritable intrt d'UML est ailleurs ! En effet, matriser la notation graphique d'UML n'est pas une fin en soi. Ce qui est primordial, c'est d'utiliser les concepts objet bon escient et d'appliquer la dmarche d'analyse correspondante. Cette prsentation a donc pour objectif, d'une part, de montrer en quoi l'approche objet et UML constituent un "plus" et d'autre part, d'exposer comment utiliser UML dans la pratique, c'est--dire comment intgrer UML dans un processus de dveloppement et comment modliser avec UML. Avertissement : Les textes qui composent la prsentation sont (volontairement) trs synthtiques, la manire de transparents qu'on projette au cours d'une formation. Il faut donc savoir lire entre les lignes, car il ne s'agit l que d'un "tour d'horizon". Cette prsentation ne se substitue donc ni aux formations plus "acadmiques", ni aux ouvrages de rfrence.

I. PRESENTATION D'UML
I-A. Un peu d'Histoire...
I-A-1. Approche fonctionnelle vs. approche objet
I-A-1-a. La dcoupe fonctionnelle d'un problme informatique : une approche intuitive Exemple de dcoupe fonctionnelle d'un logiciel ddi la gestion d'une bibliothque :

Le logiciel est compos d'une hirarchie de fonctions, qui ensemble, fournissent les services dsirs, ainsi que de donnes qui reprsentent les lments manipuls (livres, etc). Logique, cohrent et intuitif.

I-A-1-b. Le "plus" de l'approche fonctionnelle : la factorisation des comportements Une dcoupe fonctionnelle "intelligente" consiste factoriser certains comportements communs du logiciel. En d'autres termes : pour raliser une fonction du logiciel, on peut utiliser un ensemble d'autres fonctions, dj disponibles, pour peu qu'on rende ces dernires un tant soit peu gnriques. Gnial !

I-A-1-c. Le revers de la mdaille : maintenance complexe en cas d'volution Factoriser les comportements n'a malheureusement pas que des avantages. Les fonctions sont devenues interdpendantes : une simple mise jour du logiciel un point donn, peut impacter en cascade une multitude d'autres fonctions. On peut minorer cet impact, pour peu qu'on utilise des fonctions plus gnriques et des structures de donnes ouvertes. Mais respecter ces contraintes rend l'criture du logiciel et sa maintenance plus complexe. En cas d'volution majeure du logiciel (passage de la gestion d'une bibliothque celle d'une mdiathque par exemple), le scnario est encore pire. Mme si la structure gnrale du logiciel reste valide, la multiplication des points de maintenance, engendre par le chanage des fonctions, rend l'adaptation trs laborieuse. Le logiciel doit tre retouch dans sa globalit :

I-A-1-d. La sparation des donnes et des traitements : le pige ! Examinons le problme de l'volution de code fonctionnel plus en dtail... 2

Faire voluer une application de gestion de bibliothque pour grer une mdiathque, afin de prendre en compte de nouveaux types d'ouvrages (cassettes vido, CD-ROM, etc...), ncessite :

de faire voluer les structures de donnes qui sont manipules par les fonctions, d'adapter les traitements, qui ne manipulaient l'origine qu'un seul type de document (des livres).

Il faudra donc modifier toutes les portions de code qui utilisent la base documentaire, pour grer les donnes et les actions propres aux diffrents types de documents. Il faudra par exemple modifier la fonction qui ralise l'dition des "lettres de rappel" (une lettre de rappel est une mise en demeure, qu'on envoie automatiquement aux personnes qui tardent rendre un ouvrage emprunt). Si l'on dsire que le dlai avant rappel varie selon le type de document emprunt, il faut prvoir une rgle de calcul pour chaque type de document. En fait, c'est la quasi-totalit de l'application qui devra tre adapte, pour grer les nouvelles donnes et raliser les traitements correspondants. Et cela, chaque fois qu'on dcidera de grer un nouveau type de document !
struct Document { char nom_doc[50]; Type_doc type; Bool est_emprunte; char emprunteur[50]; struct tm date_emprunt; } DOC[MAX_DOCS]; void lettres_de_rappel() { /* ... */ for (i = 0; i < NB_DOCS; i++) { if (DOC[i].est_emprunte) { switch(DOC[i].type) { case LIVRE: delai_avant_rappel = 20; break; case CASSETTE_VIDEO: delai_avant_rappel = 7; break; case CD_ROM: delai_avant_rappel = 5; break; } } } /* ... */ } void mettre_a_jour(int ref) { /* ... */ switch(DOC[ref].type) { case LIVRE: maj_livre(DOC[ref]); break; case CASSETTE_VIDEO: maj_k7(DOC[ref]); break; case CD_ROM: maj_cd(DOC[ref]); break; }

/* ... */

I-A-1-e. 1re amlioration : rassembler les valeurs qui caractrisent un type, dans le type Une solution relativement lgante la multiplication des branches conditionnelles et des redondances dans le code (consquence logique d'une trop grande ouverture des donnes), consiste tout simplement centraliser dans les structures de donnes, les valeurs qui leurs sont propres :
struct Document { char nom_doc[50]; Type_doc type; Bool est_emprunte; char emprunteur[50]; struct tm date_emprunt; int delai_avant_rappel; } DOC[MAX_DOCS]; { void lettres_de_rappel() /* ... */ for (i = 0; i < NB_DOCS; i++) { if (DOC[i].est_emprunte) /* SI LE DOC EST EMPRUNTE */ { /* IMPRIME UNE LETTRE SI SON DELAI DE RAPPEL EST DEPASSE */ if (date() >= (DOC[i].date_emprunt + DOC[i].delai_avant_rappel)) imprimer_rappel(DOC[i]); } } }

Quoi de plus logique ? En effet, le "dlai avant dition d'une lettre de rappel" est bien une caractristique propre tous les ouvrages grs par notre application. Mais cette solution n'est pas encore optimale ! I-A-1-f. 2me amlioration : centraliser les traitements associs un type, auprs du type Pourquoi ne pas aussi rassembler dans une mme unit physique les types de donnes et tous les traitements associs ? Que se passerait-il par exemple si l'on centralisait dans un mme fichier, la structure de donnes qui dcrit les documents et la fonction de calcul du dlai avant rappel ? Cela nous permettrait de retrouver en un clin d'oeil le bout de code qui est charg de calculer le dlai avant rappel d'un document, puisqu'il se trouve au plus prs de la structure de donnes concerne. Ainsi, si notre mdiathque devait grer un nouveau type d'ouvrage, il suffirait de modifier une seule fonction (qu'on sait retrouver instannment), pour assurer la prise en compte de ce nouveau type de document dans le calcul du dlai avant rappel. Plus besoin de fouiller partout dans le code...
struct Document { char nom_doc[50]; Type_doc type; Bool est_emprunte; char emprunteur[50]; struct tm date_emprunt;

int delai_avant_rappel; } DOC[MAX_DOCS]; int calculer_delai_rappel(Type_doc type) { switch(type) { case LIVRE: return 20; case CASSETTE_VIDEO: return 7; case CD_ROM: return 5; /* autres "case" bienvenus ici ! */ } }

Ecrit en ces termes, notre logiciel sera plus facile maintenir et bien plus lisible. Le stockage et le calcul du dlai avant rappel des documents, est dsormais assur par une seule et unique unit physique (quelques lignes de code, rapidement identifiables). Pour accder la caractristique "dlai avant rappel" d'un document, il suffit de rcuprer la valeur correspondante parmi les champs qui dcrivent le document. Pour assurer la prise en compte d'un nouveau type de document dans le calcul du dlai avant rappel, il suffit de modifier une seule fonction, situe au mme endroit que la structure de donnes qui dcrit les documents :
void ajouter_document(int ref) { DOC[ref].est_emprunte = FAUX; DOC[ref].nom_doc = saisir_nom(); DOC[ref].type = saisir_type(); DOC[ref].delai_avant_rappel = calculer_delai_rappel(DOC[ref].type); } void afficher_document(int ref) { printf("Nom du document: %s\n",DOC[ref].nom_doc); /* ... */ printf("Delai avant rappel: %d jours\n",DOC[ref].delai_avant_rappel); /* ... */ }

I-A-1-g. Rcapitulons... En rsum : centraliser les donnes d'un type et les traitements associs, dans une mme unit physique, permet de limiter les points de maintenance dans le code et facilite l'accs l'information en cas d'volution du logiciel :

I-A-1-h. Objet ? Les modifications que nous avons apport notre logiciel de gestion de mdiathque, nous ont amen transformer ce qui tait l'origine une structure de donnes, manipule par des fonctions, en une entit autonome, qui regroupe un ensemble de proprits cohrentes et de traitements associs. Une telle entit s'appelle... un objet et constitue le concept fondateur de l'approche du mme nom !

Un objet est une entit aux frontires prcises qui possde une identit (un nom). Un ensemble d'attributs caractrise l'tat de l'objet. Un ensemble d'oprations (mthodes) en dfinissent le comportement. Un objet est une instance de classe (une occurrence d'un type abstrait). Une classe est un type de donnes abstrait, caractris par des proprits (attributs et mthodes) communes des objets et permettant de crer des objets possdant ces proprits.

Exemple :

I-A-2. Quels sont les autres concepts importants de l'approche objet ?


I-A-2-a. Encapsulation

Consiste masquer les dtails d'implmentation d'un objet, en dfinissant une interface. L'interface est la vue externe d'un objet, elle dfinit les services accessibles (offerts) aux utilisateurs de l'objet. L'encapsulation facilite l'volution d'une application car elle stabilise l'utilisation des objets : on peut modifier l'implmentation des attributs d'un objet sans modifier son interface. L'encapsulation garantit l'intgrit des donnes, car elle permet d'interdire l'accs direct aux attributs des objets (utilisation d'accesseurs).

I-A-2-b. Hritage (et polymorphisme)


L'hritage est un mcanisme de transmission des proprits d'une classe (ses attributs et mthodes) vers une sous-classe. Une classe peut tre spcialise en d'autres classes, afin d'y ajouter des caractristiques spcifiques ou d'en adapter certaines. Plusieurs classes peuvent tre gnralises en une classe qui les factorise, afin de regrouper les caractristiques communes d'un ensemble de classes. La spcialisation et la gnralisation permettent de construire des hirarchies de classes. L'hritage peut tre simple ou multiple. L'hritage vite la duplication et encourage la rutilisation. 6

Le polymorphisme reprsente la facult d'une mthode pouvoir s'appliquer des objets de classes diffrentes. Le polymorphisme augmente la gnricit du code.

Exemple d'une hirarchie de classes :

Polymorphisme, exemple :
Vehicule convoi[3] = { Train("TGV"), Voiture("twingo"), Bateau("Titanic") }; for (int i = 0; i < 3; i++) { convoi[i].seDeplacer(); }

I-A-2-c. Agrgation

Il s'agit d'une relation entre deux classes, spcifiant que les objets d'une classe sont des composants de l'autre classe. Une relation d'agrgation permet donc de dfinir des objets composs d'autres objets. L'agrgation permet d'assembler des objets de base, afin de construire des objets plus complexes.

Agrgation, exemple : 7

I-A-2-d. Rsum sur les concepts fondateurs de l'approche objet


la notion d'objet et de classe (d'objets) l'encapsulation (les interfaces des objets) l'hritage (les hirarchies d'objets) l'agrgation (la construction d'objets l'aide d'objets) Remarque : Les langages orients objet fournissent de nombreux autres mcanismes qui affinent ces concepts de base, favorisent la gnricit du code ou amliorent sa robustesse.

I-A-2-e. L'approche objet, hier et aujourd'hui

Les concepts objet sont stables et prouvs (issus du terrain) Simula, 1er langage de programmation implmenter le concept de type abstrait ( l'aide de classes), date de 1967 ! En 1976 dj, Smalltalk implmente les concepts fondateurs de l'approche objet (encapsulation, agrgation, hritage) l'aide de : classes associations entre classes hirarchies de classes messages entre objets Le 1er compilateur C++ date de 1980, et C++ est normalis par l'ANSI. De nombreux langages orients objets acadmiques ont tays les concepts objets : Eiffel, Objective C, Loops... Les concepts objet sont anciens, mais ils n'ont jamais t autant d'actualit L'approche fonctionnelle n'est pas adapte au dveloppement d'applications qui voluent sans cesse et dont la complexit croit continuellement. L'approche objet a t invente pour faciliter l'volution d'applications complexes. De nos jours, les outils orients objet sont fiables et performants Les compilateurs C++ produisent un code robuste et optimis. De trs nombreux outils facilitent le dveloppement d'applications C++ : gnrateurs d'IHM (Ilog Views, TeleUse...) bibliothques (STL, USL, Rogue Wave, MFC...) environnements de dveloppement intgrs (Developper Studio, Sniff+...) outils de qualimtrie et de tests (Cantata++, Insure++, Logiscope...) bases de donnes orientes objet (O2, ObjectStore, Versant...)

I-A-2-f. L'approche objet : une solution parfaite ? En rsum, l'approche objet c'est :

Un ensemble de concepts stables, prouvs et normaliss. Une solution destine faciliter l'volution d'applications complexes. Une panoplie d'outils et de langages performants pour le dveloppement 8

Oui, MAIS.. Malgr les apparences, il est plus naturel pour nos esprits cartsiens, de dcomposer un problme informatique sous forme d'une hirarchie de fonctions atomiques et de donnes, qu'en terme d'objets et d'interaction entre ces objets. De plus, le vocabulaire prcis est un facteur d'chec important dans la mise en oeuvre d'une approche objet.

L'approche objet est moins intuitive que l'approche fonctionnelle ! Quels moyens utiliser pour faciliter l'analyse objet ? Quels critres identifient une conception objet pertinente ? Comment comparer deux solutions de dcoupe objet d'un systme ? L'application des concepts objets ncessite une grande rigueur ! Le vocabulaire est prcis (risques d'ambiguts, d'incomprhensions). Comment dcrire la structure objet d'un systme de manire pertinente ?

I-A-2-g. Quels sont les remdes aux inconvnients de l'approche objet ?

Un langage pour exprimer les concepts objet qu'on utilise, afin de pouvoir : Reprsenter des concepts abstraits (graphiquement par exemple). Limiter les ambiguts (parler un langage commun). Faciliter l'analyse (simplifier la comparaison et l'valuation de solutions). Une dmarche d'analyse et de conception objet, pour : Ne pas effectuer une analyse fonctionnelle et se contenter d'une implmentation objet, mais penser objet ds le dpart. Dfinir les vues qui permettent de couvrir tous les aspects d'un systme, avec des concepts objets. Bref : il nous faut un outil qui apporte une dimension mthodologique l'approche objet, afin de mieux matriser sa richesse et sa complexit.

I-B. Les mthodes objet et la gense d'UML


I-B-1. Mthodes ?

Les premires mthodes d'analyse (annes 70) Dcoupe cartsienne (fonctionnelle et hirarchique) d'un systme. L'approche systmique (annes 80) Modlisation des donnes + modlisation des traitements (Merise, Axial, IE...). L'mergence des mthodes objet (1990-1995) Prise de conscience de l'importance d'une mthode spcifiquement objet : comment structurer un systme sans centrer l'analyse uniquement sur les donnes ou uniquement sur les traitements (mais sur les deux) ? Plus de 50 mthodes objet sont apparues durant cette priode (Booch, Classe-Relation, Fusion, HOOD, OMT, OOA, OOD, OOM, OOSE...) ! Aucun mthode ne s'est rellement impose. Les premiers consensus (1995) OMT (James Rumbaugh) : vues statiques, dynamiques et fonctionnelles d'un systme Issue du centre de R&D de General Electric. Notation graphique riche et lisible. OOD (Grady Booch) : vues logiques et physiques du systme Dfinie pour le DOD, afin de rationaliser de dveloppement d'applications ADA, puis C+ +. 9

Ne couvre pas la phase d'analyse dans ses 1res versions (prconise SADT). Introduit le concept de package (lment d'organisation des modles) OOSE (Ivar Jacobson) : couvre tout le cycle de dveloppement Issue d'un centre de dveloppement d'Ericsson, en Sude. La mthodologie repose sur l'analyse des besoins des utilisateurs. L'unification et la normalisation des mthodes (1995-1997) UML (Unified Modeling Langage), la fusion et synthse des mthodes dominantes :

UML aujourd'hui : un standard incontournable UML est le rsultat d'un large consensus (industriels, mthodologistes...). UML est le fruit d'un travail d'experts reconnus. UML est issu du terrain. UML est riche (il couvre toutes les phases d'un cycle de dveloppement). UML est ouvert (il est indpendant du domaine d'application et des langages d'implmentation). Aprs l'unification et la standardisation, bientt l'industrialisation d'UML : les outils qui supportent UML se multiplient (GDPro, ObjectTeam, Objecteering, OpenTool, Rational Rose, Rhapsody, STP, Visio, Visual Modeler, WithClass...). XMI (format d'change standard de modles UML). UML volue mais reste stable ! L'OMG RTF (nombreux acteurs industriels) centralise et normalise les volutions d'UML au niveau international. Les groupes d'utilisateurs UML favorisent le partage des expriences. De version en version, UML gagne en maturit et prcision, tout en restant stable. UML inclut des mcanismes standards d'auto-extension. La description du mtamodle d'UML est standardise (OMG-MOF). >>> UML n'est pas une mode, c'est un investissement fiable !

I-B-2. A quoi sert UML ?


UML n'est pas une mthode ou un processus !

Si l'on parle de mthode objet pour UML, c'est par abus de langage ! Ce constat vaut aussi pour OMT ou d'autres techniques / langages de modlisation. Une mthode propose aussi un processus, qui rgit notamment l'enchanement des activits de production d'une entreprise. UML a t pens pour permettre de modliser les activits de l'entreprise, pas pour les rgir (ce n'est pas CMM ou SPICE). Un processus de dveloppement logiciel universel est une utopie : Impossible de prendre en compte toutes les organisations et cultures d'entreprises. 10

Un processus est adapt (donc trs li) au domaine d'activit de l'entreprise. Mme si un processus constitue un cadre gnral, il faut l'adapter de manire prcise au contexte de l'entreprise.

UML est un langage pseudo-formel

UML est fond sur un mtamodle, qui dfinit : les lments de modlisation (les concepts manipuls par le langage), la smantique de ces lments (leur dfinition et le sens de leur utilisation). Un mtamodle est une description trs formelle de tous les concepts d'un langage. Il limite les ambiguts et encourage la construction d'outils. Le mtamodle d'UML permet de classer les concepts du langage (selon leur niveau d'abstraction ou domaine d'application) et expose sa structure. Le mtamodle UML est lui-mme dcrit par un mta-mtamodle (OMG-MOF). UML propose aussi une notation, qui permet de reprsenter graphiquement les lments de modlisation du mtamodle. Cette notation graphique est le support du langage UML.

UML cadre l'analyse objet, en offrant :


diffrentes vues (perspectives) complmentaires d'un systme, qui guident l'utilisation des concept objets, plusieurs niveaux d'abstraction, qui permettent de mieux contrler la complexit dans l'expression des solutions objets.

UML est un support de communication


Sa notation graphique permet d'exprimer visuellement une solution objet. L'aspect formel de sa notation limite les ambiguts et les incomprhensions. Son aspect visuel facilite la comparaison et l'valuation de solutions. Son indpendance (par rapport aux langages d'implmentation, domaine d'application, processus...) en font un langage universel.

I-C. Avantages et inconvnients d'UML


I-C-1. Les points forts d'UML
UML est un langage formel et normalis

gain de prcision gage de stabilit encourage l'utilisation d'outils

UML est un support de communication performant


Il cadre l'analyse. Il facilite la comprhension de reprsentations abstraites complexes. Son caractre polyvalent et sa souplesse en font un langage universel.

I-C-2. Les points faibles d'UML


11

La mise en pratique d'UML ncessite un apprentissage et passe par une priode d'adaptation. Mme si l'Espranto est une utopie, la ncessit de s'accorder sur des modes d'expression communs est vitale en informatique. UML n 'est pas l'origine des concepts objets, mais en constitue une tape majeure, car il unifie les diffrentes approches et en donne une dfinition plus formelle.

Le processus (non couvert par UML) est une autre cl de la russite d'un projet. Or, l'intgration d'UML dans un processus n'est pas triviale et amliorer un processus est un tche complexe et longue Les auteurs d'UML sont tout fait conscients de l'importance du processus, mais l'acceptabilit industrielle de la modlisation objet passe d'abord par la disponibilit d'un langage d'analyse objet performant et standard.

II. MODELISER AVEC UML


II-A. Qu'est-ce qu'un modle ?

Un modle est une abstraction de la ralit L'abstraction est un des piliers de l'approche objet. Il s'agit d'un processus qui consiste identifier les caractristiques intressantes d'une entit, en vue d'une utilisation prcise. L'abstraction dsigne aussi le rsultat de ce processus, c'est--dire l'ensemble des caractristiques essentielles d'une entit, retenues par un observateur. Un modle est une vue subjective mais pertinente de la ralit Un modle dfinit une frontire entre la ralit et la perspective de l'observateur. Ce n'est pas "la ralit", mais une vue trs subjective de la ralit. Bien qu'un modle ne reprsente pas une ralit absolue, un modle reflte des aspects importants de la ralit, il en donne donc une vue juste et pertinente. Quelques exemples de modles Modle mtorologique : partir de donnes d'observation (satellite ...), permet de prvoir les conditions climatiques pour les jours venir. Modle conomique : peut par exemple permettre de simuler l'volution de cours boursiers en fonction d'hypothses macro-conomiques (volution du chmage, taux de croissance...). Modle dmographique : dfinit la composition d'un panel d'une population et son comportement, dans le but de fiabiliser des tudes statistiques, d'augmenter l'impact de dmarches commerciales, etc...

Caractristiques fondamentales des modles Le caractre abstrait d'un modle doit notamment permettre :

de faciliter la comprhension du systme tudi > Un modle rduit la complexit du systme tudi. de simuler le systme tudi > Un modle reprsente le systme tudi et reproduit ses comportements.

12

Un modle rduit (dcompose) la ralit, dans le but de disposer d'lments de travail exploitables par des moyens mathmatiques ou informatiques : modle / ralit ~ digital / analogique

II-B. Comment modliser avec UML ?


UML est un langage qui permet de reprsenter des modles, mais il ne dfinit pas le processus d'laboration des modles ! Cependant, dans le cadre de la modlisation d'une application informatique, les auteurs d'UML prconisent d'utiliser une dmarche : itrative et incrmentale, guide par les besoins des utilisateurs du systme, centre sur l'architecture logicielle. D'aprs les auteurs d'UML, un processus de dveloppement qui possde ces qualits devrait favoriser la russite d'un projet.

II-B-1. Une dmarche itrative et incrmentale ?


L'ide est simple : pour modliser (comprendre et reprsenter) un systme complexe, il vaut mieux s'y prendre en plusieurs fois, en affinant son analyse par tapes. Cette dmarche devrait aussi s'appliquer au cycle de dveloppement dans son ensemble, en favorisant le prototypage.

Le but est de mieux matriser la part d'inconnu et d'incertitudes qui caractrisent les systmes complexes.

II-B-2. Une dmarche pilote par les besoins des utilisateurs ?


Avec UML, ce sont les utilisateurs qui guident la dfinition des modles :

Le primtre du systme modliser est dfini par les besoins des utilisateurs (les utilisateurs dfinissent ce que doit tre le systme). Le but du systme modliser est de rpondre aux besoins de ses utilisateurs (les utilisateurs sont les clients du systme).

Les besoins des utilisateurs servent aussi de fil rouge, tout au long du cycle de dveloppement (itratif et incrmental) :

A chaque itration de la phase d'analyse, on clarifie, affine et valide les besoins des utilisateurs. A chaque itration de la phase de conception et de ralisation, on veille la prise en compte des besoins des utilisateurs. A chaque itration de la phase de test, on vrifie que les besoins des utilisateurs sont satisfaits.

II-B-3. Une dmarche centre sur l'architecture ?

Une architecture adapte est la cl de vote du succs d'un dveloppement. Elle dcrit des choix stratgiques qui dterminent en grande partie les qualits du logiciel (adaptabilit, performances, fiabilit...).

13

Ph. Kruchten propose diffrentes perspectives, indpendantes et complmentaires, qui permettent de dfinir un modle d'architecture (publication IEEE, 1995). Cette vue ("4+1") a fortement inspir UML :

II-B-4. Dfinir une architecture avec UML (dtail de la "vue 4+1")


La vue logique

Cette vue de haut niveau se concentre sur l'abstraction et l'encapsulation, elle modlise les lments et mcanismes principaux du systme. Elle identifie les lments du domaine, ainsi que les relations et interactions entre ces lments : les lments du domaine sont lis au(x) mtier(s) de l'entreprise, ils sont indispensables la mission du systme, ils gagnent tre rutiliss (ils reprsentent un savoir-faire). Cette vue organise aussi (selon des critres purement logiques), les lments du domaine en "catgories" : pour rpartir les tches dans les quipes, regrouper ce qui peut tre gnrique, isoler ce qui est propre une version donne, etc...

La vue des composants

Cette vue de bas niveau (aussi appele "vue de ralisation"), montre : L'allocation des lments de modlisation dans des modules (fichiers sources, bibliothques dynamiques, bases de donnes, excutables, etc...). En d'autres termes, cette vue identifie les modules qui ralisent (physiquement) les classes de la vue logique. L'organisation des composants, c'est--dire la distribution du code en gestion de configuration, les dpendances entre les composants... Les contraintes de dveloppement (bibliothques externes...). La vue des composants montre aussi l'organisation des modules en "sous-systmes", les interfaces des sous-systmes et leurs dpendances (avec d'autres sous-systmes ou modules).

La vue des processus

Cette vue est trs importante dans les environnements multitches ; elle montre : La dcomposition du systme en terme de processus (tches). Les interactions entre les processus (leur communication). La synchronisation et la communication des activits parallles (threads).

La vue de dploiement

Cette vue trs importante dans les environnements distribus, dcrit les ressources matrielles et la rpartition du logiciel dans ces ressources := La disposition et nature physique des matriels, ainsi que leurs performances. L'implantation des modules principaux sur les noeuds du rseau. 14

Les exigences en terme de performances (temps de rponse, tolrance aux fautes et pannes...).

La vue des besoins des utilisateurs

Cette vue (dont le nom exact est "vue des cas d'utilisation"), guide toutes les autres. Dessiner le plan (l'architecture) d'un systme informatique n'est pas suffisant, il faut le justifier ! Cette vue dfinit les besoins des clients du systme et centre la dfinition de l'architecture du systme sur la satisfaction (la ralisation) de ces besoins. A l'aide de scnarios et de cas d'utilisation, cette vue conduit la dfinition d'un modle d'architecture pertinent et cohrent. Cette vue est la "colle" qui unifie les quatre autres vues de l'architecture. Elle motive les choix, permet d'identifier les interfaces critiques et force se concentrer sur les problmes importants.

II-B-5. Rsumons la dmarche...


Modliser une application ? Mais comme UML n'est pas un processus... Quelle dmarche utiliser ? Trouver un bon modle est une tche difficile mais capitale ! 1. Optez pour une approche itrative et incrmentale. 2. Centrez votre dmarche sur l'analyse des besoins des utilisateurs. 3. Prenez grand soin la dfinition de l'architecture de votre application (l'approche "4+1" permet de mieux la cerner). OK OK , mais en pratique ?

Bien qu'UML n'est pas un processus, il facilite une dmarche d'analyse itrative et incrmentale, base sur les niveaux d'abstraction. Les niveaux d'abstraction permettent de structurer les modles. Un micro-processus rgit les itrations niveau d'abstraction constant. Un macro-processus rgit le passage de niveau niveau. Une dmarche incrmentale consiste construire les modles de spcification et de conception en plusieurs tapes (cible = catgories).

Le schma ci-dessous montre les niveaux d'abstraction principaux, qu'on peut identifier dans un processus de dveloppement logiciel :

15

II-B-6. Elaboration plutt que transformation


UML opte pour l'laboration des modles, plutt que pour une approche qui impose une barrire stricte entre analyse et conception :

Les modles d'analyse et de conception ne diffrent que par leur niveau de dtail, il n'y a pas de diffrence dans les concepts utiliss. UML n'introduit pas d'lments de modlisation propres une activit (analyse, conception...) ; le langage reste le mme tous les niveaux d'abstraction.

Cette approche simplificatrice facilite le passage entre les niveaux d'abstraction.


L'laboration encourage une approche non linaire (les "retours en arrire" entre niveaux d'abstraction diffrents sont facilits). La traabilit entre modles de niveaux diffrents est assure par l'unicit du langage.

II-B-7. Dtail des diffrents niveaux d'abstraction (phases du macro-processus)


Conceptualisation

L'entre de l'analyse ce niveau, est le dossier d'expression des besoins client. A ce niveau d'abstraction, on doit capturer les besoins principaux des utilisateurs. Il ne faut pas chercher l'exhaustivit, mais clarifier, filtrer et organiser les besoins ! Le but de la conceptualisation est : de dfinir le contour du systme modliser (de spcifier le "quoi"), de capturer les fonctionnalits principales du systme, afin d'en fournir une meilleure comprhension (le modle produit sert d'interface entre les acteurs du projet), de fournir une base la planification du projet.

Analyse du domaine

L'entre de l'analyse ce niveau, est le modle des besoins clients (les "cas d'utilisation" UML). Il s'agit de modliser les lments et mcanismes principaux du systme. On identifie les lments du domaine, ainsi que les relations et interactions entre ces lments : les lments du domaine sont lis au(x) mtier(s) de l'entreprise, ils sont indispensables la mission du systme, ils gagnent tre rutiliss (ils reprsentent un savoir-faire). 16

A ce stade, on organise aussi (selon des critres purement logiques), les lments du domaine en "catgories" : pour rpartir les tches dans les quipes, regrouper ce qui peut tre gnrique, etc...

Analyse applicative

A ce niveau, on modlise les aspects informatiques du systme, sans pour autant rentrer dans les dtails d'implmentation. Les interfaces des lments de modlisation sont dfinis (cf. encapsulation). Les relations entre les lments des modles sont dfinies. Les lments de modlisation utiliss peuvent tre propres une version du systme.

Conception

On y modlise tous les rouages d'implmentation et on dtaille tous les lments de modlisation issus des niveaux suprieurs. Les modles sont optimiss, car destins tre implments.

II-B-8. Activits des micro-processus d'analyse (niveau d'abstraction constant)


A chaque niveau d'abstraction, un micro-processus rgit la construction des modles. UML ne rgit pas les activits des micro-processus, c'est le principe d'abstraction qui permet l'laboration itrative et incrmentale des modles. Exemple de micro-processus de construction d'un modle :

identifiez les classes (d'objets) :


recherchez les classes candidates (diffrentes suivant le niveau d'abstraction) l'aide de diagrammes d'objets (bauches), filtrez les classes redondantes, trop spcifiques ou vagues, qui ne reprsentent qu'une opration ou un attribut, documentez les caractristiques des classes retenues (persistances, nombre maximum d'instances, etc.).

identifiez les associations entre classes / interactions entre objets (instances) :


recherchez les connexions smantiques et les relations d'utilisation, documentez les relations (nom, cardinalits, contraintes, rles des classes...), en spcification, filtrez les relations instables ou d'implmentation, dfinissez la dynamique des relations entre objets (les interactions entre instances de classes et les activits associes).

identifiez les attributs et les oprations des classes :


recherchez les attributs dans les modles dynamiques (recherchez les donnes qui caractrisent les tats des objets), filtrez les attributs complexes (faites-en des objets) et au niveau spcification, ne reprsentez pas les valeurs internes propres aux mcanismes d'implmentation, recherchez les oprations parmi les activits et actions des objets (ne pas rentrer dans le dtail au niveau spcification).

optimisez les modles :

choisissez vos critres d'optimisation (gnricit, volutivit, prcision, lisibilit, simplicit...), 17

utilisez la gnralisation et la spcialisation (classification), documentez et dtaillez vos modles, encapsulez.

validez les modles :


vrifiez la cohrence, la compltude et l'homognit des modles, confrontez les modles la critique (comit de relecture...).

II-B-9. Synthse de la dmarche


Modliser une application n'est pas une activit linaire. Il s'agit d'une tche trs complexe, qui ncessite une approche :

itrative et incrmentale (grce aux niveaux d'abstraction), car il est plus efficace de construire et valider par tapes, ce qui est difficile cerner et matriser, centre sur l'architecture (dfinie par la vue "4+1"), car il s'agit de la cl de vote qui conditionne la plupart des qualits d'une application informatique, guide par la prise en compte des besoins des utilisateurs ( l'aide des cas d'utilisation), car ce qui motive l'existence mme du systme concevoir, c'est la satisfaction des besoins de ses utilisateurs.

II-B-10. Les diagrammes UML


OK pour la dmarche d'laboration d'un modle, mais... II-B-10-a. Comment "rdiger" un modle avec UML ?

UML permet de dfinir et de visualiser un modle, l'aide de diagrammes. Un diagramme UML est une reprsentation graphique, qui s'intresse un aspect prcis du modle ; c'est une perspective du modle, pas "le modle". Chaque type de diagramme UML possde une structure (les types des lments de modlisation qui le composent sont prdfinis). Un type de diagramme UML vhicule une smantique prcise (un type de diagramme offre toujours la mme vue d'un systme). Combins, les diffrents types de diagrammes UML offrent une vue complte des aspects statiques et dynamiques d'un systme. Par extension et abus de langage, un diagramme UML est aussi un modle (un diagramme modlise un aspect du modle global).

II-B-10-b. Quelques caractristiques des diagrammes UML


Les diagrammes UML supportent l'abstraction. Leur niveau de dtail caractrise le niveau d'abstraction du modle. La structure des diagrammes UML et la notation graphique des lments de modlisation est normalise (document "UML notation guide"). Rappel : la smantique des lments de modlisation et de leur utilisation est dfinie par le mtamodle UML (document "UML semantics"). Le recours des outils appropris est un gage de productivit pour la rdaction des diagrammes UML, car : ils facilitent la navigation entre les diffrentes vues, ils permettent de centraliser, organiser, partager, synchroniser et versionner les diagrammes (indispensable avec un processus itratif), facilitent l'abstraction, par des filtres visuels, 18

simplifient la production de documents et autorisent (dans certaines limites) la gnration de code.

II-B-10-c. Les diffrents types de diagrammes UML

Vues statiques du systme :


diagrammes de cas d'utilisation diagrammes d'objets diagrammes de classes diagrammes de composants diagrammes de dploiement

Vues dynamiques du systme :


diagrammes de collaboration diagrammes de squence diagrammes d'tats-transitions diagrammes d'activits

II-C. Les vues statiques d'UML


II-C-1. LES PAQUETAGES
II-C-1-a. Paquetages (packages)

Les paquetages sont des lments d'organisation des modles. Ils regroupent des lments de modlisation, selon des critres purement logiques. Ils permettent d'encapsuler des lments de modlisation (ils possdent une interface). Ils permettent de structurer un systme en catgories (vue logique) et sous-systmes (vue des composants). Ils servent de "briques" de base dans la construction d'une architecture. Ils reprsentent le bon niveau de granularit pour la rutilisation. Les paquetages sont aussi des espaces de noms. 19

II-C-1-b. Paquetages : relations entre paquetages

II-C-1-c. Paquetages : interfaces

II-C-1-d. Paquetages : strotypes

20

II-C-2. LA COLLABORATION
II-C-2-a. Symbole de modlisation "collaboration"

Les collaborations sont des interactions entre objets, dont le but est de raliser un objectif du systme (c'est--dire aussi de rpondre un besoin d'un utilisateur). L'lment de modlisation UML "collaboration", reprsente les classes qui participent la ralisation d'un cas d'utilisation. Attention : ne confondez pas l'lment de modlisation "collaboration" avec le diagramme de collaboration, qui reprsente des interactions entre instances de classes.

21

II-C-3. INSTANCES ET DIAGRAMME D'OBJETS


II-C-3-a. Exemples d'instances

II-C-3-b. Objets composites

22

II-C-3-c. Diagramme d'objets


Ce type de diagramme UML montre des objets (instances de classes dans un tat particulier) et des liens (relations smantiques) entre ces objets. Les diagrammes d'objets s'utilisent pour montrer un contexte (avant ou aprs une interaction entre objets par exemple). Ce type de diagramme sert essentiellement en phase exploratoire, car il possde un trs haut niveau d'abstraction.

Exemple :

II-C-4. LES CLASSES


II-C-4-a. Classe : smantique et notation

23

Une classe est un type abstrait caractris par des proprits (attributs et mthodes) communes un ensemble d'objets et permettant de crer des objets ayant ces proprits. Classe = attributs + mthodes + instanciation

Ne pas reprsenter les attributs ou les mthodes d'une classe sur un diagramme, n'indique pas que cette classe n'en contient pas. Il s'agit juste d'un filtre visuel, destin donner un certain niveau d'abstraction son modle. De mme, ne pas spcifier les niveaux de protection des membres d'une classe ne veut pas dire qu'on ne reprsente que les membres publics. L aussi, il s'agit d'un filtre visuel.

Documentation d'une classe (niveaux d'abstraction), exemples :

Attributs multivalus et drivs, exemples :

Classe abstraite, exemple :

Template (classe paramtrable), exemple :

24

II-C-5. DIAGRAMME DE CLASSES


II-C-5-a. Diagramme de classes : smantique

Un diagramme de classes est une collection d'lments de modlisation statiques (classes, paquetages...), qui montre la structure d'un modle. Un diagramme de classes fait abstraction des aspects dynamiques et temporels. Pour un modle complexe, plusieurs diagrammes de classes complmentaires doivent tre construits. On peut par exemple se focaliser sur : les classes qui participent un cas d'utilisation (cf. collaboration), les classes associes dans la ralisation d'un scnario prcis, les classes qui composent un paquetage, la structure hirarchique d'un ensemble de classes. Pour reprsenter un contexte prcis, un diagramme de classes peut tre instanci en diagrammes d'objets.

II-C-5-b. Associations entre classes


Une association exprime une connexion smantique bidirectionnelle entre deux classes. L'association est instanciable dans un diagramme d'objets ou de collaboration, sous forme de liens entre objets issus de classes associes.

25

II-C-5-c. Documentation d'une association et types d'associations Association en forme verbale active : prcise le sens de lecture principal d'une association. Voir aussi : association navigabilit restreinte.

Rles : spcifie la fonction d'une classe pour une association donne (indispensable pour les associations rflexives).

Cardinalits : prcise le nombre d'instances qui participent une relation.

Expression des cardinalits d'une relation en UML :


n : exactement "n" (n, entier naturel > 0) exemples : "1", "7" n..m : de "n" "m" (entiers naturels ou variables, m > n) exemples : "0..1", "3..n", "1..31" * : plusieurs (quivalent "0..n" et "0..*") n..* : "n" ou plus (n, entier naturel ou variable) exemples : "0..*", "5..*"

26

Relation de dpendance : relation d'utilisation unidirectionnelle et d'obsolescence (une modification de l'lment dont on dpend, peut ncessiter une mise jour de l'lment dpendant).

Association navigabilit restreinte Par dfaut, une association est navigable dans les deux sens. La rduction de la porte de l'association est souvent ralise en phase d'implmentation, mais peut aussi tre exprime dans un modle pour indiquer que les instances d'une classe ne "connaissent" pas les instances d'une autre.

Association n-aire : il s'agit d'une association qui relie plus de deux classes... Note : de telles associations sont difficiles dchiffrer et peuvent induire en erreur. Il vaut mieux limiter leur utilisation, en dfinissant de nouvelles catgories d'associations.

Classe d'association : il s'agit d'une classe qui ralise la navigation entre les instances d'autres classes.

27

Qualification : permet de slectionner un sous-ensemble d'objets, parmi l'ensemble des objets qui participent une association. La restriction de l'association est dfinie par une cl, qui permet de slectionner les objets cibls.

II-C-5-d. Hritage Les hirarchies de classes permettent de grer la complexit, en ordonnant les objets au sein d'arborescences de classes, d'abstraction croissante. Spcialisation

Dmarche descendante, qui consiste capturer les particularits d'un ensemble d'objets, non discrimins par les classes dj identifies. Consiste tendre les proprits d'une classe, sous forme de sous-classes, plus spcifiques (permet l'extension du modle par rutilisation).

Gnralisation

Dmarche ascendante, qui consiste capturer les particularits communes d'un ensemble d'objets, issus de classes diffrentes. Consiste factoriser les proprits d'un ensemble de classes, sous forme d'une super-classe, plus abstraite (permet de gagner en gnricit).

Classification

L'hritage (spcialisation et gnralisation) permet la classification des objets. Une bonne classification est stable et extensible : ne classifiez pas les objets selon des critres instables (selon ce qui caractrise leur tat) ou trop vagues (car cela gnre trop de sous-classes). Les critres de classification sont subjectifs. Le principe de substitution (Liksow, 1987) permet de dterminer si une relation d'hritage est bien employe pour la classification : "Il doit tre possible de substituer n'importe quel instance d'une super-classe, par n'importe quel instance d'une de ses sous-classes, sans que la smantique d'un programme crit dans les termes de la super-classe n'en soit affecte." 28

Si Y hrite de X, cela signifie que "Y est une sorte de X" (analogies entre classification et thorie des ensembles).

II-C-5-e. Agrgation

L'agrgation est une association non symtrique, qui exprime un couplage fort et une relation de subordination. Elle reprsente une relation de type "ensemble / lment". UML ne dfinit pas ce qu'est une relation de type "ensemble / lment", mais il permet cependant d'exprimer cette vue subjective de manire explicite. Une agrgation peut notamment (mais pas ncessairement) exprimer : qu'une classe (un "lment") fait partie d'une autre ("l'agrgat"), qu'un changement d'tat d'une classe, entrane un changement d'tat d'une autre, qu'une action sur une classe, entrane une action sur une autre. A un mme moment, une instance d'lment agrg peut tre lie plusieurs instances d'autres classes (l'lment agrg peut tre partag). Une instance d'lment agrg peut exister sans agrgat (et inversement) : les cycles de vies de l'agrgat et de ses lments agrgs peuvent tre indpendants.

29

II-C-5-f. Composition

La composition est une agrgation forte (agrgation par valeur). Les cycles de vies des lments (les "composants") et de l'agrgat sont lis : si l'agrgat est dtruit (ou copi), ses composants le sont aussi. A un mme moment, une instance de composant ne peut tre lie qu' un seul agrgat. Les "objets composites" sont des instances de classes composes.

II-C-5-g. Agrgation et composition : rappel


L'agrgation et la composition sont des vues subjectives. Lorsqu'on reprsente (avec UML) qu'une molcule est "compose" d'atomes, on sous-entend que la destruction d'une instance de la classe "Molcule", implique la destruction de ses composants, instances de la classe "Atome" (cf. proprits de la composition). Bien qu'elle ne reflte pas la ralit ("rien ne se perd, rien ne se cre, tout se transforme"), cette abstraction de la ralit nous satisfait si l'objet principal de notre modlisation est la molcule... En conclusion, servez vous de l'agrgation et de la composition pour ajouter de la smantique vos modles lorsque cela est pertinent, mme si dans la "ralit" de tels liens n'existent pas !

II-C-5-h. Interfaces

Une interface fournit une vue totale ou partielle d'un ensemble de services offerts par une classe, un paquetage ou un composant. Les lments qui utilisent l'interface peuvent exploiter tout ou partie de l'interface. Dans un modle UML, le symbole "interface" sert identifier de manire explicite et symbolique les services offerts par un lment et l'utilisation qui en est faite par les autres lments.

30

II-C-5-i. Association drive


Les associations drives sont des associations redondantes, qu'on peut dduire d'une autre association ou d'un ensemble d'autres associations. Elles permettent d'indiquer des chemins de navigation "calculs", sur un diagramme de classes. Elles servent beaucoup la comprhension de la navigation (comment joindre telles instances d'une classe partir d'une autre).

31

II-C-5-j. Contrainte sur une association


Les contraintes sont des expressions qui prcisent le rle ou la porte d'un lment de modlisation (elles permettent d'tendre ou prciser sa smantique). Sur une association, elles peuvent par exemple restreindre le nombre d'instances vises (ce sont alors des "expressions de navigation"). Les contraintes peuvent s'exprimer en langage naturel. Graphiquement, il s'agit d'un texte encadr d'accolades.

32

II-C-5-k. OCL

UML formalise l'expression des contraintes avec OCL (Object Constraint Language). OCL est une contribution d'IBM UML 1.1. Ce langage formel est volontairement simple d'accs et possde une grammaire lmentaire (OCL peut tre interprt par des outils). Il reprsente un juste milieu, entre langage naturel et langage mathmatique. OCL permet ainsi de limiter les ambiguts, tout en restant accessible. OCL permet de dcrire des invariants dans un modle, sous forme de pseudo-code : pr et post-conditions pour une opration, expressions de navigation, expressions boolennes, etc... OCL est largement utilis dans la dfinition du mtamodle UML.

Nous allons nous baser sur une tude de cas, pour introduire brivement OCL. Monsieur Formulain, directeur d'une chane d'htels, vous demande de concevoir une application de gestion pour ses htels. Voici ce que vous devez modliser : Un htel Formulain est constitu d'un certain nombre de chambres. Un responsable de l'htel gre la location des chambres. Chaque chambre se loue un prix donn (suivant ses prestations). L'accs aux salles de bain est compris dans le prix de la location d'une chambre. Certaines chambres comportent une salle de bain, mais pas toutes. Les htes de chambres sans salle de bain peuvent utiliser une salle de bain sur le palier. Ces dernires peuvent tre utilises par plusieurs htes. Les pices de l'htel qui ne sont ni des chambres, ni des salles de bain (hall d'accueil, cuisine...) ne font pas partie de l'tude (hors sujet). Des personnes peuvent louer une ou plusieurs chambres de l'htel, afin d'y rsider. En d'autre termes : l'htel hberge un certain nombre de personnes, ses htes (il s'agit des personnes qui louent au moins une chambre de l'htel...). 33

Le diagramme UML ci-dessous prsente les classes qui interviennent dans la modlisation d'un htel Formulain, ainsi que les relations entre ces classes. Attention : le modle a t rduit une vue purement statique. La dynamique de l'interaction entre instances n'est pas donne ici, pour simplifier l'exemple. Lors d'une modlisation complte, les vues dynamiques complmentaires ne devraient pas tre omises (tout comme la conceptualisation pralable par des use cases)... Remarque : cet exemple est inspir d'un article paru dans JOOP (Journal of Object Oriented Programming), en mai 99.

OCL permet d'enrichir ce diagramme, en dcrivant toutes les contraintes et tous les invariants du modle prsent, de manire normalise et explicite ( l'intrieur d'une note rattache un lment de modlisation du diagramme). Voici quelques exemples de contraintes qu'on pourrait dfinir sur ce diagramme, avec la syntaxe OCL correspondante. Attention ! Les exemples de syntaxe OCL ci-dessous ne sont pas dtaills, rfrez-vous au document de la norme UML adquat ("OCL spcification"). Il ne s'agit l que d'un trs rapide aperu du pouvoir d'abstraction d'OCL... Un htel Formulain ne contient jamais d'tage numro 13 (superstition oblige)
context Chambre inv: self._tage <> 13 context SalleDeBain inv: self._tage <> 13

Le nombre de personnes par chambre doit tre infrieur ou gal au nombre de lits dans la chambre loue. Les enfants (accompagns) de moins de 4 ans ne 'comptent pas' dans cette rgle de calcul ( hauteur d'un enfant de moins de 4 ans maximum par chambre)
context Chambre inv: client->size <= _nbDeLits or (client->size = _nbDeLits + 1 and client->exists(p : Personne | p._ge < 4))

L'tage de chaque chambre est compris entre le premier et le dernier tage de l'htel 34

context Htel inv: self.chambre->forAll(c : Chambre | c._tage <= self._tageMax and c._tage >= self._tageMin)

Chaque tage possde au moins une chambre (sauf l'tage 13, qui n'existe pas...)
context Htel inv: Sequence{_tageMin.._tageMax}->forAll(i : Integer | if i <> 13 then self.chambre->select(c : Chambre | c._tage = i)->notEmpty) endif)

On ne peut repeindre une chambre que si elle n'est pas loue. Une fois repeinte, une chambre cote 10% de plus
context Chambre::repeindre(c : Couleur) pre: client->isEmpty post: _prix = _prix@pre * 1.1

Une salle de bain privative ne peut tre utilise que par les personnes qui louent la chambre contenant la salle de bain et une salle de bain sur le palier ne peut tre utilise que par les clients qui logent sur le mme palier
context SalleDeBain::utiliser(p : Personne) pre: if chambre->notEmpty then chambre.client->includes(p) else p.chambre._tage = self._tage endif post: _nbUtilisateurs = _nbUtilisateurs@pre + 1

Le loyer de l'htel est gal la somme du prix de toutes les chambres loues
context Htel::calculerLoyer() : rel pre: post: result = self.chambre->select(client->notEmpty)._prix->sum

II-C-5-l. Strotypes

Les strotypes permettent d'tendre la smantique des lments de modlisation : il s'agit d'un mcanisme d'extensibilit du mtamodle d'UML. Les strotypes permettent de dfinir de nouvelles classes d'lments de modlisation, en plus du noyau prdfini par UML. Utilisez les strotypes avec modration et de manire concerte (notez aussi qu'UML propose de nombreux strotypes standards).

35

II-C-6. DIAGRAMMES DE COMPOSANTS ET DE DEPLOIEMENT


II-C-6-a. Diagramme de composants

Les diagrammes de composants permettent de dcrire l'architecture physique et statique d'une application en terme de modules : fichiers sources, librairies, excutables, etc. Ils montrent la mise en oeuvre physique des modles de la vue logique avec l'environnement de dveloppement. Les dpendances entre composants permettent notamment d'identifier les contraintes de compilation et de mettre en vidence la rutilisation de composants. Le composants peuvent tre organiss en paquetages, qui dfinissent des sous-systmes. Les soussystmes organisent la vue des composants (de ralisation) d'un systme. Ils permettent de grer la complexit, par encapsulation des dtails d'implmentation.

Modules (notation) :

Diagramme de composants (exemple) :

36

II-C-6-b. Diagramme de dploiement


Les diagrammes de dploiement montrent la disposition physique des matriels qui composent le systme et la rpartition des composants sur ces matriels. Les ressources matrielles sont reprsentes sous forme de noeuds. Les noeuds sont connects entre eux, l'aide d'un support de communication. La nature des lignes de communication et leurs caractristiques peuvent tre prcises. Les diagrammes de dploiement peuvent montrer des instances de noeuds (un matriel prcis), ou des classes de noeuds. Les diagrammes de dploiement correspondent la vue de dploiement d'une architecture logicielle (vue "4+1").

37

II-D. Les vues dynamiques d'UML

II-D-1. LES CAS D'UTILISATION


II-D-1-a. La conceptualisation : rappel

Le but de la conceptualisation est de comprendre et structurer les besoins du client. Il ne faut pas chercher l'exhaustivit, mais clarifier, filtrer et organiser les besoins ! Une fois identifis et structurs, ces besoins : dfinissent le contour du systme modliser (ils prcisent le but atteindre), permettent d'identifier les fonctionnalits principales (critiques) du systme. Le modle conceptuel doit permettre une meilleure comprhension du systme. Le modle conceptuel doit servir d'interface entre tous les acteurs du projet. 38

Les besoins des clients sont des lments de traabilit dans un processus intgrant UML.

II-D-1-b. Cas d'utilisation (use cases)


Il s'agit de la solution UML pour reprsenter le modle conceptuel. Les use cases permettent de structurer les besoins des utilisateurs et les objectifs correspondants d'un systme. Ils centrent l'expression des exigences du systme sur ses utilisateurs : ils partent du principe que les objectifs du systme sont tous motivs. Ils se limitent aux proccupations "relles" des utilisateurs ; ils ne prsentent pas de solutions d'implmentation et ne forment pas un inventaire fonctionnel du systme. Ils identifient les utilisateurs du systme (acteurs) et leur interaction avec le systme. Ils permettent de classer les acteurs et structurer les objectifs du systme. Ils servent de base la traabilit des exigences d'un systme dans un processus de dveloppement intgrant UML.

Il tait une fois... Le modle conceptuel est le type de diagramme UML qui possde la notation la plus simple ; mais paradoxalement c'est aussi celui qui est le plus mal compris ! Au dbut des annes 90, Ivar Jacobson (inventeur de OOSE, une des mthodes fondatrices d'UML) a t nomm chef d'un norme projet informatique chez Ericsson. Le hic, c'est que ce projet tait rapidement devenu ingrable, les ingnieurs d'Ericsson avaient accouch d'un monstre. Personne ne savait vraiment quelles taient les fonctionnalits du produit, ni comment elles taient assures, ni comment les faire voluer... Classique lorsque les commerciaux promettent monts et merveilles tous les clients qu'ils dmarchent, sans se soucier des contraintes techniques, que les clients ne savent pas exprimer leurs besoins et que les ingnieurs n'ont pas les ressources pour dvelopper le mouton cinq pattes qui rsulte de ce chaos. Pour viter de foncer droit dans un mur et mener bien ce projet critique pour Ericsson, Jacobson a eu une ide. Plutt que de continuer construire une tour de Babel, pourquoi ne pas remettre plat les objectifs rels du projet ? En d'autres termes : quels sont les besoins rels des clients, ceux qui conditionneront la russite du projet ? Ces besoins critiques, une fois identifis et structurs, permettront enfin de cerner "ce qui est important pour la russite du projet". Le bnfice de cette dmarche simplificatrice est double. D'une part, tous les acteurs du projet ont une meilleure comprhension du systme dvelopper, d'autre part, les besoins des utilisateurs, une fois clarifis, serviront de fil rouge, tout au long du cycle de dveloppement. A chaque itration de la phase d'analyse, on clarifie, affine et valide les besoins des utilisateurs ; chaque itration de la phase de conception et de ralisation, on veille la prise en compte des besoins des utilisateurs et chaque itration de la phase de test, on vrifie que les besoins des utilisateurs sont satisfaits. Simple mais gnial. Pour la petite histoire, sachez que grce cette dmarche initie par Jacobson, Ericsson a russi mener bien son projet et a gagn une notorit internationale dans le march de la commutation. Morale de cette histoire : La dtermination et la comprhension des besoins sont souvent difficiles car les intervenants sont noys sous de trop grandes quantits d'informations. Or, comment mener bien un projet si l'on ne sait pas o l'on va ? Conclusion : il faut clarifier et organiser les besoins des clients (les modliser). 39

Jacobson identifie les caractristiques suivantes pour les modles :


Un modle est une simplification de la ralit. Il permet de mieux comprendre le systme qu'on doit dvelopper. Les meilleurs modles sont proches de la ralit.

Les use cases, permettent de modliser les besoins des clients d'un systme et doivent aussi possder ces caractristiques. Ils ne doivent pas chercher l'exhaustivit, mais clarifier, filtrer et organiser les besoins ! Une fois identifis et structurs, ces besoins :

dfinissent le contour du systme modliser (ils prcisent le but atteindre), permettent d'identifier les fonctionnalits principales (critiques) du systme.

Les use cases ne doivent donc en aucun cas dcrire des solutions d'implmentation. Leur but est justement d'viter de tomber dans la drive d'une approche fonctionnelle, o l'on liste une litanie de fonctions que le systme doit raliser. Bien entendu, rien n'interdit de grer l'aide d'outils (Doors, Requisite Pro, etc...) les exigences systmes un niveau plus fin et d'en assurer la traabilit, bien au contraire. Mais un modle conceptuel qui identifie les besoins avec un plus grand niveau d'abstraction reste indispensable. Avec des systmes complexes, filtrer l'information, la simplifier et mieux l'organiser, c'est rendre l'information exploitable. Produisez de l'information phmre, complexe et confuse, vous obtiendrez un joyeux "dsordre" (pour rester poli). Dernire remarque : Utilisez les use cases tels qu'ils ont t pens par leurs crateurs ! UML est issu du terrain. Si vous utilisez les use cases sans avoir en tte la dmarche sous-jacente, vous n'en tirerez aucun bnfice. II-D-1-c. Elments de base des cas d'utilisation Acteur : entit externe qui agit sur le systme (oprateur, autre systme...).

L'acteur peut consulter ou modifier l'tat du systme. En rponse l'action d'un acteur, le systme fournit un service qui correspond son besoin. Les acteurs peuvent tre classs (hirarchiss).

Use case : ensemble d'actions ralises par le systme, en rponse une action d'un acteur.

Les uses cases peuvent tre structurs. Les uses cases peuvent tre organiss en paquetages (packages). L'ensemble des use cases dcrit les objectifs (le but) du systme.

II-D-1-d. Exemples Cas d'utilisation standard :

40

Relation d'utilisation :

Relation d'extension :

41

II-D-2. COLLABORATION ET MESSAGES


Les diagrammes de collaboration montrent des interactions entre objets (instances de classes et acteurs). Ils permettent de reprsenter le contexte d'une interaction, car on peut y prciser les tats des objets qui interagissent.

Exemples :

42

II-D-2-a. Synchronisation des messages


UML permet de spcifier de manire trs prcise l'ordre et les conditions d'envoi des messages sur un diagramme dynamique. Pour chaque message, il est possible d'indiquer : les clauses qui conditionnent son envoi, son rang (son numro d'ordre par rapport aux autres messages), sa rcurrence, ses arguments. La syntaxe d'un message est la suivante :
[pr "/"] [["["cond"]"] [sq] ["*"["||"]["["iter"]"]] ":"] [r ":="] msg"("[par]")" pr : prdcesseurs (liste de numros de squence de messages spars par

une virgule ; voir

aussi "sq"). Indique que le message courant ne sera envoy que lorsque tous ses prdcesseurs le seront aussi (permet de synchroniser l'envoi de messages). cond : garde, expression boolenne. Permet de conditionner l'envoi du message, l'aide d'une clause exprime en langage naturel. sq : numro de squence du message. Indique le rang du message, c'est--dire son numro d'ordre par rapport aux autres messages. Les messages sont numrots la faon de chapitres dans un document, l'aide de chiffres spars par des points. Ainsi, il est possible de reprsenter le niveau d'embotement des messages et leur prcdence. Exemple : l'envoi du message 1.3.5 suit immdiatement celui du message 1.3.4 et ces deux messages font partie du flot (de la famille de messages) 1.3. Pour reprsenter l'envoi simultan de deux messages, il suffit de les indexer par une lettre. Exemple : l'envoi des messages 1.3.a et 1.3.b est simultan. iter : rcurrence du message. Permet de spcifier en langage naturel l'envoi squentiel (ou en parallle, avec "||") de messages. Notez qu'il est aussi possible de spcifier qu'un message est rcurrent en omettant la clause d'itration (en n'utilisant que "*" ou "*||"). 43

r : valeur de retour du message. Permet d'affecter la valeur de retour d'un message, pour par exemple la retransmettre dans un autre message, en tant que paramtre. msg : nom du message. par : paramtres (optionnels) du message.

Exemples : Ce message a pour numro de squence '3'


3 : bonjour()

Ce message n'est envoy que s'il est midi


[heure = midi] 1 : manger()

Ce message est envoy de manire squentielle un certain nombre de fois


1.3.6 * : ouvrir()

Reprsente l'envoi en parallle de 5 messages. Ces messages ne seront envoys qu'aprs l'envoi du message 3
3 / *||[i := 1..5] : fermer()

Ce message (numro 2.5) ne sera envoy qu'aprs les messages 1.3 et 2.1, et que si 't < 10s'
1.3,2.1 / [t < 10s] 2.5 : age := demanderAge(nom,prenom)

Ces messages ne seront envoys qu'aprs l'envoi du message 1.3 et si la condition 'disk full' est ralise. Si cela est le cas, les messages 1.7.a et 1.7.b seront envoys simultanment. Plusieurs messages 1.7.a peuvent tre envoys.
1.3 / [disk full] 1.7.a * : deleteTempFiles() 1.3 / [disk full] 1.7.b : reduceSwapFile(20%)

II-D-2-b. Objets actifs (threads)


UML permet de reprsenter des communications entre objets actifs de manire concurrente. Cette extension des diagrammes de collaboration permet notamment de reprsenter des communications entre processus ou l'excution de threads.

44

II-D-3. DIAGRAMME DE SEQUENCE


II-D-3-a. Diagramme de squence : smantique

Les diagrammes de squences permettent de reprsenter des collaborations entre objets selon un point de vue temporel, on y met l'accent sur la chronologie des envois de messages. Contrairement au diagramme de collaboration, on n'y dcrit pas le contexte ou l'tat des objets, la reprsentation se concentre sur l'expression des interactions. Les diagrammes de squences peuvent servir illustrer un cas d'utilisation. L'ordre d'envoi d'un message est dtermin par sa position sur l'axe vertical du diagramme ; le temps s'coule "de haut en bas" de cet axe. La disposition des objets sur l'axe horizontal n'a pas de consquence pour la smantique du diagramme. Les diagrammes de squences et les diagrammes d'tat-transitions sont les vues dynamiques les plus importantes d'UML.

Exemple :

45

II-D-3-b. Types de messages Comme vous pouvez le voir dans l'exemple ci-dessus, UML propose un certain nombre de strotypes graphiques pour dcrire la nature du message (ces strotypes graphiques s'appliquent galement aux messages des diagrammes de collaborations) :

message simple Message dont on ne spcifie aucune caractristique d'envoi ou de rception particulire. message minut (timeout) Bloque l'expditeur pendant un temps donn (qui peut tre spcifi dans une contrainte), en attendant la prise en compte du message par le rcepteur. L'expditeur est libr si la prise en compte n'a pas eu lieu pendant le dlai spcifi. message synchrone Bloque l'expditeur jusqu' prise en compte du message par le destinataire. Le flot de contrle passe de l'metteur au rcepteur (l'metteur devient passif et le rcepteur actif) la prise en compte du message. message asynchrone N'interrompt pas l'excution de l'expditeur. Le message envoy peut tre pris en compte par le rcepteur tout moment ou ignor (jamais trait). message drobant N'interrompt pas l'excution de l'expditeur et ne dclenche une opration chez le rcepteur que s'il s'est pralablement mis en attente de ce message.

II-D-3-c. Activation d'un objet Sur un diagramme de squence, il est aussi possible de reprsenter de manire explicite les diffrentes priodes d'activit d'un objet au moyen d'une bande rectangulaire superpose la ligne de vie de l'objet. On peut aussi reprsenter des messages rcursifs, en ddoublant la bande d'activation de l'objet concern. Pour reprsenter de manire graphique une excution conditionnelle d'un message, on peut documenter un diagramme de squence avec du pseudo-code et reprsenter des bandes d'activation conditionnelles. Exemple :

46

Commentaires :

Ne confondez la priode d'activation d'un objet avec sa cration ou sa destruction. Un objet peut tre actif plusieurs fois au cours de son existence (voir exemple ci-dessus). Le pseudo-code peut aussi tre utilis pour indiquer des itrations (avec incrmentation d'un paramtre d'un message par exemple). Le retour des messages asynchrones devrait toujours tre matrialis, lorsqu'il existe. Notez qu'il est fortement recommand de synchroniser vos messages, comme sur l'exemple qui suit... L'exemple qui suit prsente aussi une alternative intressante pour la reprsentation des branchements conditionnels. Cette notation est moins lourde que celle utilise dans l'exemple ci-dessus. Prfrez aussi l'utilisation de contraintes celle de pseudo-code, comme dans l'exemple qui suit.

II-D-3-d. Exemple complet Afin de mieux comprendre l'exemple ci-dessous, veuillez vous rfrer aux chapitres sur la synchronisation des messages. Notez aussi l'utilisation des contraintes pour documenter les conditions d'envoi de certains messages.

Commentaire : Un message rflexif ne reprsente pas l'envoi d'un message, il reprsente une activit interne l'objet (qui peut 47

tre dtaille dans un diagramme d'activits) ou une abstraction d'une autre interaction (qu'on peut dtailler dans un autre diagramme de squence).

II-D-4. DIAGRAMME D'ETATS-TRANSITIONS


II-D-4-a. Diagramme d'tats-transitions : smantique

Ce diagramme sert reprsenter des automates d'tats finis, sous forme de graphes d'tats, relis par des arcs orients qui dcrivent les transitions. Les diagrammes d'tats-transitions permettent de dcrire les changements d'tats d'un objet ou d'un composant, en rponse aux interactions avec d'autres objets/composants ou avec des acteurs. Un tat se caractrise par sa dure et sa stabilit, il reprsente une conjonction instantane des valeurs des attributs d'un objet. Une transition reprsente le passage instantan d'un tat vers un autre. Une transition est dclenche par un vnement. En d'autres termes : c'est l'arrive d'un vnement qui conditionne la transition. Les transitions peuvent aussi tre automatiques, lorsqu'on ne spcifie pas l'vnement qui la dclenche. En plus de spcifier un vnement prcis, il est aussi possible de conditionner une transition, l'aide de "gardes" : il s'agit d'expressions boolennes, exprimes en langage naturel (et encadres de crochets).

tats, transition et vnement, notation :

transition conditionnelle :

II-D-4-b. Super-Etat, historique et souches


Un super-tat est un lment de structuration des diagrammes d'tats-transitions (il s'agit d'un tat qui englobe d'autres tats et transitions). Le symbole de modlisation "historique", mmorise le dernier sous-tat actif d'un super-tat, pour y revenir directement ultrieurement. Exemple : Le diagramme d'tats-transitions ci-dessous, montre les diffrents tats par lesquels passe une machine laver les voitures. En phase de lustrage ou de lavage, le client peut appuyer sur le bouton d'arrt d'urgence. S'il appuie sur ce bouton, la machine se met en attente. Il a alors deux minutes pour reprendre le lavage ou le lustrage (la machine continue en phase de lavage ou de lustrage, suivant l'tat dans lequel elle a t interrompue), sans quoi la machine s'arrte. En phase de schage, le client peut aussi interrompre la machine. Mais dans ce cas, la machine s'arrtera dfinitivement (avant de reprendre un autre cycle entier).

48

souches : afin d'introduire plus d'abstraction dans un diagramme d'tats-transitions complexe, il est possible de rduire la charge d'information, tout en matrialisant la prsence de sous-tats, l'aide de souches, comme dans l'exemple ci-dessous.

II-D-4-c. Actions dans un tat


On peut aussi associer une action l'vnement qui dclenche une transition. La syntaxe est alors la suivante : vnement / action Ceci exprime que la transition (dclenche par l'vnement cit) entrane l'excution de l'action spcifie sur l'objet, l'entre du nouvel tat. Exemple : il pleut / ouvrir parapluie 49

Une action correspond une opration disponible dans l'objet dont on reprsente les tats. Les actions propres un tat peuvent aussi tre documentes directement l'intrieur de l'tat. UML dfinit un certain nombre de champs qui permettent de dcrire les actions dans un tat :

entry / action : action excute l'entre de l'tat exit / action : action excute la sortie de l'tat on vnement / action : action excute chaque fois que l'vnement cit survient do / action : action rcurrente ou significative, excute dans l'tat

Exemple :

Remarque : Attention, les actions attaches aux clauses "entry" et "exit" ne sont pas excutes si l'vnement spcifi dans la clause "on" survient. Pour indiquer qu'elles peuvent tre excutes plusieurs fois l'arrive d'un vnement, reprsentez l'arrive d'un vnement rflexif, comme suit :

II-D-4-d. Etats concurrents et barre de synchronisation Pour reprsenter des tats concurrents sur un mme diagramme d'tats-transitions, on utilise la notation suivante :

Dans l'exemple ci-dessus, l'automate K est compos des sous-automates L et M.

50

L et M s'activent simultanment et voluent en parallle. Au dpart, l'objet dont on modlise les tats par l'automate K est dans l'tat composite (E-L1, E-M1). Aprs l'vnement Tr1, K passe dans l'tat composite (E-L2, E-M2). Par la suite, si l'vnement Tr2 survient, K passe dans l'tat composite (E-L3, E-M2). Si c'est Tr4 qui survient, M ne passe pas dans l'tat E-M1, car cette transition est contrainte par l'tat de L ("[in E-L3]"). Dans l'tat composite (E-L3, E-M2), si Tr3 survient, K passe dans l'tat composite (E-L2, E-M2). Si c'est Tr4 qui survient, K passe dans l'tat composite (E-L3, E-M1). Et ainsi de suite... Attention : la numrotation des vnements n'est pas significative. Pour synchroniser les sousautomates d'une agrgation d'tats, il faut contraindre les transitions, comme dans l'exemple ci-dessus ("[in E-L3]"). On peut aussi utiliser un symbole spcial : 'la barre de synchronisation'.'

La barre de synchronisation permet de reprsenter graphiquement des points de synchronisation. Les transitions automatiques qui partent d'une barre de synchronisation ont lieu en mme temps. On ne franchit une barre de synchronisation qu'aprs ralisation de toutes les transitions qui s'y rattachent.

II-D-4-e. Evnement paramtr UML permet aussi de paramtrer les vnements, comme dans l'exemple suivant :

51

II-D-4-f. Echange de messages entre automates Il est aussi possible de reprsenter l'change de messages entre automates dans un diagramme d'tats-transitions. Cette notation particulire n'est pas prsente ici. Veuillez vous rfrer "l'UML notation guide".

II-D-5. DIAGRAMME D'ACTIVITES


II-D-5-a. Diagramme d'activits : smantique

UML permet de reprsenter graphiquement le comportement d'une mthode ou le droulement d'un cas d'utilisation, l'aide de diagrammes d'activits (une variante des diagrammes d'tats-transitions). Une activit reprsente une excution d'un mcanisme, un droulement d'tapes squentielles. Le passage d'une activit vers une autre est matrialis par une transition. Les transitions sont dclenches par la fin d'une activit et provoquent le dbut immdiat d'une autre (elles sont automatiques). En thorie, tous les mcanismes dynamiques pourraient tre dcrits par un diagramme d'activits, mais seuls les mcanismes complexes ou intressants mritent d'tre reprsents.

activits et transition, notation :

Pour reprsenter des transitions conditionnelles, utilisez des gardes (expressions boolennes exprimes en langage naturel), comme dans l'exemple suivant :

II-D-5-b. Synchronisation Il est possible de synchroniser les transitions l'aide des "barres de synchronisation" (comme dans les diagrammes d'tats-transitions). Une barre de synchronisation permet d'ouvrir et de fermer des branches parallles au sein d'un flot d'excution :

Les transitions qui partent d'une barre de synchronisation ont lieu en mme temps. On ne franchit une barre de synchronisation qu'aprs ralisation de toutes les transitions qui s'y rattachent.

L'exemple suivant illustre l'utilisation des barres de synchronisation :

52

II-D-5-c. Couloirs d'activits


Afin d'organiser un diagramme d'activits selon les diffrents responsables des actions reprsentes, il est possible de dfinir des "couloirs d'activits". Il est mme possible d'identifier les objets principaux, qui sont manipuls d'activits en activits et de visualiser leur changement d'tat.

53

II-E. Conclusion
II-E-1. Programmer objet ?

Programmer en C++ n'est pas "concevoir objet" ! Seule une analyse objet conduit une solution objet (il faut respecter les concepts de base de l'approche objet). Le langage de programmation est un moyen d'implmentation, il ne garantit pas le respect des concepts objet. UML n'est qu'un support de communication ! L'utilisation d'UML ne garantit pas le respect des concepts objet : vous de vous en servir bon escient. >> Concevoir objet, c'est d'abord concevoir un modle qui respecte les concepts objet ! >> Le langage et UML ne sont que des outils.

II-E-2. Utiliser UML ?

Multipliez les vues sur vos modles ! Un diagramme n'offre qu'une vue trs partielle et prcise d'un modle. Croisez les vues complmentaires (dynamiques / statiques). Restez simple ! Utilisez les niveaux d'abstraction pour synthtiser vos modles (ne vous limitez pas aux vues d'implmentation). Ne surchargez pas vos diagrammes. Commentez vos diagrammes (notes, texte...). Utilisez des outils appropris pour raliser vos modles !

54