April 2002 Omg-mof, v1.4: Vorbildliche Begrenzungen MOF 3-93 3 [ C-14 ] TypeMustBeVisible format1: TYPE_MUST_BE_VISIBLE format2: type_must_be_visible Auswertungspolitik: aufgeschoben Beschreibung: Ein TypedElement kann eine Art nur haben, die zu ihm sichtbar ist. Kontext TypedElement inv : SelbstisVisible( Selbsttype) [ C-15 ] ClassContainmentRules format1: CLASS_CONTAINMENT_RULES format2: class_containment_rules Auswertungspolitik: sofortig Beschreibung: Eine Kategorie kann nur Kategorien, DataTypes, Attribute, Hinweise enthalten, Betriebe, Ausnahmen, Konstanten, Begrenzungen und Umbauten. Kontext Kategorie inv : Set{Class, DataType, Attribut, Hinweis, Betrieb, Ausnahme, Konstante, Begrenzung, Umbau } - > includesAll(- Selbst contentTypes()) [ C-16 ] AbstractClassesCannotBeSingleton format1: ABSTRACT_CLASSES_CANNOT_BE_SINGLETON format2: abstract_classes_cannot_be_singleton Auswertungspolitik: aufgeschoben Beschreibung: Eine Kategorie, die gekennzeichnet wird, da Auszug nicht als singleton auch gekennzeichnet werden kann. Kontext Kategorie inv : SelbstisAbstract deutet nicht SelbstisSingleton an [ C-17 ] DataTypeContainmentRules format1: DATA_TYPE_CONTAINMENT_RULES format2: data_type_containment_rules Auswertungspolitik: sofortig Beschreibung: Ein DataType kann nur TypeAliases, Begrenzungen, Umbauten enthalten (oder innen der Fall von StructureTypes) StructureFields. Kontext DataType inv : wenn self.oclIsOfType(StructureType)