Umdruck - Institut für Automatisierungs- und Softwaretechnik

3.3 Strukturierte Analyse Real-Time
AT II
Modellierungsregeln – Kontrollspezifikationen
– In einem Flussdiagramm (FD) können mehrere Balken eingetragen werden. Sie
repräsentieren jedoch eine einzige CSpec.
– Prozesse werden nur durch CSpecs aktiviert und deaktiviert. Wird ein Prozess in
keiner CSpec erwähnt, so ist er immer aktiv.
– Läuft ein Kontrollfluss auf einen Prozess, so entspricht dies keiner Aktivierung,
sondern einem Eingangssignal in dem hierarchisch unterlagerten Flussdiagramm.
Modellierungsregeln – Balancing (Datenintegrität)
– Sind alle Datenflüsse eines untergeordneten FDs im übergeordneten FD entweder
unter dem gleichen Namen oder als Teilkomponenten enthalten und die
Eigenschaften im Requirements Dictionary beschrieben, so heißt das Modell
ausbalanciert, d.h. die Datenintegrität ist sichergestellt.
© 2013 IAS, Universität Stuttgart 258