Angenommene Spezifikation UML Ocl 2,0 133 11,2,3 OclVoid Die Art OclVoid ist eine Art, die an alle weiteren Arten sich anpaßt. Sie hat einen einzelnen Fall, der OclUndefined genannt wird. Irgendwelche propertycall traf auf Resultaten OclUndefined in OclUndefined, außer dem BetriebsoclIsUndefined() zu. OclVoid ist selbst ein Fall des metatypeklassifikators. 11,2,4 Betriebe und Wohlgeformtheitrichtlinien OclAny = (object2: OclAny): Boolesch Richten Sie wenn Selbst aus ist der gleiche Gegenstand wie object2 . Infix-Operator. Pfosten: Resultat = (Selbst- = object2) < > (object2: OclAny): Boolesch Richten Sie wenn Selbst aus ist ein anderer Gegenstand von object2 . Infix-Operator. Pfosten: Resultat = nicht (Selbst- = object2) oclIsNew(): Boolesch Nur Dose wird in einem postcondition benutzt. Wertet aus, um auszurichten wenn der Selbst wird während des Durchführens des Betriebes verursacht. D.h. er nicht bestehen Sie zur Vorbedingungzeit. Pfosten: self@pre.oclIsUndefined() oclIsUndefined(): Boolesch Wertet aus, um auszurichten wenn der Selbst ist OclUndefined gleich. Pfosten: Resultat = self.isTypeOf(OclVoid) oclAsType(typename: OclType): T Wertet zum Selbst aus wo Selbst ist von der Art, die durch typename gekennzeichnet wird. Typename kann im Format sein Package::subPackage::classifier. Pfosten: (Resultat = Selbst) und result.oclIsTypeOf(-typeName) oclIsTypeOf(typename: OclType): Boolesch Wertet aus, um auszurichten wenn der Selbst ist von der Art, die durch typename gekennzeichnet wird. Typename kann im Format sein Package::subPackage::classifier. Pfosten: -- TBD oclIsKindOf(typename: OclType): Boolesch Wertet aus, um auszurichten wenn der Selbst paßt sich an die Art an, die durch typename gekennzeichnet wird. Typename kann im Format sein Package::subPackage::classifier. Pfosten: -- TBD oclIsInState(statename: OclState): Boolesch Wertet aus, um auszurichten wenn der Selbst ist im Zustand indentified durch statename. Statename kann im Format Class::State::subState sein. Pfosten: -- TBD