La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

Statecharts Décrit les changements détat dun objet en réponse à des événements Point focal : lobjet et ses changements détats Inventeur: David Harel Permet.

Présentations similaires


Présentation au sujet: "Statecharts Décrit les changements détat dun objet en réponse à des événements Point focal : lobjet et ses changements détats Inventeur: David Harel Permet."— Transcription de la présentation:

1 Statecharts Décrit les changements détat dun objet en réponse à des événements Point focal : lobjet et ses changements détats Inventeur: David Harel Permet une hiérarchisation des états afin déviter une explosion combinatoire détats

2 Concepts Etats (simples ou composites) Transitions Actions Evénements Activités –entry, exit, do,include

3 Etat et transitions Etat nom Activités Sous-état Start/Etat initial Stop/Etat final NomEvénement [Garde] / Action

4 Evénements et gardes nomEvénement (param1:type, param2:type,…) Externes (utilisateur, environnement,…) ou internes –change events : quand une condition devient vraie dans le système Ex:when(solde<=1KEur) –call events : envoi dun message synchrone Ex: calculerMontant() –signal events :envoi dun message asynchrone Ex: allumedLed() –time events : indiquent un temps écoulé Ex: (10 ms.) [Garde] : expression Booléenne Ex: [ageCapitaine>50] !Evénement est observé par le système, le garde est vérifié lors de la transition (c-à-d pas observé à tout moment)

5 Actions Action –instruction pseudo-code ex. solde = solde – débit –appel dun événement : ^cible.événement(param) Ex : ^Compte.paiement(solde) Action interne à un état –ActionLabel/Action Action Label : -entry, do, exit, on event -Ex. : entry/calculateAverage(x:array)

6 Exemple de statechart Vérification EnAttente Annulé Livré EnLivraison [resteArticleàVérifier] [tousArticlesVérifiés&& ArticlesManquants] [tousArticlesVérifiés&& tousArticlesDisponibles] do/ vérifier article ArticleReçu() [ResteArticlePasdeStock] annulation() do/démarrer livraison annulation() livraison() ArticleReçu() [tousArticlesDisponibles]

7 Etats Imbriqués Concurrence et synchronisation VérifClient Vérification EnAttente Livraison VérifTerminée EnCommande

8 Exercice 1 : formation dun contrat Dessinez un diagramme détat/transition résumant les états possibles dun objet contrat tel que décrit dans lénoncé suivant. Un ensemble de personnes décident détablir un contrat. Pour ce faire elles rédigent un projet par itération successive. Le contrat est ensuite informellement accepté par les parties, et devient ce que lon appelle un pré- accord. A ce stade il peut toujours être lobjet de modification et revenir à létat de projet. Une fois le pré-accord définitivement établi, le contrat est signé par les parties. Dès ce moment les partenaires sont liés. Une fois signé le contrat peut être rendu exécutoire par une décision dune des parties. Un contrat en exécution peut faire lobjet de discussions qui sont réglées par un arbitre désigné à cet effet. Le contrat une fois exécuté prend fin.

9 Proposition Solution 1

10 Exercice 2 : montre digitale Ma montre affiche lheure, si jappuie 2X sur le boutton 1, la montre passe en mode modification. Chaque pression sur le boutton 2, incrémente lheure dune unité. Si jappuie encore un fois sur le boutton 1, je peux régler les minutes de la même façon que les heures. Si jappuie une quatrième fois sur le boutton 1, la montre affiche à nouveau lheure courante. Button1 Button2

11 Proposition Solution 2

12 Exercice 3 : montre digitale plus avancée Lors du réglage de lheure ou des minutes lorsque jappuie sur le bouton 1 plus de deux secondes, les heures ou les minutes avancent très rapidement jusquà ce que je relâche la pression On ajoute un bouton 3 qui permet de rétro-éclairer lécran LCD Button1 Button2 Button3

13 Proposition Solution 3 miseEnService

14 Exercice 4 : cabine téléphonique Modélisez le fonctionnement dune cabine téléphonique

15 Proposition de Solution 4


Télécharger ppt "Statecharts Décrit les changements détat dun objet en réponse à des événements Point focal : lobjet et ses changements détats Inventeur: David Harel Permet."

Présentations similaires


Annonces Google