April 2002 Omg-mof, v1.4: Vorbildliche Begrenzungen MOF 3-95 3 [ C-22 ] ReferenceMustBeInstanceScoped format1: REFERENCE_MUST_BE_INSTANCE_SCOPED format2: reference_must_be_instance_scoped Auswertungspolitik: sofortig Beschreibung: Klassifikator scoped Hinweise sind nicht sinnvoll im gegenwärtigen M1 waagerecht ausgerichtetes Berechnungsmodell. Kontext Hinweis inv : Selbstscope = # instance_level [ C-23 ] ChangeableReferenceMustHaveChangeableEnd format1: CHANGEABLE_REFERENCE_MUST_HAVE_CHANGEABLE _ ENDE format2: changeable_reference_must_have_changeable_end Auswertungspolitik: aufgeschoben Beschreibung: Ein Hinweis kann veränderbar sein nur wenn das bezogene AssociationEnd ist auch veränderbar. Kontext Hinweis inv : SelbstisChangeable = SelbstreferencedEnd.isChangeable [ C-24 ] ReferenceTypeMustMatchEndType format1: REFERENCE_TYPE_MUST_MATCH_END_TYPE format2: reference_type_must_match_end_type Auswertungspolitik: aufgeschoben Beschreibung: Das Artattribut eines Hinweises und seines bezogenen AssociationEnd sein müssen dieselben. Kontext Hinweis inv : Selbsttype = SelbstreferencedEnd.type [ C-25 ] ReferencedEndMustBeNavigable format1: REFERENCED_END_MUST_BE_NAVIGABLE format2: referenced_end_must_be_navigable Auswertungspolitik: aufgeschoben Beschreibung: Ein Hinweis wird nur ein schiffbares AssociationEnd zugelassen Kontext Hinweis inv: Selbst. referencedEnd.isNavigable