20 Angenommene Spezifikation UML Ocl 2,0 7,5,6 Navigation durch qualifizierte Verbindungen Qualifizierte Verbindungen verwenden ein oder mehr Bestimmungattribute, um die Gegenstände der Verbindung am anderen Ende vorzuwählen. Zu steuern Sie sie, wir kann die Werte für die näheren Bestimmungen der Navigation hinzufügen. Dieses wird mit eckigen Klammern getan, das Folgen Rolle-Name. Es ist zulässig, die Bestimmungwerte auszulassen, in diesem Fall das Resultat alle Gegenstände am anderen Ende von ist die Verbindung. Das folgende Beispiel ergibt ein Set(Person), das alle Kunden der Bank enthält. Kontext Bank inv : self.customer Die folgenden Beispielresultate in einer Person, Kontonummer 8764423 habend. Kontext Bank inv : self.customer[8764423 ] Wenn es mehr als ein Bestimmungattribut gibt, werden die Werte durch Kommas, im Auftrag getrennt, der in spezifiziert wird UML-Kategorienmodell. Es ist nicht zulässig, die Bestimmungattributwerte teilweise zu spezifizieren. 7,5,7 Verwenden der Namen für Pakete Innerhalb UML werden Arten in den Paketen organisiert. Ocl liefert eine Weise von ausdrücklich sich beziehen eintippt andere Pakete vorbei Verwenden eines Paket-Namepräfixes. Die Syntax ist ein Paketname, gefolgt von einem doppelten Doppelpunkt: Packagename::Typename Dieser Verbrauch von Namen ist transitiv und kann für Pakete innerhalb der Pakete auch verwendet werden: Packagename1::Packagename2::Typename 7,5,8 Zugänglich machende überlaufene Eigenschaften von supertypes Wann immer Eigenschaften innerhalb einer Art neu definiert werden, kann die Eigenschaft der supertypes mit dem oclAsType() erreicht werden Betrieb. Wann immer wir eine Kategorie B als Formationsglied von Kategorie A und eine Eigenschaft p1 von A und B haben, können wir schreiben: Kontext B inv : self.oclAsType(A).p1 -- Zugänge die Eigenschaft p1 definiert in A self.p1 -- Zugänge die Eigenschaft p1 definiert in B Tabelle 3 zeigt einem Beispiel, wo solch ein Konstruieren erforderlich ist. In diesem vorbildlichen Fragment gibt es eine Mehrdeutigkeit mit dem OCL Ausdruck auf Abhängigkeit: Kontext Abhängigkeit inv : self.source < > Selbst Dieses kann jede normale Verbindungsmittelnavigation, die von ModelElement übernommen wird, oder sie konnte auch bedeuten Navigation durch die punktierte Linie als Verbindungskategorie. Beide möglichen Navigationen verwenden den gleichen Rolle-Namen, also ist diese immer vieldeutig. Verwenden von oclAsType() wir können zwischen ihnen mit unterscheiden: Kontext Abhängigkeit inv : self.oclAsType(Dependency).source->isEmpty() inv : self.oclAsType(ModelElement).source->isEmpty()