April 2002 Omg-mof, v1.4: Vorbildliche Begrenzungen MOF 3-105 3 [ C-59 ] MustHaveFields format1: MUST_HAVE_FIELDS format2: must_have_fields Auswertungspolitik: aufgeschoben Beschreibung: Ein StructureType muß mindestens ein StructureField enthalten. Kontext StructureType inv : Selbstcontents - > exists(c|c.oclIsOfType(StructureField)) 3,9,5 Semantische Spezifikationen für einige Betriebe, abgeleitete Attribute und Abgeleitete Verbindungen [ S-1 ] allSupertypes Art: Fragenbetrieb Beschreibung: Der Wert ist das Schliessen von generalisiert Verbindung von Perspektive eines Formationsgliedes. Merken Sie, daß die Reihenfolge aller supertypes hat ein gut definierter Auftrag. Kontext GeneralizableElement::allSupertypes(): Sequence(GeneralizableElement) Pfosten : Resultat = SelbstallSupertypes2(Set{ }) [ S-2 ] otherEnd Art: Fragenbetrieb Beschreibung: Der Wert ist das andere AssociationEnd für diese Verbindung. Kontext AssociationEnd::otherEnd(): AssociationEnd Pfosten : Resultat = Selbstcontainer.contents - > select(c|c.oclIsKindOf(AssociationEnd) und c < > Selbst [ S-3 ] isVisible Art: Fragenbetrieb Beschreibung: Stellt fest, ob oder nicht otherElement für die Definition sichtbar ist von diesem Element. (Anmerkung: Als Zwischenmaß gibt der OCL den an alles ist! sichtbar), Kontext ModelElement::isVisible( otherElement: ModelElement): Boolesch Pfosten : Resultat = zutreffend