Angenommene Spezifikation UML Ocl 2,0 123 10,4,1 Wohlgeformtheitrichtlinien für das AS-Domain-Mapping.type-valuepaket CollectionValue [ 1 ] Alle Elemente in einem Ansammlungswert müssen eine Art haben, die an das elementType von seinem entsprechenden CollectionType sich anpaßt. inv KontextCollectionValue: Elemente->forAll(e: Element|e.value.model.conformsTo(model.elementType)) DomainElement Keine zusätzlichen Wohlgeformtheitrichtlinien. Element Keine zusätzlichen Wohlgeformtheitrichtlinien. EnumValue Keine zusätzlichen Wohlgeformtheitrichtlinien. ObjectValue [ 1 ] Alle Schwergängigkeiten in einem Gegenstandwert müssen den Attributen oder Verbindungen entsprechen, die im Klassifikator des Gegenstandes definiert werden. inv KontextObjectValue: Geschichten->forAll(snapshot|snapshot.bindings->forAll(b| self.model.allAttributes()->exists (attr|b.name = attr.name) oder self.model.allAssociationEnds()->exists (Rolle|b.name = role.name))) OclMessageValue Keine zusätzlichen Wohlgeformtheitrichtlinien. PrimitiveValue Keine zusätzlichen Wohlgeformtheitrichtlinien. SequenceTypeValue Keine zusätzlichen Wohlgeformtheitrichtlinien. SetTypeValue Keine zusätzlichen Wohlgeformtheitrichtlinien. StaticValue Keine zusätzlichen Wohlgeformtheitrichtlinien. TupleValue [ 1 ] Die Elemente in einem Tuplewert müssen eine Art haben, die an die Art der entsprechenden Tupleteile sich anpaßt. inv KontextTupleValue: Element->forAll(elem| lassen Sie correspondingPart: Attribut =