Angenommene Spezifikation UML Ocl 2,0 9 Der Namenß$+0 selbst im Ausdruck verwendet werden kann das Beziehen auf den Gegenstand, auf dem der Betrieb benannt wurde. Das reservierte Wort Resultat bezeichnet das Resultat des Betriebes, wenn es einen gibt. Die Namen der Parameter ( param1 ) kann in auch verwendet werden Ocl-Ausdruck. Im Beispieldiagramm können wir schreiben: Kontext Person::income(d: Datum): Ganzzahl Pfosten : Resultat = 5000 Das postcondition nach beliebig können der Name der Vorbedingung oder vor geschrieben werden oder Pfosten Schlüsselwort, Gewähren namentlich zu beziehende Begrenzung. Im folgenden Beispiel ist der Name der Vorbedingung parameterOk und der Name vom postcondition ist resultOk . Im UML-metamodel sind diese Namen die Werte des Attribut- Namens von metaclaßbegrenzung, die von ModelElement übernommen wird. Kontext Typename::operationName(param1: Type1...): ReturnType vor parameterOk: param1 >... Pfosten- resultOk: Resultat =... 7,3,5 PaketcKontext Die oben genannte Kontexterklärung ist genug exakt, wenn das Paket, in dem der Klassifikator gehört, von klar ist Klima. Ausdrücklich spezifizieren in welchem unveränderliches Paket, vor oder postconditionbegrenzungen gehören Sie, diese Begrenzungen kann zwischen ' Paket- ' und ' endpackage' Aussagen beiliegend sein. Die Paketaussagen haben die Syntax: Paket Package::SubPackage Kontext X inv : ... irgendein unveränderliches... Kontext X::operationName(..) vor : ... irgendeine Vorbedingung... endpackage Eine OCL-Akte (oder Strom) können, alle mögliche Zahlpaketaussagen zu enthalten und so erlauben, alle unveränderliche, Vorbedingungen und zu schreibende und in einer Akte gespeichert postconditions. Diese Akte kann mit einem UML-Modell als unterschiedliches Wesen koexistieren. 7,3,6 BetriebscKörpercAusdruck Ein OCL-Ausdruck kann verwendet werden, um das Resultat eines Fragenbetriebes anzuzeigen. Dieses kann mit der folgenden Syntax getan werden: Kontext Typename::operationName(param1: Type1...): ReturnType Körper : -- irgendein Ausdruck Der Ausdruck muß an die Resultatsart des Betriebes sich anpassen. Wie in vor und postconditions können die Parameter seien im Ausdruck verwendet Sie. Vor - und postconditions und die Körperausdrücke können nach einem Betrieb zusammen gemischt werden Kontext. Z.B.: Kontext Person::getCurrentSpouse(): Person vor : self.isMarried = richten aus Körper : self.mariages->select(m|m.ended = falsches).spouse 7,3,7 Ausgangs- und abgeleitete Werte Anzuzeigen ein OCL-Ausdruck kann verwendet werden, um Initiale oder abgeleiteter Wert von die ein Attribut oder Verbindungsende. Dieses kann sein getan, die folgende Syntax verwendend: