Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

5.1.5. Konsistenzregeln
Für die in den Kapiteln 5.1.4.1 bis 5.1.4.5 beschriebenen verschiedenen Sichten auf das Anforderungsmodell
lassen sich Konsistenzregeln aufstellen, deren Einhaltung ein Auseinanderdriften
des Informationsgehalts in den einzelnen Sichten verhindern soll. Diese Regeln gelten
zunächst unabhängig von den zur Modellierung verwendeten Werkzeugen, wobei durch die
Funktionen der üblichen UML-Modellierungssoftware eine Einhaltung der Regeln oftmals automatisch
erzwungen wird. So verwendet diese üblicherweise eine Datenbank zur Speicherung
der im Modell verwendeten Elemente. Die in den einzelnen Diagrammen dargestellten Symbole
sind dann meist nur Referenzen auf die Objekte in der Datenbank. Somit ist sichergestellt, dass
ein Element mit dem gleichen Bezeichner in allen Diagrammen den gleichen Informationsgehalt
aufweist, wodurch ein Teil der Konsistenzregeln erfüllt wird. Andere Regeln können jedoch
nur durch entsprechende Sorgfalt bei der Modellierung und durch ständiges Prüfen des Modells
auf Regelkonformität berücksichtigt werden. Aus diesem Grund sind in der Prozessdefinition
entsprechende Kontroll-Aktivitäten vorgesehen. Einige Modellierungswerkzeuge bieten jedoch
durch Skriptsprachen oder ähnliche Konstrukte die Möglichkeit, die Einhaltung der Regeln weitgehend
zu automatisieren.
Im folgenden werden die modellweit geltenden Konsistenzregeln durch semi-formale Ausdrücke
in UML und durch formale mathematische Ausdrücke spezifiziert.
5.1.5.1. Konsistenz der Signale
In allen Sichten auf das funktionale Modell muss die gleiche Menge an Signalen enthalten sein,
da in allen Sichten Signale zur Darstellung der ausgetauschten Informationen verwendet werden,
wie der Ausschnitt des Metamodells in Bild 5.24 zeigt. Mathematisch lässt sich dieser Sachverhalt
folgendermaßen ausdrücken: Wenn S = {S 1 ,S 2 ,...,S n } die Menge aller im Modell
enthaltenen Signale ist, dann muss für die Mengen der Signale
• S Systemfunktionssicht in den Diagrammen der Systemfunktionssicht (als übertragene Informationen
über die Informationsflüsse)
• S Systemabgrenzungssicht in den Diagrammen der Systemabgrenzungssicht (als übertragene
Informationen über die Informationsflüsse)
• S Szenariensicht in den Diagrammen der Szenariensicht (als übertragene Informationen der
Nachrichten)
• S Verhaltenssicht in den Diagrammen der Verhaltenssicht (als Parameter der SendSignalActions
und AcceptEventActions)
• S Subsystemsicht in den Diagrammen der Subsystemsicht (also übertragene Informationen
über die delegate-Konnektoren
gelten:
S Systemfunktionssicht = S Systemabgrenzungssicht = S Szenariensicht = S Verhaltenssicht = S Subsystemsicht = S
(5.1)
79