3-94 OMG-OMG-MetacGegenstand-Service, v1.4 April 2002 3 dann Set{TypeAlias, Begrenzung, Umbau, StructureField } - > includesAll(- Selbst contentTypes()) sonst Set{TypeAlias, Begrenzung, Umbau } - > includesAll(- Selbst contentTypes()) [ C-18 ] < Placeholder für eine gelöschte Begrenzung > [ C-19 ] DataTypesHaveNoSupertypes format1: DATA_TYPES_HAVE_NO_SUPERTYPES format2: data_types_have_no_supertypes Auswertungspolitik: sofortig Beschreibung: Erbschaft/Verallgemeinerung ist nicht auf DataTypes anwendbar. Kontext DataType inv : Selbstsupertypes - > isEmpty [ C-20 ] DataTypesCannotBeAbstract format1: DATA_TYPES_CANNOT_BE_ABSTRACT format2: data_types_cannot_be_abstract Auswertungspolitik: sofortig Beschreibung: Ein DataType kann nicht abstrakt sein. Kontext DataType inv : nicht SelbstisAbstract [ C-21 ] ReferenceMultiplicityMustMatchEnd format1: REFERENCE_MULTIPLICITY_MUST_MATCH_END format2: reference_multiplicity_must_match_end Auswertungspolitik: aufgeschoben Beschreibung: Die Vielfältigkeit als Referenz muß dieselbe wie die Vielfältigkeit sein für das bezogene AssociationEnd. Kontext Hinweis inv : Selbstmultiplicity = SelbstreferencedEnd.multiplicity