TD3 UML: State Machine Diagramme [PDF]

Zitiervorschau

Mohammed AIRAJ Master IOSM ENSAF 2021-2022

TD3 UML : State Machine Diagramme

1. On vous donne le state machine diagram suivant. Quelle est la valeur de x apr`es l’occurrence de la chaˆıne d’´ev´enements suivante e3 e3 e2 e1 e4 ?

2. Est ce que les deux images suibantes sont e´ quivalentes ?

3. On vous donne le state machine diagram suivant. Quelle est la valeur de x apr`es l’occurrence de la chaˆıne d’´ev´enements suivante e2 e2 e1 e3 e5 ?

4. On vous donne le state machine diagram suivant. Apr`es l’occurrence de quelle(s) chaˆıne(s) d’´ev´enement(s) l’´etat B est-il actif ?

5. Quand se produit une transition vers l’´etat D ?

6. Quelle est la valeur de x apr`es l’occurrence de la chaˆıne d’´ev´enements suivante e1 e6 e9 e1 e3 ?

7. Quelle est la valeur de x apr`es l’occurrence de la chaˆıne d’´ev´enements suivante e1 e3 e4 e4 e3 e5 ?

8. Quelle est la valeur de x apr`es l’occurrence de la chaˆıne d’´ev´enements suivante e1 e3 e4 e6 e7 e4 ?

9. Quelle est la valeur de x apr`es l’occurrence de la chaˆıne d’´ev´enements suivante e1 e3 e6 e8 e5 e4 ?

10. B est d´efinitivement quitt´e si

(a) l’´ev´enement e1 se produit. (b) les deux r´egions orthogonales ont atteint leur e´ tat final. (c) l’´ev´enement e2 se produit. (d) l’un des deux e´ tats finaux est atteint. (e) l’´ev´enement e2 se produit pendant que B2 est actif. 11. Lesquelles des affirmations suivantes sont vraies

(a) En supposant que l’´etat O est actif et que y0 se produise, alors r2 est a` nouveau ex´ecut´e. (b) when(a==4) est un gardien. (c) D`es que les deux sous-r´egions orthogonales de G sont termin´ees, l’´etat O devient actif. (d) En supposant que l’´etat G est actif et que l’´ev´enement r5 se produise, M devient l’´etat actif suivant et e rec¸oit la valeur 6. (e) x6 dans l’´etat L est un e´ v´enement. 12. Quelle est la valeur de x apr`es l’occurrence de la chaˆıne d’´ev´enements suivante e1 e2 e2 e2 ?