Modellbasierte Anforderungsspezifikation sicherheitskritischer ...
Modellbasierte Anforderungsspezifikation sicherheitskritischer ...
Modellbasierte Anforderungsspezifikation sicherheitskritischer ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Menge an Informationsflüssen verwendet werden. Daher muss für die Mengen I Systemabgrenzungsicht<br />
und I Systemfunktionssicht gelten<br />
I Systemabgrenzungssicht = I Systemfunktionssicht = I (5.4)<br />
wenn I = {I 1 ,I 2 ,...,I n } die Menge aller Informationsflüsse im Modell ist.<br />
5.1.5.4. Konsistenz der Ports<br />
In der Systemabgrenzungssicht und in der Subsystemsicht muss die gleiche Menge an Ports verwendet<br />
werden. Ist die Menge der Ports im Anforderungsmodell definiert als P = {P 1 ,P 2 ,...,P n },<br />
so muss für die Menge an Ports<br />
• P Systemabgrenzungssicht in den Diagrammen der Systemabgrenzungssicht<br />
• P Subsystemsicht in den Diagrammen der Subsystemsicht<br />
gelten:<br />
P Systemabgrenzungssicht = P Subsystemsicht = P (5.5)<br />
5.1.5.5. Konsistenz der Allokationen<br />
Bei der Zuteilung von Aktivitäten auf Strukturartefakte wird gemäß 5.1.4.4.6 zwischen zwei Fällen<br />
unterschieden: Existiert keine Subsystemarchitektur, werden Aktionen zum Senden von Objekten,<br />
Objektknoten und Aktionen zum Empfang von Signalen den zugehörigen Port-Definitionen<br />
zugeteilt. Die Metamodell-Abbildung dieses Konstruktes zeigt Bild 5.26.<br />
bdd [Paket] Konsistenzen [ Allokation auf Ports ]<br />
<br />
<br />
Empfangen von Signalen<br />
1<br />
<br />
<br />
Senden von Objekten<br />
1<br />
1<br />
1<br />
1<br />
<br />
<br />
Allokation<br />
1<br />
1<br />
<br />
<br />
Portdefinition<br />
<br />
<br />
Senden von Signalen<br />
1<br />
Abbildung 5.26.: Allokation auf Port-Definitionen<br />
Im anderen Fall werden alle Aktivitäten den entsprechenden Teilen der Subsystemarchitektur<br />
zugewiesen, die semi-formale Spezifikation dieses Konstruktes kann Bild 5.27 entnommen werden.<br />
82