3-92 OMG-OMG-MetacGegenstand-Service, v1.4 April 2002 3 [ C-10 ] NoSupertypesAllowedForRoot format1: NO_SUPERTYPES_ALLOWED_FOR_ROOT format2: no_supertypes_allowed_for_root Auswertungspolitik: sofortig Beschreibung: Wenn ein Element Generalizable als Wurzel gekennzeichnet wird, kann es nicht irgendwelche haben supertypes. Kontext GeneralizableElement inv : SelbstisRoot deutet Selbstsupertypes - > isEmpty an [ C-11 ] SupertypesMustBeVisible format1: SUPERTYPES_MUST_BE_VISIBLE format2: supertypes_must_be_visible Auswertungspolitik: aufgeschoben Beschreibung: Ein müssen sofortige supertypes GeneralizableElement s alle zu sichtbar sein es. Kontext GeneralizableElement inv : Selbstsupertypes - > forAll(s| SelbstisVisible(s)) [ C-12 ] NoSubtypesAllowedForLeaf format1: NO_SUBTYPES_ALLOWED_FOR_LEAF format2: no_subtypes_allowed_for_leaf Auswertungspolitik: sofortig Beschreibung: Ein GeneralizableElement kann nicht von einem GeneralizableElement übernehmen definiert als Blatt. Kontext GeneralizableElement inv : Selbstsupertypes - > forAll(s| nicht s.isLeaf) [ C-13 ] AssociationsCannotBeTypes format1: ASSOCIATIONS_CANNOT_BE_TYPES format2: associations_cannot_be_types Auswertungspolitik: sofortig Beschreibung: Eine Verbindung kann nicht die Art von einem TypedElement sein. Kontext TypedElement inv : nicht Selbsttype.oclIsKindOf(Association)