8 Angenommene Spezifikation UML Ocl 2,0 Wenn die Begrenzung in einem Diagramm, mit dem korrekten Stereotype und den gestrichelten Linien gezeigt wird, um es an sein Kontext anzuschließen Element, dort ist keine Notwendigkeit an einer ausdrücklichen Kontexterklärung im Test der Begrenzung. Die Kontexterklärung ist wahlweise freigestellt. 7,3,3 Invariants Der OCL-Ausdruck kann ein Teil von einem unveränderlichen sein, das eine Begrenzung ist, die als "unveränderliches" stereotyped ist. Wenn das unveränderliche ÏST mit einem Klassifikator, der letzte gekennzeichnet als eine "Art" in diesem Kapitel verbunden. Ein OCL-Ausdruck ist von ein unveränderliches schreiben Sie und muß für alle Fälle dieser Art zutreffend jederzeit sein. (Anmerkung, daß alle OCL-Ausdrücke, die invariants ausdrücken, sind von der Art Boolesch.) Z.B. wenn im Kontext der Firma Tabelle 1 auf Seite eintippen Sie 7, der folgende Ausdruck würden spezifizieren unveränderlich, dem die Zahl Angestellten 50 immer übersteigen muß: self.numberOfEmployees > 50 wo Selbst ist ein Fall der Artfirma. (wir können Selbst ansehen als der Gegenstand von, dem wir das Auswerten beginnen Ausdruck.) Dieses schreiben unveränderliche Einflüsse für jeden Fall der Firma. Die Art des Kontextfalls eines OCL-Ausdruckes, der ein Teil von einem unveränderlichen ist, wird mit dem Kontext geschrieben Schlüsselwort, wie folgt gefolgt vom Namen der Art. Das Aufkleber- inv: erklärt die Begrenzung, um eine "unveränderliche" zu sein Begrenzung. Kontext Firma inv : self.numberOfEmployees > 50 In den meisten Fällen der Schlüsselwort- Selbst kann, weil der Kontext klar ist, wie in die oben genannten Beispiele gefallen werden. Als Alternative für Selbst kann ein anderer Name definiert werden, die Rolle von Selbst spielend: Kontext c: Firma inv : c.numberOfEmployees > 50 Dieses unveränderliche ist bis das vorhergehende gleichwertig. Beliebig kann der Name der Begrenzung nach dem inv geschrieben werden Schlüsselwort, erlaubend, daß die Begrenzung vorbei bezogen wird Name. Im folgenden Beispiel ist der Name der Begrenzung enoughEmployees . Im metamodel UML 1,4 ist dieser Name a (Meta-)attribute-)attribute der metaclaßbegrenzung, die von ModelElement übernommen wird. Kontext c: Firma inv- enoughEmployees: c.numberOfEmployees > 50 7,3,4 Vor und Postconditions Der OCL-Ausdruck kann ein Teil einer Vorbedingung oder des Postcondition sein und "Vorbedingung" und "postcondition" entsprechen Stereotypes der Begrenzung verbanden mit einem Betrieb oder anderer Verhaltenseigenschaft. Der Kontextfall- Selbst ist dann Fall der Art, die den Betrieb oder die Methode als Eigenschaft besitzt. Die Kontexterklärung in OCL verwendet den Kontext Schlüsselwort, gefolgt von der Art- und Betriebserklärung. Der Stereotype der Begrenzung wird gezeigt, indem man die Aufkleber setzt ' vor: ', und ' Pfosten: ', vor den tatsächlichen Vorbedingungen und dem Postconditions Kontext Typename::operationName(param1: Type1...): ReturnType vor : param1 >... Pfosten : Resultat =...