3-106 OMG-OMG-MetacGegenstand-Service, v1.4 April 2002 3 [ S-4 ] findRequiredElements Art: Fragenbetrieb Beschreibung: Wählt eine Teilmenge von einem sofortigen oder rekursiven ModelElement s vor Abhängige. Kontext ModelElement::isRequiredBecause( Arten: Sequence(DependencyKind), rekursiv: Boolesch): Sequence(ModelElement) Pfosten : Resultat = wenn Arten - > includes(alles) dann Selbst. findRequiredElements( Begrenzung Set{, Behälter, begrenzte Elemente, Spezialisierung, Import, Inhalt, Unterzeichnung, etikettierte Elemente, Artdefinition, bezogene Enden }) sonst wenn rekursiv dann Selbst. recursiveFindDeps(kinds, Set{ Selbst }) sonst Arten - > collect(k: Selbst findDepsOfKind(k)) - > asSet() endif endif [ S-5 ] isRequiredBecause Art: Fragenbetrieb Beschreibung: Bringt das DependencyKind zurück, das die Abhängigkeit zwischen beschreibt dieses Element und anderes. Kontext ModelElement::findRequiredElements( anderes: ModelElement, Grund: aus DependencyKind): Boolesch Pfosten : -- Notiz:, wenn es mehr als eine Abhängigkeit zwischen Selbst gibt -- und anderes, wird die Vorwähler des Grundes definiert -- als a non-deterministisches... nicht deterministisches sein -- verlassen zur rechten Auswertung des OCL deutet an. Grund = ( wenn Selbst - > isDepOfKind(begrenzung, -andere) dann Begrenzung sonst wenn Selbst - > isDepOfKind(behälter, -anderer) dann Behälter sonst wenn Selbst - > isDepOfKind(begrenzte Elemente, anderes) dann begrenzte Elemente sonst