Angenommene Spezifikation UML Ocl 2,0 21 Tabelle 3 - Zugänglich machendes Überlaufenes EigenschaftscBeispiel 7,5,9 Vorbestimmte Eigenschaften auf allen Gegenständen Es gibt einige Eigenschaften, die auf alle Gegenstände zutreffen, und wird in OCL vorbestimmt. Diese sind: oclIsTypeOf (t: OclType): Boolesch oclIsKindOf (t: OclType): Boolesch oclInState (s: OclState): Boolesch oclIsNew () : Boolesch oclAsType (t: OclType): Fall von OclType Der Betrieb ist oclIsTypeOf Resultate in zutreffendem wenn die Art vom Selbst- und von t sind dieselben. Z.B.: Kontext Person inv : self.oclIsTypeOf(-Person) -- ist zutreffend inv : self.oclIsTypeOf(-Firma) -- ist falsch Die oben genannte Eigenschaft beschäftigt die direkte Art eines Gegenstandes. Das oclIsKindOf Eigenschaft stellt ob t fest ist irgendein direkte Art oder eins der supertypes eines Gegenstandes. Das Betriebs- oclInState(s) Resultate in zutreffendem, wenn der Gegenstand im Zustand s ist . Werte für s sind die Namen der Zustände in statemachine(s) angebracht zum Klassifikator des Gegenstandes . Für genistete Zustände können die statenames mit dem Doppelten kombiniert werden Doppelpunkt ':: ', . . . D-ep-en-Den cy targ und Quelle * * M-OdelElemen t N-ote V alu e: U-ninterprete d Auf Weg von Bereitschafts NoPower