Angenommene Spezifikation UML Ocl 2,0 15 Unbestimmte Werte Einige Ausdrücke werden, wenn sie, einen unbestimmten Wert zu haben ausgewertet werden. Zum Beispiel Typecasting mit oclAsType() zu einer Art daß der Gegenstand sich nicht stützt oder, das ->first()element einer leeren Ansammlung erhalten, ergibt unbestimmtes. Im allgemeinen ein Ausdruck, in dem eins der Teile unbestimmter Wille selbst ist, ist unbestimmt. Es gibt etwas wichtige Ausnahmen zu diesem Richtlinie, jedoch. Zuerst gibt es die logischen Operatoren: ? zutreffende Oder-ED mit allem ist zutreffend ? falsche Und-ED mit allem ist falsch das ?, das falsch ist, DEUTET alles ist zutreffend an ?, das alles zutreffendes ANDEUTET, ist zutreffend Die Richtlinien für ODER und UND sind ungeachtet des Auftrages der Argumente gültig und sie sind ob der Wert von gültig anderer Vor-Ausdruck bekannt oder nicht. Der Wenn-Ausdruck ist eine andere Ausnahme. Er ist, wie die gewählte Niederlassung gültig ist, ungeachtet des Wertes von gültiges so langes die andere Niederlassung. Schließlich gibt es einen ausdrücklichen Betrieb für die Prüfung, wenn der Wert eines Ausdruckes unbestimmtes oclIsUndefined() ist ist Betrieb auf OclAny, das zutreffendes ergibt, wenn sein Argument unbestimmt und anders falsch ist. 7,5 Gegenstände und Eigenschaften Ocl-Ausdrücke können auf Klassifikatoren, z.B. Arten, Kategorien, Schnittstellen, die Verbindungen (dienend als Arten) und datatypes sich beziehen. Auch alle Attribute, Verbindung-Enden, Methoden und Betriebe ohne Nebenwirkungen, die auf diesen Arten definiert werden, etc. können sein verwendet. In einem Kategorienmodell wird ein Betrieb oder eine Methode definiert, um Seite-Effekt-frei zu sein, wenn das isQueryattribut der Betriebe ist zutreffend. Für dieses Dokument beziehen uns wir Attribute, Verbindung-Enden und auf Seite-Effekt-freie Methoden und Betriebe als seiend Eigenschaften . Eine Eigenschaft ist ein von: ? ein Attribut ? ein AssociationEnd ? ein Betrieb mit isQuery zutreffend sein ? eine Methode mit isQuery zutreffend sein Der Wert einer Eigenschaft auf einem Gegenstand, der in einem Kategoriendiagramm definiert wird, wird in einem OCL-Ausdruck durch einen Punkt spezifiziert gefolgt vom Namen der Eigenschaft. Kontext Person inv : self.isMarried Wenn Selbst ist ein Hinweis auf einem Gegenstand, dann self.property ist der Wert der Eigenschaft Eigenschaft an Selbst . 7,5,1 Eigenschaften: Attribute Z.B. wird das Alter einer Person als self.age geschrieben Kontext Person inv : self.age > 0