März 2003 OMG-Vereinheitlicht, Sprache, v1.5 Modellierend 6-13 Begrenzungs-SprachcSpezifikation Mit 6 Gegenständen Der Betrieb selbst konnte durch eine postconditionbegrenzung definiert werden. Dieses ist eine Begrenzung das stereotyped als "postcondition". Der Gegenstand, der durch den Betrieb zurückgebracht wird, kann beziehen Sie durch Resultat . Es nimmt die folgende Gestalt an: Kontext Person::income (d: Datum): Ganzzahl Pfosten : Resultat = Alter * 1000 Die Recht-Handseite dieser Definition kann auf den Betrieb sich beziehen, der definiert wird; das heißt, die Definition kann rekursives so langes sein, wie die Rekursion nicht endlos ist. Die Art von Resultat ist die Rückholart des Betriebes, der Ganzzahl im oben genannten Beispiel ist. Sich einen Betrieb oder auf eine Methode, die einen nicht Parameter, nimmt Klammern mit beziehen leere Argumentliste sind vorgeschrieben: Kontext Firma inv : self.stockPrice() > 0 6,5,4 Eigenschaften: Verbindungsenden und -navigation Abfahrend von einem spezifischen Gegenstand, können wir eine Verbindung auf dem Kategoriendiagramm zu steuern beziehen Sie sich andere Gegenstände und auf ihre Eigenschaften. um so zu tun, steuern wir die Verbindung vorbei Verwenden des gegenüberliegenden Verbindung-Endes: object.rolename Der Wert dieses Ausdruckes ist der Satz der Gegenstände auf der anderen Seite des rolename Verbindung. Wenn die Vielfältigkeit des Verbindung-Endes ein Maximum von einem hat ("0..1"oder "1"), dann der Wert dieses Ausdruckes ist ein Gegenstand. Im Beispielkategoriendiagramm wenn wir beginnen im Kontext einer Firma; das heißt, Selbst ist ein Fall der Firma, wir kann schreiben Sie: Kontext Firma inv : self.manager.isUnemployed = falsch inv : self.employee->notEmpty() Im ersten unveränderlichen self.manager ist eine Person, weil die Vielfältigkeit von Verbindung ist eine. Im zweiten unveränderlichen self.employee wertet in einen Satz von aus Personen. Durch Rückstellung ergibt Navigation einen Satz. Wenn die Verbindung auf der Kategorie Diagramm wird mit { bestellt }, die Navigationsresultate in einer Reihenfolge geschmückt. Ansammlungen, wie Sätze, Beutel und Reihenfolgen werden eintippt OCL vorbestimmt. Sie haben a große Zahl der vorbestimmten Betriebe auf ihnen. Eine Eigenschaft der Ansammlung selbst ist zugänglich gemacht durch das Verwenden eines Pfeiles ' - > ' folgte vom Namen der Eigenschaft. Das folgende Beispiel ist im Kontext einer Person: Kontext Person inv : self.employer->size() < 3 Dieses wendet die Größe an Eigenschaft auf dem Satz self.employer dem die Zahl ergibt Arbeitgeber des Person- Selbst . Kontext Person inv : self.employer->isEmpty()