Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

enthalten ist. So verfügt die beispielhafte Bahnübergangssicherungsanlage - je nach Konfiguration
- über 4 bis 6 Lichtzeichenanlagen für die Straßenverkehrsteilnehmer. Im Modell wird dies
über ein Teil „Lichtzeichenanlage” vom Typ „LzA” mit der Multiplizitätsangabe „[4...6]” dargestellt.
Bild 5.21 zeigt die oben beschriebenen Konstrukte.
Zur Subsystemarchitektur gehört weiterhin eine Darstellung der Verbindungen der einzelnen
Subsystemkomponenten untereinander und mit den Ports des SuB. Dazu bietet sich der aus
der UML übernommene connector (Konnektor) an, der eine zunächst unspezifische Verbindung
zweier Komponenten repräsentiert. In [OMG07-2, S. 175] heißt es:
„[Connector] specifies a link that enables communication between two or more
instances. [. . . ] The link may be realized by something as simple as a pointer or by
something as complex as a network connection. In contrast to associations, which
specify links between any instance of the associated classifiers, connectors specify
links between instances playing the connected parts only.”
Diese allgemeine Definition eines Verbindungselements ist sehr gut geeignet für die Verwendung
in einem Anforderungsmodell, da so implizite Annahmen über die Realisierung der Verbindung
ausgeschlossen werden können. Differenziert wird allerdings die Funktion des Konnektors über
ein Typ-Attribut, für das es zwei Ausprägungen gibt: Den delegate-Konnektor und den assembly-
Konnektor. Die erste Funktion wird in der UML-Spezifikation definiert als:
„A delegation connector is a connector that links the external contract of a component
(as specified by its ports) to the internal realization of that behavior by the
component’s parts. It represents the forwarding of signals (operation requests and
events): a signal that arrives at a port that has a delegation connector to a part or to
another port will be passed on to that target for handling.” [OMG07-2, S. 154]
Ein Konnektor muss demnach dann vom Typ delegate sein, wenn er Stoff- oder Informationsflüsse
von einem Port an der Systemgrenze zur verantwortlichen Subsystemkomponente weiterleitet.
Dies ist im Bild 5.21 auf der nächsten Seite beispielsweise beim Konnektor vom Port
„p_Einschaltsensor” zur Komponente „ES” der Fall. Diese Verknüpfung beider Elemente sagt aus,
dass die Komponente „ES” diejenige Funktionalität innerhalb des SuB realisiert, die jenes über
den Port „p_Einschaltsensor” seiner Umwelt anbietet.
Die assembly-Ausprägung eines Konnektors hingegen dient der Subsystem-internen Verbindung
zweier funktional abhängiger Teile, wobei der eine Teil dem anderen Teil eine benötigte Dienstleistung
anbietet. In der UML-Spezifikation heißt es:
„An assembly connector is a connector between two components that defines that
one component provides the services that another component requires.” [OMG07-2,
S. 154]
Ein solches Verhältnis besteht beispielsweise zwischen BÜ-Steuerung und Einschaltsensor. Die
BÜ-Steuerung benötigt für das Einschalten der Sicherungsanlage die Information über einen
sich näherndes Schienenfahrzeug. Der Teil „ES” stellt diese Funktionalität bereit und liefert entsprechende
Ausgaben an die BÜ-Steuerung. Daher sind beide Teile über ein assembly-Konnektor
miteinander verbunden.
Mit den beschriebenen Modellelementen sind die ersten beiden in 5.1.4.5.1beschriebenen Anforderungen
an eine Subsystemsicht erfüllt. Die Zuteilung des Systemverhaltens auf die einzelnen
Subsystemkomponenten hingegen erfolgt nicht in den Diagrammen der Subsystemsicht, sondern
in den Verhaltensdiagrammen der Systemebene durch Swimlanes. Diese Konstrukte sind
in 5.1.4.4.6 beschrieben.
Die verwendeten Modellelemente sind in Tabelle 5.6 zusammengefasst.
73