110
Chapitre 3. Les diagrammes comportementaux
La figure 3.64 donne la représentation du diagramme de temps en utilisant le formalisme des états « en escalier » et la figure 3.65 fournit la représentation linéaire
des états.
Figure 3.64 — Exemple de diagramme de temps
avec représentation « en escalier »
Figure 3.65 — Exemple de diagramme de temps avec représentation linéaire
:pompe eau
:chauffage eau
activé
désactivé
activé
désactivé
Vapeur demandée
et réserve eau
insuffisante
Réserve eau
suffisante
{ t..t +3}
timer t
sd Chauffage vapeur
:pompe eau
:chauffage eau
activé
désactivé
activé
désactivé
Vapeur demandée
et réserve eau
insuffisante
Réserve eau
suffisante
{ t..t +3}
timer t
sd Chauffage vapeur
désactivé
désactivé