Modellbasierte Anforderungsspezifikation sicherheitskritischer ...
Modellbasierte Anforderungsspezifikation sicherheitskritischer ...
Modellbasierte Anforderungsspezifikation sicherheitskritischer ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Zur vollständigen Beschreibung fehlt nun noch die genaue Spezifikation der Informationsflüsse<br />
zwischen dem SuB und den Akteuren. Dies erfolgt durch item flows (Objektflüsse) [OMG07-1,<br />
S. 64] zwischen Akteur und entsprechendem Port des SuB. Die durch die Objektflüsse übertragenen<br />
Informationen lassen sich durch signals (Signale) modellieren. Dabei handelt es sich<br />
um eine stereotypisierte Klasse, die für den Austausch von Informationen zwischen Objekten<br />
verwendet wird [OMG07-2, S. 447].<br />
Ein Ausschnitt aus dem Struktur-Metamodell (Bild 5.6) definiert die in diesem Unterkapitel beschriebenen<br />
strukturellen Eigenschaften der Systemabgrenzungssicht mit SysML-Sprachelementen.<br />
Tabelle 5.2 auf Seite 46 zeigt zusammenfassend, welche SysML-Sprachelemente für die Systemabgrenzungssicht<br />
verwendet werden.<br />
Inhaltselement<br />
SysML-<br />
Sprachelement<br />
Anmerkungen<br />
Diagrammart BlockDefinitionDiagram Entspricht dem Klassendiagramm der UML<br />
Festlegung des Systems unter<br />
Betrachtung (SuB)<br />
Andere Systeme in der Umgebung des<br />
SuB<br />
Inputs und Outputs über die<br />
Systemgrenze<br />
Durch die Ports übertragene<br />
Informationen<br />
Informationsflüsse<br />
Ausgetauschte Informationen<br />
Block<br />
Akteur<br />
FlowPort bzw. Port<br />
FlowSpecification bzw.<br />
Interfaces<br />
Item Flows<br />
Signals<br />
Ausgezeichnet durch einen entsprechenden<br />
Stereotypen, z.B. „SuB”. Nur ein solcher<br />
Block kann im Teilmodell enthalten sein.<br />
Auch technische Systeme im umgebenden<br />
Supersystem werden durch Akteure<br />
dargestellt.<br />
Konsistenzkriterium: Die Menge der Akteure<br />
muss der Menge der Akteure in der<br />
Systemfunktionssicht und der Szenariensicht<br />
entsprechen; die Systemverhaltenssicht<br />
muss mindestens eine Teilmenge der Akteure<br />
enthalten (siehe 5.1.5.2).<br />
FlowPorts für kontinuierliche oder Stoffflüsse,<br />
Ports für Service-orientierte Schnittstellen<br />
Konsistenzkriterium: Die Menge der Ports<br />
muss der Menge der Ports in der<br />
Subsystemsicht entsprechen (siehe 5.1.5.4).<br />
Die Spezifikation der Informationsflüsse kann<br />
auch in separaten Diagrammen erfolgen<br />
Konsistenzkriterium: Die Menge der<br />
Informationsflüsse zwischen SuB und<br />
Akteuren muss der Menge der<br />
Informationsflüsse in der<br />
Systemfunktionssicht entsprechen (siehe<br />
5.1.5.3).<br />
Nutzlast wird durch Attribute modelliert.<br />
Konsistenzkriterium: Die Menge der Signale<br />
muss der Menge der Signale in der<br />
Systemfunktionssicht, der Szenariensicht, der<br />
Verhaltenssicht und der Subsystemsicht<br />
entsprechen (siehe 5.1.5.1).<br />
Tabelle 5.1.: Modellierungselemente für die Systemabgrenzung<br />
Zu berücksichtigen sind weiterhin die Konsistenzbedingungen zu anderen Sichten im Anforde-<br />
40