IFT Génie logiciel

Dimension: px

Commencer à balayer dès la page:

Download "IFT Génie logiciel"

Marie-Madeleine Pauline Lefrançois
il y a 6 ans
Total affichages :

1 Diagrammes d états 2 IFT Génie logiciel Diagrammes d états Permettent de décrire le comportement d une instance d une classe en fonction des messages reçus Exemple: achat de billets attribution_sur_abonnement Disponible annulation Vendu Bruno Dufour dufour@iro.umontreal.ca réservation délai écoulé Réservé achat Principaux concepts 3 Principaux concepts 4 État: État Décrit un moment de la vie d une instance Une instance ne se trouve que dans un seul état à la fois Toutes les instances d une classe qui se trouvent dans un même état réagissent de façon identique aux événements Transition: événement / action Définit la réponse d une instance, dans un état donné, à un événement donné Événement: élément déclencheur de la transition Action: opération réalisée lorsqu une transition est exécutée Marqueur d état initial: Marqueur d état final:

2 Exemple - Fichier 5 Événements 6 write() File() Créé open() Ouvert close() Peuvent être paramétrés Types d événements Appel / Signal: op(p1:type, p2:type, ) Réception d un message synchrone Changement: when(condition) Changement de valeur d une condition booléenne Temporel: after(timeinterval) Temps absolu atteint ou passage d un certain intervalle de temps Actions 7 Exemple 8 Types d actions Affectation: cible:=expression Appel / envoi de message: object.opname(arg, ) Synchrone Peut retourner une valeur Création d instance: new Cname(arg, ) Destruction d instance: object.destroy() Séquence: action1; action2; Divers: [ description] Décrite dans une autre langage Emprunté retourner() / self.retourné() emprunter() / self.emprunté() Sur les rayons

3 Gardes 9 Gardes - exemple 10 Une transition peut être conditionnelle à l évaluation d une garde Expression conditionnelle: événement [garde] Évaluée uniquement quand l événement est déclenché Si la garde est vraie, la transition est réalisée Si la garde est fausse, la transition n a pas lieu Lorsqu un même événement est associé à plusieurs transitions, une garde peut déterminer la transition à effectuer Les gardes associées à un même événement sur les transitions sortantes d un état donné doivent être mutuellement exclusives Emprunté Cette transition est importante pour marquer que retourner() est bel et bien un message attendu et compris dans cet état. est_retourné(e) est_emprunté(e) [dernier exemplaire] est_retourné(e) Sur les rayons est_emprunté(e) [pas dernier exemplaire] Types de transitions 11 Transitions internes - exemple 12 Transition externe Peut engendrer un changement d état Transition interne Rattachée à un état N engendre pas de changement d état Transitions internes spéciales Action d entrée: entry/activité Disponible capsuleinsérée()/ clignoterboutons() En attente de sélection formatsélectionné() Opération do / versercafé() exit / ejectercapsule() Action de sortie: exit/activité Activité non-instantanée: do/activité Peut-être interrompue Active une transition sortante lorsque terminée

4 Transitions internes - exemple 13 État composite 14 Transitions internes entry / echostar(); reset() exit / resetecho() digit / handlecharacter() enter [mot de passe valide] Saisie mot de passe Authentifié enter [mot de passe invalide] Transition externe État composé de sous-états (séquentiels ou concurrents) Lorsqu un état composite est activé, un de ses sousétats est nécessairement activé Entrer et sortir d un état composite Une transition entrante est implicitement conduite vers son état initial Une transition vers l état final active implicitement une transition sortante Lorsqu une transition entre/sort en traversant un ou plusieurs états composites imbriqués, toutes les actions d entrées/sortie sont exécutées Actions de sortie de l état le plus interne en premier Actions d entrées de l état le plus externe en premier État composite séquentiel - exemple 15 État historique 16 remise en service Rouge Rouge clignotant after(2min) after(20sec) défaillance Fonctionnement normal Vert Jaune after(2min) État historique: H Pseudo-état qui permet de mémoriser le dernier sous-état actif d un état composite Permet de restaurer l état suite à une sortie temporaire d un état composite Une transition qui a pour cible l état historique est équivalente à une transition qui a pour cible le dernier état actif du composite

État historique - exemple 17 État composite concurrent 18 Phase_active Exit / facturer_client() after(2 min) after(2 min) Lustrage Lavage Séchage after(4 min) H arrêt d urgence arrêt d urgence

5 État historique - exemple 17 État composite concurrent 18 Phase_active Exit / facturer_client() after(2 min) after(2 min) Lustrage Lavage Séchage after(4 min) H arrêt d urgence arrêt d urgence reprise Un état composite peut être sous divisé en plusieurs états orthogonaux Permet de modéliser des sous-états indépendants Attente after(2 min) Concurrence - exemple 19 Exemple - État composite concurrent 20 Commande annulé Facturé paiement Payé reçu émis Prêt pour livraison livré Reçu traiter En traitement complété

6 Exemple - Autre notation 21 Décomposition en sous-diagrammes 22 Exemple - Guichet bancaire 23 Source: uml-diagrams.org

Documents pareils

Les diagrammes de modélisation

L approche Orientée Objet et UML 1 Plan du cours Introduction au Génie Logiciel L approche Orientée Objet et Notation UML Les diagrammes de modélisation Relations entre les différents diagrammes De l analyse