S EMANTICS III. t = OclAny für alles t ( T _B T _E T _C ) . iv. OclVoid = t . V. Satz (t = Ansammlung (t Reihenfolge ( t ) = Ansammlung ( t ) und Beutel ( t ) = Ansammlung ( t ). VI. Wenn t ⁰ = t dann Satz ( t ⁰ = Satz (t Reihenfolge (t ⁰ = Reihenfolge (t Beutel (t ⁰ = Beutel (t und Ansammlung ( t ⁰ ) = Ansammlung (t VII. Wenn t ⁰ _I = t _I für i = 1 . . . n und n = m dann Tuple ( L ₁ : t ⁰ ₁ . . . L _n : t ⁰ _n . . . L _m : t ⁰ _m ) = Tuple (L ₁ : t ₁ . . . L _n : t _n ). viii. Wenn classOf( t ⁰ _c ) classOf(t _c ) dann t ⁰ _c = t _c . Wenn eine Art t ⁰ ist ein Formationsglied einer anderen Art t (d.h. t ⁰ = t ), sagen wir das t ⁰ paßt sich an an t . Artübereinstimmung ist dazugehörig mit der Grundregel von Ersetzbarkeit. Ein Wert von Art t ⁰ kann gleichgültig wo verwendet werden ein Wert von Art t wird erwartet. Dieses Richtlinie ist De ned formaler im Abschnitt A.3.1, der de Nes die Syntax und die Semantik von Ausdrücken. Die Grundregel von Ersetzbarkeit und von Deutung der Arten als Sätze schlagen vor, daß die Arthierarchie sein sollte De ned als Teilmengenrelation auf den Artgebieten. Folglich für eine Art t ⁰ ein Formationsglied von t sein fordern wir daß Deutung von t ⁰ ist eine Teilmenge der Deutung von t . Sie folgt daß jeder Betrieb Annehmen von Werten von Art t hat die gleiche Semantik für Werte von Art t ⁰ da I ( ) bereits ist Gutde ned für Werte innen I ( t ⁰ ) : Wenn t ⁰ = t dann I ( t ⁰ ) I (t für alle Arten t ⁰ , t T . A.2.8 D ATA S IGNATURE Wir haben jetzt vorhanden alle Elemente, die zu de ne die nal Datenunterzeichnung für OCL-Ausdrücke notwendig sind. Die Unterzeichnung stellt den grundlegenden Satz der syntaktischen Elemente für Gebäudeausdrücke zur Verfügung. Es de Nes die Syntax und die Semantik der Arten, die Arthierarchie und der Satz von Betriebsde ned auf Arten. D EFINITION A.28 (UNTERZEICHNUNG D ATA Lassen Sie ^? T ist der Satz der Nichtansammlungsarten: ^? T = T _B T _E T _C T _S . Die Syntax einer Datenunterzeichnung über einem Gegenstand Modell M ist eine Struktur S _M = (T _M , = O _M ) wo I. T _M = T _Expr ( ^? T) , II. = ist eine Arthierarchie Übert _M III. O _M = O _{T Expr} ( ^? _T) O _B O _E O _C O _S . Die Semantik von S _M ist eine Struktur I (S _M ) = (I (T _M ) , I (= , I (O _M )) wo I. I ( T _M ) weist jedes zu t T _M eine Deutung I ( t ) . II. I ( = ) deutet für alle Arten t an ⁰ , t T _M daß I ( t ⁰ ) I (t wenn t ⁰ = t . III. I (O _M ) weist jeden Betrieb zu t ₁ × · · · × t _n t O _M eine Gesamtfunktion I ( ): I ( t ₁ ) × · · · × I (t _n ) I (t . Ocl 2,0 R EVISED S UBMISSION V ERSION 1,5, J UNE 3, 2002 A-23