April 2002 Omg-mof, v1.4: Das MOF-Modell - Konstruieren Metamodeling 2-19 2 Anmerkung -- das Begrenzungskonstruieren soll für das Spezifizieren von Übereinstimmungsrichtlinien benutzt werden für Modelle anstatt für das Definieren des Berechnungsverhaltens von (zum Beispiel) Betriebe. Es ist die schlechte Art zum Spezifizieren der Begrenzungsausdrücke, die Nebenwirkungen an haben der Zustand eines Modells, nicht wenig, weil es nicht spezifiziert ist, wenn Begrenzungen ausgewertet werden. 2,3,7,2 Strukturelle Übereinstimmung Wie vorher gemerkt, definiert ein MOF-gegründetes metamodel eine abstract syntax für metadata. Einige Aspekte der abstract syntax werden durch das Entsprechen erzwungen metadatabediener s IDL. Z.B. der Betrieb, der eine Verbindung für herstellt Verbindung hat eine Artunterzeichnung, die den Benutzer am Herstellen einer Verbindung mit hindert Unrechtart der Kategorienfälle. Jedoch können einige Aspekte der abstract syntax nur werden durch strukturelle Laufzeitüberprüfungen auf Übereinstimmung erzwungen Sie. Während die meisten vom strukturellen Überprüfungen werden sofort, Überprüfungen durchgeführt, damit Notwendigkeit des Underflow häufig aufgeschoben werden kann. Sie ist nicht praktisch, damit ein metamodel ein priori spezifiziert alle möglichen Sachen, die gehen können falsch in einem MOF-gegründeten metadatabediener. Es ist folglich notwendig, zu erkennen daß a MOF-Bediener kann eine Vielzahl Laufzeitprüfen durchführen müssen, die definierte keine sind oder angedeutet durch das metamodel. Diese umfassen zusätzliche metadatagültigkeitserklärung, die nicht ist spezifiziert durch das metamodel, das Hilfsmittel und die Zugriffssteuerungüberprüfungen und die interne Störung Überprüfung. 2,3,7,3 Übereinstimmung, die Einheiten Überprüft Die MOF-Spezifikation stellt eine Menge Breite für metadatabedienerimplementierungen zur Verfügung im Bereich der Begrenzung überprüfend oder Gültigkeitserklärung. ¥- Unterstützung für die Überprüfung von Begrenzungen ist nicht vorgeschrieben. Insbesondere gibt es Nr. Anforderung, irgendeine bestimmte Sprache für Begrenzungsausdrücke zu stützen. ¥ der Satz von Fällen (falls vorhanden) das die aufgeschobene Überprüfung auslösen kann, wird nicht spezifiziert. Nein allgemeines APIs werden für das Einleiten der aufgeschobenen Übereinstimmungsüberprüfung spezifiziert. ¥- Ausdauer und Austausch von metadata, das in einem inkonsequenten Zustand ist, können sein gewährt. (in der Tat, würde diese scheinen, eine Vorbedingung für etwas Arten von metadata zu sein Erwerb.) ¥ dort sind keine spezifizierten Einheiten für das Sicherstellen dem des validierten metadataremains gültig oder das, die es nicht ändert. Der ein Aspekt des Übereinstimmungsprüfens, das vorgeschrieben ist, ist daß ein metadatabediener muß alle strukturellen Überprüfungen auf Übereinstimmung einführen, die beschriftet werden, wie sofortig. 2,3,8 Verschiedenes Konstruieren Metamodeling Dieser Abschnitt beschreibt die restlichen bedeutenden Elemente des MOF-Modells.