Spezifikationsmodule - Software and Systems Engineering - TUM

DataDefinition
Component
Constructor
Port
State
Selector
Transition
Input / Output
Abbildung 4.2: Abhängigkeitsgraph der Metamodellelemente
gehören zur Metamodellklasse Port. Dies hat aber keine sinnvolle Bedeutung,
da AutoFocus 2-Modelle keine bidirektionalen Schnittstellen an Komponenten
haben.
Das Beispiel setzen wir direkt in ODL um. Wir erhalten folgenden Teilausdruck:
forall pme:portMap .
pme.one.Direction.IsEntry = pme.two.Direction.IsEntry
Mit portMap ist hier die Unifikationsrelation bezüglich Port bezeichnet; im
ODL Typsystem hat portMap den Typ set (Port, Port). Direction ist lediglich
das Kapselobjekt, das den boolschen Wert IsEntry umschließt. Letzterer zeigt
die Richtung, also Ein- oder Ausgabe, an.
4.3.2 Externe Abhängigkeiten
Im Gegensatz zu internen Abhängigkeiten stellen die externen Abhängigkeiten
Bedingungen zwischen verschiedenen Modellelementklassen dar (nicht-reflexive
Kanten des Abhängigkeitsgraphen). Diese Prädikate sind Bedingungen zwischen
zwei Unifikationsrelationen mit folgender Struktur:
∀u 1 ∈ UnifRel 1 : ∃u 2 ∈ UnifRel 2 :
u 1 .one.AssociatedEntity = u 2 .one ∧ u 1 .two.AssociatedEntity = u 2 .two
Die gerichteten Kanten des Graphen in Abbildung 4.2 sind so zulesen, dass
der Startknoten der allquantifizierten Tupelmenge UnifRel 1 und der Zielknoten
der existenzquantifizierten Tupelmenge UnifRel 2 entspricht.
36