Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 1/

Transcription

1 Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 1/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 2/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 3/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 4/

2 Vue plan Vue satellite Vue trafic Un autre niveau d abstraction Street view Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 5/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 6/ La vision MDE Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 7/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 8/

4 Entre 89 et 94 : le nombre de méthodes orientées objet est passé de 10 à plus de 50 Chaque méthode proposait son propre langage de modélisation Toutes les méthodes avaient pourtant d énormes points communs (objets, méthode, paramètres, ) Au milieu des années 90, G. Booch, I. Jacobson et J. Rumbaugh ont chacun commencé à adopter les idées des autres. Les 3 auteurs ont souhaité créer un Langage de Modélisation Unifié Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 13/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 14/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 15/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 16/

6 Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 21/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 22/ Bien couvertes par UML Discutable: Réalisation: si utilisation d UML comme langage de programmation. Validation: génération automatique de cas de tests mais loin d être exhaustifs Déploiement: un diagramme UML pour ça Maintenance: possibilité de faire du reverse eng. Application de Design patterns, round-trip eng. Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 23/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 24/

7 Acteur:Employé Acteur:Manager Acteur:RH Créer demande de poste Examiner demande de poste Créer une offre d'emploi Vidéothèque Louer un DVD Rendre un DVD Terminal: Bibliothèque: Instance:Candidat searchitembytitle finditembytitle Aspects fonctionnels du Système -Diagramme de cas d utilisation -Diagramme de séquences -[Diagramme d activités] Diagramme d activité Rechercher des candidats Diagramme de Cas d Utilisation Adresse possède 1..* TypeLien Lien Personne possède * * Telecom 1..* * Nationalite PersonnePhysique PersonneMorale 1..* 1..* Diagramme de séquences Aspects Dynamiques du Système -Diagramme de séquences/[communication] -Diagramme d états transitions -Diagramme d activités -Diagramme de temps Aspects Statiques du Système -Diagramme de classes -[Diagramme d objets] -Diagramme de structure composite GRH Paye 1 1..* Auteur Organisme Fondation Gestion Activité Digramme de packages Groupe * est formé de Diagramme classes Diagramme états/transitions En rouge: abordé dans ce cours Entre [ ]: peu utilisé dans la vue Aspects déploiements du Système -Diagramme de déploiement -Diagramme de composants Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 25/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 26/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 27/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 28/

8 è Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 29/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 30/ é é é è é é é Ç é è Gestion de stock Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 31/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 32/

9 é Nommer avec un verbe à l infinitif + complément Répondre aux questions suivantes: Quels sont les services rendus par le système? Chaque fonctionnalité métier est représentée par un use case Quelles sont les interactions Acteurs/ système? Pour chaque acteur identifié Rechercher les différentes intentions métiers avec lesquelles il utilise le système Déterminer les services fonctionnels attendus du système par cet acteur Ne pas oublier celui qui maintient le système Retirer Argent Quels sont les évènements perçus par le système (externes, temporels, changement d état)? Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 33/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 34/ Vidéothèque Client Client Retirer Argent Louer un DVD Client de la banque Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 35/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 36/

10 é é é é è é ü À é é à é î é é À é à é î é é À Virement Retirer Argent <<include>> <<extend>> Retirer Argent Points d extension: Vérif. Solde Virement en Ligne Identification Consulter Solde Condition: {porteur choisit Consulter Solde} Point d extension: vérif. Solde Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 37/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 38/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 39/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 40/

16 Doctor Person Nurse Land Vehicle Vehicle Water Vehicle Surgeon Family Doctor simple Car Amphibious Vehicle Boat multiple Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 61/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 62/ Vehicle v = null; v = new Car(); v.startengine(); v = new Boat(); v.startengine(); Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 63/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 64/

17 class Forme { public: virtual float Aire() = 0; }; class Carre:public Forme { public: virtual float Aire() { return m_cote*m_cote; } private: float m_cote; }; class Cercle:public Forme { public: virtual float Aire() { return *m_rayon*m_rayon; } float AireTotal(Forme* tabl[], int nb) { float s=0; for(int i = 0;i<nb; i++) { s+= tabl[i]->aire(); // le programme sait automatiquement quelle fonction appeler } return s; }... Forme* tableau[3] = {new Carre, new Cercle, new Carre}; AireTotal(tableau,3);... private: float m_rayon; Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 65/ }; #include <iostream.h> template <class C> void echanger(c &a, C &b){ C x; x = a; a = b; b = x; } Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 66/ é é é è Person Company members 0..1 * Employee Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 67/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 68/

18 Nom_classe Attribut Attribut : type Attribut : type = valeur par défaut... Opération Opération (par1 : type...) : type retour Person +name : string +firstname : string #id : string nbperson : integer /completename : string +getid() public = + Interface package = ~ protected = # corps private = - usager frère héritier implémenteur Nom_classe Employee Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 69/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 70/ é é é é é Company url [3] : string name : string cardinalité Attribut de classe Attribut calculé Person +name : string +firstname : string #id : string nbperson : integer /completename : string é é é é é è Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 71/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 72/

19 é é é è url [3] : string name : string Company +makeprofit():real +getworkingemployee(): [*] Employee Employee +stopwork():boolean +startwork(in work:string):boolean Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 73/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 74/ Company * 1..* Employee Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 75/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 76/

20 Client Nom d association 0..1 client procède Navigabilité compte 1..* Compte Rôle Cardinalité précisée Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 77/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 78/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 79/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 80/

21 Le salaire est une information correspondant ni à une personne, ni à une société, mais à un emploi (un couple personne-société) Traduction fait 1..* Client * Commande Commande 1..* commande Une instance de Client pour accéder aux propriétés de Produit (attributs et opérations) concerne 1..* produit Produit Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 81/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 82/ Student students attendedcourses * attends * Course Un cours est suivi par plusieurs étudiants (0 ou plusieurs). Un étudiant suit des cours (0 ou plusieurs). A partir d un étudiant, il est possible d identifier les cours suivis (navigable). public class Student { public Course attendedcourses[]; } public Student() { } public class Course { } public Course() { } Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 83/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 84/

22 Agrégation S chool 1..* m em ber * S tude nt Composition Department Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 85/ has 1 1..* School 1..* member * Student Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 86/ School has 1 1..* Department Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 87/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 88/

23 Shape Rectangle Circle Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 89/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 90/ équipe 0..1 estcomposee * membre joueur entraineur assistant joueur membre entraineur procède 1..* Contrat Attention: dans UML1.X, classe et opération abstraite étaient en italique. Ce n est plus obligatoire dans UML2.0. Rajouter {abstract} Carre Forme {abstract} CalculerSurface() {abstract} Cercle {abstract} {abstract} CalculerSurface() CalculerSurface() Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 91/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 92/

24 String isequal (Object) : boolean isgreater (Object) : boolean hash () : integer Ou bien: «interface» Comparable isequal (Object) : boolean isgreater (Object) : boolean String isequal (Object) : boolean isgreater (Object) : boolean hash () : integer Comparable Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 93/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 94/ <<comment>> Une association n'est pas une company Company * 1..* Employee Company * 1..* Employee Exemple de contrainte exprimée à l aide d OCL agelimit {self.age<60} Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 95/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 96/

25 Personne ecole Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 97/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 98/ Un package permet de grouper des éléments Classes, use case, etc. Un package sert d espace de désignation (nommage) Deux classes portant le même nom ne peuvent être dans le même package Précéder du nom de package si deux classes ont le même nom mais appartiennent à deux packages différents Un package peut inclure d autres packages Un package peut importer ou utiliser d autres packages L héritage entre package est possible Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 99/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 100/

26 é Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 101/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 102/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 103/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 104/

27 Instance de la classe Car Vue interne d un composant Un composant avec de multiples ports Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 105/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 106/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 107/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 108/

28 Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 109/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 110/ Objet anonyme non typé anonyme typé identifié non typé identifié typé résultat=:nomop (param) nomop (param) Valeur de retour Les paramètres et le résultat, de l appel, si y en a Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 111/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 112/

29 Ob1: : A création Ob2: : B opération1 opération2 Destruction X Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 113/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 114/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 115/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 116/

30 Exemple de boucle Exemple de branchements conditionnels Fragment optionnel avec condition Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 117/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 118/ Sd S1 objet1: Sd S2 objet1: Instance:user Instance:user ref M12 ref M12 m3 m4 Sd M12 objet1: Instance:user m1 m2 Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 119/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 120/

31 Permettent de décrire la dynamique d un système De formaliser les scénarios Mettent l accent sur la dimension «Temps» dans l interaction Permettent de réfléchir sur le type de contrôle + objets impliqués dans l interaction (moins bien que le diagramme de collaboration) Permettent de faire le lien entre les diagrammes de cas d utilisation et les diagrammes de classes Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 121/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 122/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 123/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 124/

32 Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 125/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 126/ NomEtat Porte ouvrir() fermer() verrouiller() déverrouiller() Ouverte fermer() ouvrir() fermee deverrouiller() verrouiller() Verouillee Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 127/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 128/

33 état condition de garde événement reçu E1 evt1 [cond] /op transition action E2 Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 129/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 130/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 131/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 132/

34 Etat entry/ faire quelque chose exit/ faire autre chose Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 133/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 134/ Etat Ev1 [t=0]/ faire quelque chose Ev1 [t>0]/ faire autre chose Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 135/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 136/

35 Attente when (temperature > 22) [hiver] when (temperature > 22) [ete] Ventiler Climatiser Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 137/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 138/ Actif Compose numéro (n) [nb<10 && n.isvalid ()] Repos décroche Tonalité Compose numéro (n) [n.isvalid] After (15 s) Compose numéro (n) [n.isinvalid] Invalide Tonalité occupée Compose numéro (n) [n.isinvalid] occupé En composition When (nb=10) En connexion Appelé raccroche connecté Appelant raccroche Dialogue Réponse de l appelé Sonnerie Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 139/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 140/

41 Notation UML 2.0 Un Exemple de diagramme de Composants Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 161/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 162/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 163/ Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 164/

43 Reda Bendraou LI386-S1 Génie Logiciel UPMC Cours 2: Modélisation OO avec UML 169/