3-88 OMG-OMG-MetacGegenstand-Service, v1.4 April 2002 3 ¥ im Ausdruck wenn < expr1 > dann < expr2 > sonst < expr3 > endif , < expr2 > ist nur ausgewertet, wenn < expr1 > auswertet, um auszurichten und < expr3 > wird nur wenn ausgewertet < expr1 > wertet zu falschem aus. 3,9,3,5 OclType::allInstances In UML OCL, wird das type.allInstances() definiert, um zurückzugehen: Der Satz aller Fälle der Art und alle seine Formationsglieder im Bestehen an Moment in der Zeit, daß der Ausdruck ausgewertet wird. Im MOF vorbildlicher OCL, wird dieser Ausdruck verwendet, um sich den Satz auf aller Fälle zu beziehen das bestehen Sie innerhalb eines gegebenen äußersten Paketumfanges. (irgendein OCL-Ausdruck, der erforderte Aufzählung aller Fälle im Bestehen überall würde, seit a problematisch sein MOF-Behälter besteht nicht in einer geschlossenen Welt.), 3,9,3,6 OclType::references Das MOF vorbildlicher OCL im Richtlinienkapitel [ C-4 ] nimmt daß die Unterzeichnung von OclType an (wie definiert in der Spezifikation UML OCL) wird verlängert, um einen benannten Betrieb zu umfassen Hinweise. Dieses wird angenommen, um sich wie der Attributbetrieb, außer daß es zu benehmen bringt die Namen von Hinweise der Kategorien (M3-level) zurück. 3,9,3,7 Fremde Arten und Betriebe Einige der vorbildlichen OCL Richtlinien MOF gebrauchen Arten und Betriebe, die nicht sind vorbestimmt in OCL, wie nicht definiert wie Betriebe im MOF-Modell und nicht definiert Helferfunktionen. Beispiele umfassen: ¥- Richtlinie [ C-3 ] Markengebräuche von dem Betrieb CORBA Object::non_existent, das zu erklären ein Gegenstand muß fortfahren zu bestehen. Dieses würde anders als in anderem ausgedrückt Kontexte. ¥- Richtlinien [ C-2 ] und [ C-4 ] verwenden Sie die Betriebe, die im RefObject und im RefBaseObject definiert werden Schnittstellen zum Zugänglich machen der Metagegenstände, die das MOF-Modell darstellen. Es sollte sein verstanden, daß dieses nicht andeuten soll, daß ein vorbildlicher Bediener MOF zu angefordert wird stellen Sie diese Gegenstände an der Laufzeit zur Verfügung. 3,9,4 Die Vorbildlichen Begrenzungen MOF [ C-1 ] MustBeContainedUnlessPackage format1: MUST_BE_CONTAINED_UNLESS_PACKAGE format2: must_be_contained_unless_package Auswertungspolitik: aufgeschoben Beschreibung: Ein ModelElement, das nicht ein Paket ist, muß einen Behälter haben.