S EMANTICS A.2.3.1 O PERATIONS Es gibt nur eine kleine Anzahl von Betrieben, die De auf Aufzählungarten ned: der Test für Gleichheit oder Verschiedenheit von zwei Aufzählungwerte. Die Syntax und die Semantik dieser allgemeinen Betriebe waren De ned im Abschnitt A.2.2 und trifft auf Aufzählungarten außerdem zu. Zusätzlich die BetriebsallInstances _t : Satz ( t ) ist De ned für jedes t T _E den Satz aller Druckfehler von zurückbringen Aufzählung: t T _E : I (allInstances _t ()) = literals(t A.2.4 O BJECT T YPES Ein zentrales Teil eines UML-Modells sind Kategorien, die die Struktur der Gegenstände in einem System beschreiben. Für jede Kategorie wir de ne, das eine entsprechende Gegenstandart, die den Satz des möglichen Gegenstandes beschreibt, instances. Die Syntax der Gegenstandarten und ihre Betriebe ist De ned durch eine Unterzeichnung S _C = (T _C , O _C ) . T _C ist der Satz der Gegenstandarten und O _C ist der Satz von Unterschriften, die Betriebe auf Gegenstandarten beschreiben. D EFINITION A.19 (S YNTAX DER GEGENSTANDCArten Lassen Sie M seien Sie ein Modell mit einem LASS des Satzes C von den Kategoriennamen. Der Satz T _C des Gegenstandes ist Arten De ned so daß für jede Kategorie c C LASS es gibt eine Art t T _C den gleichen Namen wie die Kategorie c haben . Wir de ne die folgenden zwei Funktionen für das Diagramm einer Kategorie zu seiner Art und umgekehrt. typeOf: C LASS T _C classOf: T _C C LASS Die Deutung der Kategorien wird für De verwendet, welches die Semantik der Gegenstandarten ning ist. Der Satz von Gegenstandidentiers I _{C- LASS} (c wurde in De Nition A.10 auf Seite 7 eingeführt. D EFINITION A.20 (S EMANTICS DER GEGENSTANDCArten Die Semantik einer Gegenstandart t T _C mit classOf( t ) = c ist De ned als I ( t ) = I _{C- LASS} (c { } . In der Zusammenfassung ist das Gebiet einer Gegenstandart der Satz von Gegenstandidentiers, die De für die Kategorie und seine Kinder ned. unde ned Wert, der mit der Art nur vorhanden ist, nicht, welches die Kategorie uns erlaubt, mit nicht den verweisenden Werten zu bearbeiten zu irgendeinem vorhandenen Gegenstand. Dieses ist z.B. nützlich wenn wir einen Navigationsausdruck zeigend auf eine Kategorie mit haben Vielfältigkeit 0,,1 . Das Resultat des Navigationsausdruckes ist ein Wert, der auf den tatsächlichen Gegenstand nur wenn ein Ziel sich bezieht Gegenstand besteht. Andernfalls ist das Resultat das unde ned Wert. A.2.4.1 O PERATIONS Es gibt vier unterschiedliche Arten Betriebe, die das speci c zum Einwenden der Arten sind. ? Prede ned Betriebe : Diese sind Betriebe, die implizit De ned in OCL für alle Gegenstandarten sind. ?- Attributbetriebe : Ein Attributbetrieb erlaubt Zugang zum Attributwert eines Gegenstandes in einem gegebenen System Zustand. Ocl 2,0 R EVISED S UBMISSION V ERSION 1,5, J UNE 3, 2002 A-13