April 2002 Omg-mof, v1.4: Vorbildliche Begrenzungen MOF 3-91 3 Kontext GeneralizableElement inv : SelbstallSupertypes() - > forAll(s|s < > Selbst ) [ C-7 ] SupertypeKindMustBeSame format1: SUPERTYPE_KIND_MUST_BE_SAME format2: supertype_kind_must_be_same Auswertungspolitik: sofortig Beschreibung: Müssen supertypes von einem GeneralizableElement von der gleichen Art wie sein das GeneralizableElement selbst. Kontext GeneralizableElement inv : Selbstsupertypes - > forAll(s|s.oclType() = SelbstoclType()) [ C-8 ] ContentsMustNotCollideWithSupertypes format1: CONTENTS_MUST_NOT_COLLIDE_WITH_SUPERTYPES format2: contents_must_not_collide_with_supertypes Auswertungspolitik: sofortig Beschreibung: Die Namen des Inhalts von einem GeneralizableElement sollten nicht stoßen Sie mit den Namen des Inhalts von direkten oder indirekten irgendwelchen zusammen supertype. Kontext GeneralizableElement inv : gelassen superContents = SelbstallSupertypes() - > collect(s|s.contents) innen Selbstcontents - > forAll(m1| superContents - > forAll(m2| m1.name = m2.name deutet an m1 = m2)) [ C-9 ] DiamondRuleMustBeObeyed format1: DIAMOND_RULE_MUST_BE_OBEYED format2: diamond_rule_must_be_obeyed Auswertungspolitik: sofortig Beschreibung: Mehrfache Erbschaft muß die Diamantrichtlinie befolgen. Kontext GeneralizableElement inv : gelassen superNamespaces = Selbstsupertypes - > collect(s|s.extendedNamespace) in superNamespaces - > Wert - > isUnique(s|s.name)