Les observateurs d`états
Contents
1. File Edit Options Help hits ag x m State Observer Part State Observer Multiplicity invariant in Figure 3 Ajout d un observateur d tat Apr s avoir choisi la m thode de modification une fen tre appara t comme sur la figure 4 Sur cette figure newStateObserver devient UnObservateur l Easy State Machine Exemple UneClasse CES File Edit Options Help pala Ga x EM E State Observer Part State Observer Multiplicity invariant Add Basic soj Parse original in insert name UnObservateur Figure 4 Renommage d un observateur d tat Exceptionnellement pour l invariant 1l peut tre aussi modifi en s lectionnant la multiplicit correspondante et en cliquant sur Parse original string Sur la figure 5 on modifie l invariant de l observateur UnObservateur de mani re ce qu il implique un autre observateur UnAutreObservateur que l on aura pr alablement cr j Easy State Machine Exemple UneClasse File Edit Options Help ae aa xg oE State Observer Multiplicity final One CLLE UnAutreObsenateur booa One State Observer Part Invariant Add Basic Lnobsersateur true gt Un utreOhservateur true Add Basic S0 Parse original in Figure 5 Modification d un invariant Certains observateurs d tats peuvent aussi tre g n r s automatiquement Pour2. UneDerniereOperationtUnDernierParametre boolkint A55 LneAssociation CL UneClasse CL UneAutreClasse Figure 1 Vue du diagramme de classes existant Apr s ce clic une vue sur les observateurs d tats existants est affich e figure 2 Un observateur d tat est d j cr automatiquement Par d faut son nom est final est de type bool en a une multiplicit de un et a pour invariant true Cet observateur ne peut pas supprim Son nom son type et sa multiplicit ne peuvent pas tre modifi s Seul son invariant peut l tre soit en s lectionnant sa multiplicit et en cliquant sur Parse original string ou sur le bouton 4 ou soit en double cliquant sur l invariant Pour ajouter un obervateur il suffit de cliquer sur le bouton File Edit Options Help nel mgl x EE State Observer Part State Observer Multiplicity invariant zG AT 5O Parse original in Figure 2 Observateur d tat cr par d faut Un nouvel observateur a t ajout figure 3 Il a automatiquement pour nom newStateObserver est de type bool en a une multiplicit de un et a pour invariant true Pour le modifier on peut soit double cliquer sur une des caract ristiques de cet observateur ou soit la s lectionner et cliquer sur Un observateur peut aussi tre supprim Pour cela il suffit de s lectionner une de ses caract ristiques et de cliquer sur X a x
3. Les observateurs d tats Quelques rappels o Un observateur d tat repr sente un tat du syst me un moment donn par exemple avant ou apr s une transition o Un changement d tat a lieu suite l action d un v nement o L id e de l observateur d tat Soient O un observateur qui peut prendre les tats suivants el e2 et U un v nement modifiant l tat de cet observateur Suite l action de U l observateur change son tat O el EE O e2 U Manuel d utilisation des observateurs d tats sur Easy State Machine Pour pouvoir utiliser les observateurs d tats l utilisateur doit avoir au moins une classe dans son diagramme De ce fait on utilisera le diagramme de classes cr partir de la section du manuel concernant les diagrammes de classes figure 1 L utilisateur a donc trois classes et chacune de ces classes poss de un attribut de type bool en et une op ration qui prend en entr e un bool en La classe de contexte a t d finie Il s agit de la classe UneClasse On peut maintenant utiliser les observateurs d tats en cliquant sur le bouton SO L File Edit Options Help plal na xg m so ev E SH Input Class Diagram CL UneClasse AT UnAltriout bool OF UneOperation UnParametre booljint 9 CL UneAutreClasse AT UnAutreAtributhool OF UneAutreOperation UnAutreParametre boal int CL UneDerniereClasse AT UnDernier lttribut bool OF
4. cela il faut cliquer sur le bouton Add Basic SO figure 6 et le logiciel d tecte les observateurs vidents Toutefois le logiciel peut ne pas tous les d tecter File Edit Options Help JL Ga x EN Ev State Observer Part State Observer Type Multiplicity invariant bool ne true UnObservateur boot One UnObservateur true gt Un UnAutreObservateur bo CC e f Add Basic SO Parse original in Figure 6 D tection automatique d observateurs d tats Il est possible de modifier l ordre d affichage des observateurs d tats cela l aide des boutons et e figure 7 Un observateur n tant ni en premi re et ni en derni re position se verra l opportunit de voir ces deux boutons actifs on pourra donc le d placer Un observateur tant le premier ne verra que le bouton actif tant qu il restera en premi re position et un tant en derni re position ne verra que actif tant qu il restera en derni re position Lorsqu il n y a qu un observateur d tat 1l est la fois premier et dernier le d pacement sera impossible B File Edit Options Help BS A O 4 SO EV State Observer Part final bool true bool One UnObservateur lt lt w k UnObservateur true gt Un UnAutreObservateur tue o Add Basic so Parse original inv Figure 7 D placement d un observateur d tat Sources logiciel Easy State Machine r
Download Pdf Manuals
Related Search