Angenommene Spezifikation UML Ocl 2,0 1 1 Bereich Diese Spezifikation enthält definiert die Gegenstandbegrenzungssprache (OCL), Version 2,0. Ocl-Version 2,0 ist die Version von Ocl, der mit UML 2,0 und MOF 2,0 ausgerichtet ist. 2 Übereinstimmung Die Infrastruktur und die MOF 2,0 UML 2,0 entkernen Unterordnungen, die parallel zu diesem OCL 2,0 entwickelt werden Unterordnunganteil ein allgemeiner Kern. Die OCL-Spezifikation enthält eine gut definierte und genannte Teilmenge OCL, der ist definiert lediglich gegründet auf dem allgemeinen Kern von UML und von MOF. Dieses erlaubt, daß diese Teilmenge OCL mit beiden benutzt wird MOF und das UML, während die volle Spezifikation mit nur dem UML verwendet werden kann. Die folgenden Befolgungpunkte sind für beide Teile bemerkenswert. 1. Syntaxbefolgung. Das Werkzeug kann OCL-Ausdrücke in Übereinstimmung mit der Grammatik, einschließlich des validat- lesen und schreiben ing seine Artübereinstimmung und Übereinstimmung der Wohlgeformtheitrichtlinien gegen ein Modell. 2. Befolgung XMI. Die Werkzeugdosenexchageocl-Ausdrücke mit XMI. 3. Auswertungsbefolgung. Das Werkzeug wertet OCL-Ausdrücke in Übereinstimmung mit dem Semantikkapitel aus. Das folgende zusätzliche Befolgungpunkte sind für OCL-Experten wahlweise freigestellt, da sie von der technischen Plattform an abhängig sind welches sie ausgewertet werden. ?allInstances() ?Vorwerte und -oclIsNew() in den postconditions ? OclMessage ?, das über nicht-schiffbaren Verbindungen steuert ?, welches die privaten und geschützten Eigenschaften eines Gegenstandes zugänglich macht Die folgende Tabelle zeigt die möglichen Befolgungpunkte. Jedes bearbeitet wird erwartet, diese Tabelle auszufüllen, um zu spezifizieren, welches Befolgungpunkt werden gestützt. Tabelle 1. Überblick über OCL-Befolgungpunkte Teilmenge Ocl-mof-mof Voller Ocl Syntax XMI Auswertung - allInstances - @pre in den postcondtions - OclMessage - nicht-schiffbare Verbindungen Steuerns - zugänglich machendes proivate und geschützte Eigenschaften