Angenommene Spezifikation UML Ocl 2,0 39 SetType [ 1 ] Der Name einer Satzart ist "einstellte" in Klammern gefolgt vom Namen der Elementart. Kontext SetType inv: self.name = ' Set(' + self.elementType.name + ') ' TupleType [ 1 ] Der Name einer Tupleart umfaßt die Namen der einzelnen Teile und der Arten jener Teile. Kontext TupleType inv: Name = ' Tuple('.concat ( Sequence{1..allAttributes()->size()}->iterate (pn; s: Zeichenkette = ''| lassen Sie p: Attribut = allAttributes()->at (pn) innen ( s.concat ( (wenn (pn>1) dann ', ' sonst ''endif) concat (p.name).concat (':') concat (p.type.name) ) ) ) ).concat (')') [ 2 ] Alle Teile, die einer Tupleart gehören, haben einzigartige Namen. Kontext TupleType inv: -- richten Sie immer aus, weil Attribute einzigartige Namen haben müssen. [ 3 ] Ein Fall TupleType hat nur Eigenschaften, die Attribute sind (Tupleteile). Kontext TupleType inv: Eigenschaft->forAll (f|f.oclIsTypeOf(Attribute))