Angenommene Spezifikation UML Ocl 2,0 19 Falls von einer rekursiven Verbindung, ist die eine Verbindung einer Kategorie mit sich, der Name der Verbindungskategorie alleine ist nicht genug. Wir müssen die Richtung unterscheiden, in der die Verbindung gesteuert wird, sowie der Name der Verbindung Kategorie. Nehmen Sie das folgende Modell als Beispiel. Beim Steuern zu einer Verbindungskategorie wie EmployeeRanking es gibt zwei Möglichkeiten abhängig von der Richtung. Zum Beispiel im oben genannten Beispiel, können wir in Richtung zu den Angestellten steuern Ende oder die Chefs Ende. Durch das Verwenden des Namens von die Verbindungskategorie alleine, diese zwei Wahlen kann nicht bemerkenswert sein. Die Unterscheidung treffen, das rolename von Richtung, in der wir steuern möchten, wird dem Verbindungskategoriennamen hinzugefügt, der in den eckigen Klammern beiliegend ist. In Ausdruck Kontext- Person inv : self.employeeRanking[bosses]->sum() > 0 das self.employeeRanking[bosses ] wertet zum Satz von EmployeeRankings aus Gehören der Ansammlung der Chefs . Und innen der Ausdruck Kontext- Person inv : self.employeeRanking[employees]->sum() > 0 das self.employeeRanking[employees ] wertet zum Satz von EmployeeRankings aus Gehören der Ansammlung der Angestellter . Der unqualifizierte Gebrauch von dem Verbindungskategoriennamen wird nicht in solch einer rekursiver Situation erlaubt. So das folgende Beispiel ist unzulässig: Kontext- Person inv : self.employeeRanking->sum() > 0 -- UNZULÄSSIG! In einer nicht wiederholbaren Situation ist der Verbindungskategorienname alleine genug, obgleich die qualifizierte Version außerdem erlaubt wird. Folglich konnten die Beispiele beim Anfang dieses Abschnitts wie auch geschrieben werden: Kontext Person inv : self.job[employer ] 7,5,5 Navigation von den Verbindungskategorien Wir können von der Verbindungskategorie selbst zu den Gegenständen steuern, die an der Verbindung teilnehmen. Dieses ist das erfolgte Verwenden Punkt-Darstellung und die Rolle-Namen an den Verbindung-Enden. Kontext Job inv : self.employer.numberOfEmployees > = 1 inv : self.employee.age > 21 Navigation von einer Verbindungskategorie bis einen der Gegenstände auf der Verbindung liefert immer genau einen Gegenstand. Dieses ist ein Resultat der Definition von AssociationClass. Folglich ist das Resultat dieser Navigation genau ein Gegenstand, obgleich es kann als Satz mit dem Pfeil (->). verwendet werden EmployeeRanking Person Alter Chefs Angestellte * Kerbe * Tabelle 2 - Rekursive Verbindungskategorien Steuerns