EM2019WSP11/Feindesign

Aus Verteilte Systeme - Wiki
Zur Navigation springen Zur Suche springen

Events

Es existiert eine Reihe an Events, die eintreten können und den Zustand des Systems damit ändern. Der Zustand des Systems ist dabei von drei Eigenschaften abhängig:

  • Regen/kein Regen
  • gute/schlechte Luftqualität
  • Fenster offen/geschlossen

Wenn bei einem der drei Eigenschaften eine Zustandsänderung eintritt, wird in Abhängigkeit zu den anderen beiden Eigenschaften der Systemzustand geändert. Alle Events werden nachfolgend mit dem neuen Zustand aufgelistet. Das System wird mit dem Zustand gelb initialisiert und verharrt in diesem bis das erste Ereignis eintritt.

Fenster wird geöffnet

gute Luftqualität schlechte Luftqualität
Regen blau blau
kein Regen grün grün

Fenster wird geschlossen

gute Luftqualität schlechte Luftqualität
Regen grün orange
kein Regen grün rot

Regen fängt an

gute Luftqualität schlechte Luftqualität
Fenster ist auf blau blau
Fenster ist zu grün orange

Regen hört auf

gute Luftqualität schlechte Luftqualität
Fenster ist auf grün grün
Fenster ist zu grün rot

Luftqualität ändert sich zu gut

Regen kein Regen
Fenster ist auf blau grün
Fenster ist zu grün grün

Luftqualität ändert sich zu schlecht

Regen kein Regen
Fenster ist auf blau grün
Fenster ist zu orange rot