April 2002 Omg-mof, v1.4: Vorbildliche Begrenzungen MOF 3-111 3 [ S-14 ] DependsOn Art: abgeleitete Verbindung Beschreibung: Diese Verbindung bezieht ein ModelElement auf dem anderen ModelElements von wem Definition sie abhängt. Kontext ModelElement inv : alle self.findRequiredElements(, richten) aus 3,9,6 Ocl-Helfer arbeitet [ O-1 ] allSupertypes2 Beschreibung: Helferfunktion für den allSupertypesbetrieb. Kontext GeneralizableElement::allSupertypes2( besucht: Set(GeneralizableElement)): Sequence(GeneralizableElement) Pfosten : Resultat = wenn (besucht - > includes( Selbst )) dann Sequence{ } sonst gelassen mySupers: Sequence(GeneralizableElement) = Selbstsupertypes - > collect(s| s.allSupertypes2(visited - > including(- Selbst innen mySupers - > iterate(s2: GeneralizableElement; a: Sequence(GeneralizableElement) = Sequence{ }| wenn a - > includes(s2) dann a sonst a - > append(s2) endif ) [ O2 ] extendedNamespace Beschreibung: Das extendedNamespace eines namespace ist sein Inhalt, der Inhalt von seinen supertypes und irgendein Namespaces, das es importiert. Kontext Namespace::extendedNamespace(): Set(ModelElement) Pfosten : Resultat = Selbstcontents