3-2 OMG-OMG-MetacGegenstand-Service, v1.4 April 2002 3 Jedes Metamodell ist auch ein Modell. Wenn die MOF beschrieben in diesem Abschnitt ist modellieren Metamodell für das MOF, wo ist das Modell für dieses Metamodell? Formal das MOF wird in sich definiert; das heißt, die modellierenden Elemente definiert im MOF-Modell und zur Verfügung gestellt durch das MOF werden verwendet, das MOF-Modell selbst zu definieren. Im wesentlichen das MOF Modell ist sein eigenes Metamodell. Jedoch stützt sich diese kreisförmige Definition nicht Darstellung des Modells. Folglich beschreibt diese Spezifikation das MOF erzählend und durch den Gebrauch von UML-Darstellung, Tabellen und Gegenstandbegrenzungssprache (OCL) Ausdrücke. Merken Sie, daß der Gebrauch der UML-Darstellung eine Bequemlichkeit zu den Entwerfern des MOF ist und zu den Lesern der MOF-Spezifikation. Die Semantik des MOF-Modells sind vollständig definiert in der MOF-Spezifikation und hängen Sie nicht von der Semantik von ab irgendein anderes Modell. Die MOF-Schnittstellen, die benutzt werden, um Metamodelle zu manipulieren, sind abhängig auf CORBA dadurch, daß diese Schnittstellen mit CORBA IDL spezifiziert werden. Eine bedeutende Menge der vorbildlichen Syntax- und Semantikdefinition MOF ist Begrenzung gegründet. Diese Spezifikation beschreibt die Begrenzungsausdrücke so offenbar, wie möglich. In Hinzufügung, die Spezifikation liefert einen Hinweis auf dem OCL-Ausdruck, der jedes definiert Begrenzung. Der OCL, der in der Spezifikation UML 1,4 (ad/01-02-14) definiert wird, liefert a kleiner Satz Sprachelemente verwendete, Ausdrücke zu definieren. Als Ausdruckssprache Ocl kann nicht den Zustand der Gegenstände ändern; jedoch kann er die Begrenzungen ausdrücken (umfassend invariants, Vorbedingungen und Pfosten-Zustände). Ocl-Ausdrucks-Gebrauchbetriebe definiert im MOF-Modell mit dem AttributisQuery stellen Sie ein, um AUSZURICHTEN. (solche Betriebe nicht ändern Sie den Zustand des Gegenstandes.), um sicherzustellen führen Sie Spezifikation von Begrenzungen, diese durch Dokument stellt OCL-Definitionen für die MOF-definierten Betriebe zur Verfügung, die in OCL verwendet werden Ausdrücke. Zusätzlich vermeiden Mehrdeutigkeit oder Fehlinterpretation Gebrauch dieser Spezifikation Ocl zum Definieren einige der kompliziertsten Konzepte des MOF-Modells. Die Schnittstellen, durch die das MOF verwendet wird, werden vom MOF-Modell erzeugt. Jedoch stellen diese Schnittstellen die semantischen Informationen, die nicht zu notwendig sind zur Verfügung stellen Sie das Verhalten ihrer Betriebe fest. Folglich ist es wesentlich, zu verstehen MOF in seiner vorbildlichen und in Verbindung stehenden Semantik, nicht gerade seine Schnittstellen ausgedrückt. 3,2 Wie das MOF-Modell beschrieben wird Dieses Kapitel beschreibt die modellierenden Elemente, die das MOF-Modell enthalten und stellen Sie die Bausteine für Metamodelle zur Verfügung. Weil diese Elemente formal sind beschrieben mit dem MOF-Modell selbst, sind die Eigenschaften, die verwendet werden, um das Modell zu beschreiben die gleichen Eigenschaften stellten durch das Modell zur Verfügung. Die folgenden Unterabschnitte beschreiben kurz die Versammlungen, die diese Spezifikation verwendet definieren die vorbildlichen Elemente und ihre Eigenschaften, wenn einige Ausnahmen gemerkt sind.