Formation UML
Lancer l application Citrix Icône Objecteering Uml Modeler anonyme
1. Cliquer sur l icône de création de projet 2. Nommer le projet 3. Cliquer pour localiser le projet 4. Valider
1. Cliquer sur l icône d ouverture de projet 2. Sélectionner le projet à ouvrir 3. Valider
Barre de menus Barre de raccourcis Navigateur Propriétés Diagramme Console Barre de statut
Icône d activation, désactivation du navigateur Structure du modèle Boutons de création
Icône d activation, désactivation du navigateur Boutons de création Onglets de sélection des différents types de propriétés
Proposition systématique des éléments disponibles dans le contexte de modélisation courant Liste des classes élémentaires visibles
Les barres verticales d icônes de création et de compléments évoluent en fonction de la sélection dans l arbre Sélection d un package Sélection d une classe
Exemple : création d une classe dans un package 1. Sélection du package sous lequel elle est créée 2. Sélection de l icône «Classe» 3. Saisir le nom de la classe 4. Valider par «Return» ou Abandonner par «Esc»
Accéder à la boite de dialogue de l élément par : Double clic Menu contextuel item «Modify» Modification d un nom d un élément Sélectionner l élément, Cliquer sur son nom Saisir le nouveau nom Menu contextuel item «Modify»
3 onglets Propriétés : caractéristiques de l élément Notes : compléments textuels Tagged values : annotations Saisies assistées
1. Cliquer sur l icône «Note» dans la fenêtre des propriétés 3. Choisir un type de note ou 2. Sélectionner l onglet «Notes» 2. Cliquer sur «Add» 4. Saisir le texte dans l éditeur
1. Sélectionner l onglet «Tagged value» ou 2. Cliquer sur l icône {} dans la fenêtre des propriétés
Modifier l ordre des éléments Ctrl U : pour remonter l élément dans l arbre Ctrl D : pour descendre l élément dans l arbre
4 méthodes Ctrl C / Ctrl V Par les icônes Par les menus Par drag and drop 1. Crtl + Sélection de l élément 2. Glisser l élément jusqu à destination 3. Lâcher l élément
Les undo/redo depuis la dernière sauvegarde Toutes les actions sont mémorisées : Graphiques Sémantiques Accessibles par: Les icônes dans le navigateur et les diagrammes Le menu «view» Les raccourcis ctrl Z / ctrl Y
Création à partir du navigateur 1. Sélectionner l élément dans le navigateur 2. Sélectionner le type de diagramme 3. Diagramme créé 4. Diagramme ouvert
Diagramme de package et classes (Classe et package) Diagramme d objets (Classe et package) Diagramme d états (Classe, package et opération) Diagramme de use-cases (package) Diagramme de séquence (Classe, package, collaborations, use-cases) Diagramme de collaboration (Classe, package et collaboration) Diagramme d activités (Classe, package, use-case) Diagramme de déploiement et de composant (Package) Diagramme de déploiement d instance (Package)
Diagramme de package Diagramme de classe
Exemple de création d une classe 1. Cliquer sur l icône de l élément désiré 2.Cliquer à l endroit où on veut positionner l élément 3.Entrer le nom de l élément dans la zone surbrillante
Exemple de création d une association 1. Cliquer sur l icône de l élément désiré 2.Cliquer sur la classe de départ 3.Cliquer sur la classe de destination
Association par défaut nom standard 0..1 * publiphone Classe destinatrice rôle 1. Double clic ou Menu contextuel «Modifier» cardinalité navigabilité visibilité 2.Renseigner la boite de dialogue
1. 1er clic sur l élément considéré 2.2ème clic sur le nom de l élément 3.Entrer le nom de l élément
Démasquage par «Drag and Drop» 1. Sélectionner l élément à démasquer dans le navigateur 2.Le faire glisser vers le diagramme de destination 3.Le lâcher dans le diagramme de destination
3 méthodes de démasquage (Classe, packages, ) Menu contextuel, item «Show contents» Raccourci Ctrl + L icône de l éditeur graphique 2 méthodes de masquage Menu contextuel, item «Mask contents» Raccourci Ctrl -
3.Clic dans la zone graphique pour positionner la note 4.Sélectionner le type de note et valider 1. Sélectionner l icône de note 2.Clic dans la classe à annoter 5.La note s affiche vide
2 méthodes Dans une boîte de dialogue appelée par le menu «Modify» Dans l éditeur graphique
3.Clic dans la zone graphique pour positionner la contrainte 4.Lac contrainte s affiche sans type ni contenu 1. Sélectionner l icône de contrainte 2.Clic dans la classe à contraindre
2.Renseigner le corps ou le nom 4.Affichage du corps de la contrainte 3.Ajouter un stéréotype à la contrainte 1. Sélectionner la contrainte et faire «Modify»
Cette étude de cas concerne un système de Guichet Automatique de Banque (GAB) qui offre les services suivants : 1. Distribution d argent à tout porteur de carte de crédit (carte Visa ou carte de Banque), via un lecteur de carte et distributeur de billet 2. Consultation de solde de compte, dépôt numéraire et dépôt de chèques pour les clients porteurs d une carte de crédit de la banque N'oubliez pas non plus : 3. Toutes les transactions sont sécurisées 4. Il est parfois nécessaire de recharger le distributeur.
Identifier les acteurs Identifier les cas d'utilisation Acteur Un acteur représente un ensemble cohérent de rôles joués par des personnes ou d autres systèmes Constuire un diagramme de cas d'utilisation Compléter les descriptions par des diagrammes dynamiques Organiser et structurer les cas d'utilisation Cas d'utilisation Un cas d utilisation représente des séquences d actions réalisées par le système, qui produisent un résultat observable Un paquetage est un élément d organisation des modèles
A partir de l énoncé, découvrir les acteurs qui interagissent directement avec le GAB Porteur de CB Visa Client de la Banque GAB <<actor>> SI Banque Opérateur de maintenance <<actor>> SA Visa
A partir de l énoncé, découvrir rapport aux acteurs les différents cas d utilisation Retirer de l argent <<actor>> SI Banque néant Porteur de CB Visa Retirer de l argent Consulter le solde Client de la Banque Déposer du numéraire Déposer des chèques <<actor>> SA Visa néant Recharger le distributeur Récupérer les cartes avalées Opérateur de maintenance Récupérer les chèques déposés
Porteur de CB Visa Retirer de l'argent avec une carte Visa secondaire <<actor>> SA Visa <<include>> Retirer de l'argent avec une carte de la banque <<extend>> secondaire secondaire secondaire <<actor>> SI Banque Consulter le solde Client de la Banque <<include>> Déposer de l'argent <<include>> S'authentifier Déposer du numéraire Déposer des chèques Recharger le distributeur Récupérer les chèques déposés Opérateur de maintenance Récupérer les cartes avalées
Regroupement par acteur principal Retrait Visa Opérations Client Services Support Maintenance
Package Acteur Use-case Héritage de use-case Relation «include» entre use-case Relation «extend» entre use-case Lien de communication
[non OK] [carte valide] Vérification du code [OKI] Demande autorisation visa [retrait refusé] Vérification de la carte [carte non reprise] Ejection carte [montant <= solde] Determination montant [retrrait autorisé] [montant > solde] [billet non récupéré] [ticket demandé] Ejection billet Impression ticket [billet récupéré]
1. Des compagnies aériennes proposent différents vols 2. Un vol est ouvert à la réservation et refermé sur l ordre de la compagnie 3. Un client peut réserver un ou plusieurs vols, pour des passagers différents 4. Une réservation concerne un seul vol et un seul passager 5. Une réservation peut être annulée ou confirmée 6. Un vol a un aéroport de départ et un aéroport d arrivée 7. Un vol a un jour et une heure de départ et d arrivée 8. Un vol peut comporter des escales dans des aéroports 9. Une escale a une heure d arrivée et une heure de départ 10. Chaque aéroport dessert une ou plusieurs villes
1. Des compagnies aériennes proposent différents vols 2. Un vol est ouvert à la réservation et refermé sur l ordre de la compagnie Construire un diagramme de classes Compagnie_aerienne affreteur propose Vol 1..* 1..* ouvrirreservation() fermerreservation() 1:ouvrirReservation V1/:Vol 2:fermerReservation /:Compagnie_aerienne 3:ouvrirReservation V2/:Vol
6. Un vol a un aéroport de départ et un aéroport d arrivée 7. Un vol a un jour et une heure de départ et d arrivée 10. Chaque aéroport dessert une ou plusieurs villes Vol depart datedepart : date * 1 heuredepart : time datearrivee : date heurearrivee : time * arrivee 1 Aeroport nom : string * 1..* dessert Ville
8. Un vol peut comporter des escales dans des aéroports 9. Une escale a une heure d arrivée et une heure de départ Vol datedepart : date heuredepart : time datearrivee : date heurearrivee : time * escale * Aeroport {ordered} Infos_escale nom : string heuredepart : Time heurearrivee : Time
3. Un client peut réserver un ou plusieurs vols, pour des passagers différents 4. Une réservation concerne un seul vol et un seul passager 5. Une réservation peut être annulée ou confirmée Passager nom : string prenom : string concerne 1 Client Vol 1 < concerne * * Reservation * 1 a effectué nom : string prénom : string adresse : string numtel [12] : char numfax [12] : char
Vols Compagnie_aerienne Reservat Infos_escale nom : string Passager Aeroport heuredepart : Time heurearrivee : Time calculerduree() * escale * depart * 1..* affreteur 1..* propose Vol numero : integer 1 * concerne Reservation * date : date numero : integer annuler() nom : string prenom : string 1 * 1 Client nom : string prénom : string adresse : string numtel [12] : char numfax [12] : char nom : string * 1 arrivee * 1 datedepart : date heuredepart : time datearrivee : date heurearrivee : time confirmer() a effectué dessert ouvrirreservation() 1..* Ville fermerreservation() calculerduree() nom : string
Cette étude de cas concerne un système de Publiphone à pièce. 1. Le prix minimal d une communication interurbaine est de 2 francs 2. Après l introduction de la monnaie, l utilisateur à deux minutes pour composer son numéro 3. La ligne peut être libre ou occupée 4. Le correspondant peut raccrocher le premier 5. Le publiphone consomme de l argent dès que l appelé décroche et à chaque unité de temps (UT) générée par le standard 6. On peut ajouter des pièces à tout moment 7. Lors du raccrochage, le solde de monnaie est rendu
standard publiphone +timernumerotation() +acheminernumero(in num [10] char) +fincomm() 0..1 * +credit : integer=0 +decrochecombine() +intropiece(in p:undefined) +composernumero(in num [10] char) Valeur initiale Opérations publiques +timeoutnumerotation() +validitenumero() +etatligne() +timeoutappel() +debutercomm() +UT() +fincomm() Opérations privées +raccrcohecombine() -verifierpiece() -transmettrevoix()
Ils décrivent le comportement dynamique de groupes d objets Ils visualisent des automates d états finis (états/transitions) Un état est caractérisé par un jeu de valeurs des attributs de l objet Ils utilisent le formalisme Statecharts (D.Harel, Science of computer prog., Vol 8, 1987) Etat intermédiaire Etat initial Etat final Les états sont reliés par des connexions unidirectionnelles, appelées transitions La transition d état survient lors d événement dans le domaine du problème La transition d état est instantanée car le système doit toujours être déterminé A B
une garde est une condition booléenne qui valide ou non le déclenchement d une transition A Evenement [ Condition ] B L action pointe une opération déclarée dans la classe de l objet destinataire A Evenement / Action B Les états peuvent aussi contenir des actions déclenchées au début, pendant ou à la fin de l état Etat A Entry : on UnEvenement : exit : Etat A do : Une opération L opération est exécutée pendant que l objet est dans un état donné
A E1 B E2 C E2 Factorisation A E1 B E2 C
Le prix minimal d une comm. interurbaine est de 2Francs raccrochécombiné/rendrepièce intropièce[p OK]/increment. crédit Raccroché décrochercombiné[crédit = 0] Décroché Attente pièce when(crédit>=2f)/send standard.waitnuméro timeoutnumérotation Fin de communication ou erreur numéroinvalide Attente numéro raccroché appelé UT[crédit insuffis.]/taxer timeoutappel composernuméro/send standard.givenuméro Attente validité UT[credit suffisant]/taxer étatligne[occupée] Communication Do/transmettre voix numérovalide Attente décrochage débutercomm/taxer
Raccroché Après l introduction de la monnaie, l utilisateur à deux minutes pour composer son numéro décrochercombiné[crédit = 0] raccrochécombiné/rendrepièce Décroché intropièce[p OK]/increment. crédit Attente pièce when(crédit>=2f)/send standard.waitnuméro timeoutnumérotation Fin de communication ou erreur Attente numéro numéroinvalide raccroché appelé UT[crédit insuffis.]/taxer timeoutappel composernuméro/send standard.givenuméro Attente validité UT[credit suffisant]/taxer étatligne[occupée] Communication Do/transmettre voix numérovalide Attente décrochage débutercomm/taxer
Raccroché décrochercombiné[crédit = 0] La ligne peut être libre ou occupée raccrochécombiné/rendrepièce intropièce[p OK]/increment. crédit Décroché Attente pièce when(crédit>=2f)/send standard.waitnuméro timeoutnumérotation Fin de communication ou erreur numéroinvalide Attente numéro raccroché appelé UT[crédit insuffis.]/taxer timeoutappel composernuméro/send standard.givenuméro Attente validité UT[credit suffisant]/taxer étatligne[occupée] Communication Do/transmettre voix numérovalide Attente décrochage débutercomm/taxer
Raccroché décrochercombiné[crédit = 0] Le correspondant peut raccrocher le premier raccrochécombiné/rendrepièce intropièce[p OK]/increment. crédit Décroché Attente pièce when(crédit>=2f)/send standard.waitnuméro timeoutnumérotation Fin de communication ou erreur numéroinvalide Attente numéro raccroché appelé UT[crédit insuffis.]/taxer timeoutappel composernuméro/send standard.givenuméro Attente validité UT[credit suffisant]/taxer étatligne[occupée] Communication Do/transmettre voix numérovalide Attente décrochage débutercomm/taxer
Raccroché Le publiphone consomme de l argent dès que l appelé décroche et à chaque unité de temps (UT) générée par le standard décrochercombiné[crédit = 0] raccrochécombiné/rendrepièce Décroché intropièce[p OK]/increment. crédit Attente pièce when(crédit>=2f)/send standard.waitnuméro timeoutnumérotation Fin de communication ou erreur numéroinvalide Attente numéro composernuméro/send standard.givenuméro raccroché appelé UT[crédit insuffis.]/taxer timeoutappel Attente validité UT[credit suffisant]/taxer étatligne[occupée] Communication Do/transmettre voix numérovalide Attente décrochage débutercomm/taxer
Raccroché décrochercombiné[crédit = 0] On peut ajouter des pièces à tout moment raccrochécombiné/rendrepièce intropièce[p OK]/increment. crédit Décroché Attente pièce when(crédit>=2f)/send standard.waitnuméro timeoutnumérotation Fin de communication ou erreur numéroinvalide Attente numéro raccroché appelé UT[crédit insuffis.]/taxer timeoutappel composernuméro/send standard.givenuméro Attente validité UT[credit suffisant]/taxer étatligne[occupée] Communication Do/transmettre voix numérovalide Attente décrochage débutercomm/taxer
Raccroché décrochercombiné[crédit = 0] Lors du raccrochage, le solde de monnaie est rendu raccrochécombiné/rendrepièce intropièce[p OK]/increment. crédit Décroché Attente pièce when(crédit>=2f)/send standard.waitnuméro timeoutnumérotation Fin de communication ou erreur numéroinvalide Attente numéro raccroché appelé UT[crédit insuffis.]/taxer timeoutappel composernuméro/send standard.givenuméro Attente validité UT[credit suffisant]/taxer étatligne[occupée] Communication Do/transmettre voix numérovalide Attente décrochage débutercomm/taxer
Package Acteur Use-case Héritage de use-case Relation «include» entre use-case Relation «extend» entre use-case Lien de communication
Package Attribut Héritage Classe-association Classe Opération Association Data-flow Interface Lien d implémentation Agrégation Note Signal Lien de dépendance Association n-aire Contrainte
Objet Attribut d objet Message Association Association n-aire Note Contrainte
Objet Message Message asynchrone Message de création d objet Message de destruction d objet Branchement conditionnel Note Contrainte
Rôle Valeur d attribut Message Association Association n-aire Note Contrainte
État État concurrents Transition Activité État initial État final Branche conditionnel Branche parallèle Synchronisation État de synchronisation Historique Historique profond Note Contrainte
nœud Association Implémentation Note composant Héritage Data-flow Contrainte interface Lien de dépendance
Activité Sous activité Transition État initial État final Branche conditionnel Branche parallèle Synchronisation Émission de signal Réception de signal Ligne d eau Flot d objet Note Contrainte