Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

der Subsystemarchitektur (siehe 5.1.4.5.2). Eine Zuteilung weist dabei einem Verhaltenselement
(beispielsweise einer Aktion) ein Strukturelement (beispielsweise einen Port oder eine Subsystemkomponente)
zu und drückt darüber aus, welcher Teil des Systems für die Realisierung des
Verhaltens verantwortlich ist. Im Modell erfolgt die Zuteilung durch eine allocate-Beziehung
vom Verhaltens-Element auf das Struktur-Artefakt. Die allocate-Beziehung kann laut SysML-
Spezifikation eben genau für den beschriebenen Zweck verwendet werden:
„Behavior allocation relates to the systems engineering concept segregating form
from function. This concept requires independent models of “function” (behavior)
and “form” (structure), and a separate, deliberate mapping between elements in
each of these models.” [OMG07-1, S. 133]
Einige der in 5.1.4.4.5 beschriebenen Verhaltenskonstrukte benötigen diese Zuteilung zwingend,
für andere Elemente ist sie optional. Zwingend erforderlich ist eine Zuteilung bei der Modellierung
des kontinuierlichen Versendens von Informations- oder Stoffströmen. Erst durch die Verknüpfung
eines Objektknotens mit einem Strukturartefakt kann ausgedrückt werden, dass ein
kontinuierlicher Strom dieses Objektes über die entsprechende Komponente verschickt wird.
Weiterhin muss unterschieden werden zwischen Zuteilungen auf Portdefinitionen des SuB und
der Zuteilung auf Subsysteme:
• Eine Zuteilung auf Portdefinitionen des SuB ist dann erforderlich, wenn im betrachteten
Teilmodell keine weitere Unterteilung in Subsysteme vorgenommen wird, aber Verhaltenskonstrukte
zum Versenden von Signalen oder Objekten vorhanden sind. Jedes betroffene
Verhaltenskonstrukt muss dann auf denjenigen Port oder FlowPort zugewiesen werden,
über den das Signal oder der Objektstrom versendet werden soll.
• Existiert im aktuellen Teilmodell eine Subsystemarchitektur, dann müssen alle Aktivitäten
auf die entsprechenden Subsysteme alloziiert werden. Sollte dabei festgestellt werden,
dass eine Aktivität mehr als einer Subsystemkomponente zugewiesen werden müsste, ist
dies ein Indiz dafür, dass die Aktivität in weitere Subaktivitäten aufgeteilt werden sollte,
bis eine eindeutige Zuteilung möglich ist. Dadurch, dass alle Portdefinitionen des SuB in
der Subsystemarchitektur auf Subsysteme delegiert werden (siehe 5.1.4.5.2), ist mit der
Alloziierung einer Aktivität auf eine entsprechende Subsystemkomponente auch implizit
eine Alloziierung auf den per delegate-Beziehung verbundenen Port enthalten.
Eine sehr intuitiv zu verwendende Methode zur Zuordnung von Verhaltensartefakten auf Strukturelemente
besteht in der Verwendung von AllocateActivityPartitions, auch Swimlanes genannt.
Dabei handelt es sich um rechteckige Bereiche innerhalb eines Verhaltensdiagramms, die jeweils
ein Strukturelement repräsentieren. Befindet sich ein Verhaltenselement innerhalb eines dieser
Bereiche, wird automatisch eine allocate-Beziehung zur zugehörigen Komponente erzeugt. In
der SysML-Spezifikation wird die Funktion der AllocateAcitvityPartitions folgendermaßen definiert:
„AllocateActivityPartition is used to depict an «allocate» relationship on an Activity
diagram. The AllocateActivityPartition is a standard UML2::ActivityPartition, with
modified constraints [. . . ].” [OMG07-1, S. 134]
Im Anforderungsmodell ist die Verwendung von Swimlanes zwar empfohlen, aber optional. Eine
Allocate-Beziehung kann auch manuell über die entsprechenden Funktionen des verwendeten
Modellierungswerkzeugs erstellt werden. Bild 5.19 zeigt die Nutzung von AllocateAcitvityPartitions
zur Zuteilung von Aktivitäten.
67