[PDF] IFT2255 - Diagrammes détats Transition interne. • Rattachée à un é

View - Download IFT2255 - Diagrammes détats

Previous PDF

Next PDF

Bruno Dufour

dufour@iro.umontreal.ca

IFT2255 - Génie logiciel

Diagrammes d'états

Bruno Dufour - Université de Montréal

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

2Source: H. Sahraoui et J. Vachon

DisponibleRéservéVenduattribution_sur_abonnementannulationdélai écouléréservationachat

Bruno Dufour - Université de Montréal

Principaux concepts

É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:

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 3

État

événement / action

Bruno Dufour - Université de Montréal

Principaux concepts

Marqueur d'état initial:

Marqueur d'état final:

4

Bruno Dufour - Université de Montréal

Exemple - Fichier

5

CrééOuvert

File()open()close()write()

Bruno Dufour - Université de Montréal

Événements

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 6

Bruno Dufour - Université de Montréal

Actions

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 7

Bruno Dufour - Université de Montréal

Exemple

8Source: H. Sahraoui et J. Vachon

Emprunté

Sur les

rayons retourner() / self.retourné()emprunter() / self.emprunté()

Bruno Dufour - Université de Montréal

Gardes

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 9

Bruno Dufour - Université de Montréal

Gardes - exemple

10Source: H. Sahraoui et J. Vachon

Emprunté

Sur les

rayons

est_retourné(e)est_emprunté(e) [dernier exemplaire]est_retourné(e)est_emprunté(e) [pas dernier exemplaire]

Cette transition est importante pour

marquer que retourner() est bel et bien un message attendu et compris dans cet état.

Bruno Dufour - Université de Montréal

Types de transitions

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é •Action de sortie: exit/activité •Activité non-instantanée: do/activité

Peut-être interrompue

Active une transition sortante lorsque terminée 11

Bruno Dufour - Université de Montréal

Transitions internes - exemple

12

Opération

do / verserCafé() exit / ejecterCapsule()

Disponible

En attente de

sélection capsuleInsérée()/ clignoterBoutons() formatSélectionné()

Bruno Dufour - Université de Montréal

Transitions internes - exemple

13Source: H. Sahraoui et J. Vachon

Saisie mot de passe

entry / echoStar(); reset() exit / resetEcho() digit / handleCharacter()

Transition

externe

Transitions

internes Authentifiéenter [mot de passe valide]enter [mot de passe invalide]

Bruno Dufour - Université de Montréal

État composite

14 É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

Bruno Dufour - Université de Montréal

État composite séquentiel - exemple

15 Rouge clignotant défaillance remise en service

Fonctionnement normal

Bruno Dufour - Université de Montréal

État historique

16

État historique:

•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 H

Bruno Dufour - Université de Montréal

État historique - exemple

17 Lustrage Lavage Séchage Attente H Lustrage Lavage after(2 min) after(2 min) after(2 min) after(4 min) arrêt d'urgence arrêt d'urgence reprise

Phase_active

Exit / facturer_client()

Source: H. Sahraoui et J. Vachon

Un état composite peut être sous divisé en plusieurs

états orthogonaux

•Permet de modéliser des sous-états indépendants

Bruno Dufour - Université de Montréal

État composite concurrent

18

Bruno Dufour - Université de Montréal

Concurrence - exemple

19

Facturépaiement

Prêt pour

livraison ReçuEn traitementtraitercomplétélivréannuléPayéreçu émis

Commande

Bruno Dufour - Université de Montréal

Exemple - État composite concurrent

20Source: H. Sahraoui et J. Vachon

Bruno Dufour - Université de Montréal

Exemple - Autre notation

21Source: H. Sahraoui et J. Vachon

Bruno Dufour - Université de Montréal

Décomposition en sous-diagrammes

22Source: H. Sahraoui et J. Vachon

Bruno Dufour - Université de Montréal

Exemple - Guichet bancaire

23Source: uml-diagrams.org

quotesdbs_dbs8.pdfusesText_14

[PDF] diagramme d'état exercice corrigé

[PDF] diagramme d'état transition authentification

[PDF] diagramme d'état transition en ligne

[PDF] diagramme d'état transition exemple

[PDF] diagramme d'état transition exercice corrigé pdf

[PDF] diagramme d'état transition uml

[PDF] diagramme d'etat transition uml exercices corrigés

[PDF] diagramme d'état transition uml pdf

[PDF] diagramme détat transition exercice corrigé

[PDF] diagramme de clapeyron

[PDF] diagramme de gantt en ligne

[PDF] diagramme de gantt en ligne gratuit

[PDF] diagramme de gantt exemple

[PDF] diagramme de gantt exercice corrigé 3eme

[PDF] diagramme de gantt exercice et corrigé