2-18 OMG-OMG-MetacGegenstand-Service, v1.4 April 2002 2 ¥, das eine Sprache verwendete, das die Sprache kennzeichnet, die Übereinstimmungsrichtlinien auszudrücken, ¥ ein Ausdruck in der Sprache, die eine Richtlinie spezifiziert, ¥ eine Auswertungspolitik, die feststellt, wann die Richtlinie erzwungen werden sollte und ¥ ein Satz begrenzte Elemente. Ein Begrenzungsausdruck ist ein Ausdruck in irgendeiner Sprache, die innen ausgewertet werden kann der Kontext eines metamodel zum Entscheiden, wenn es gültig ist. Die MOF-Spezifikation nicht definieren Sie oder unterstellen Sie all bestimmt Sprache für BegrenzungAusdruck, oder irgendein bestimmte Auswertungseinheiten. In der Tat ist sie gesetzmaßig, damit Begrenzungen sind ausgedrückt in der formlosen Sprache (z.B., englisch) und für die vorbei einzuführende Gültigkeitserklärung ad hoc programmierend. Jedoch die Begrenzungen, die ein Teil des MOF-Modells sind Spezifikation selbst werden in der Gegenstandbegrenzungssprache (OCL) wie innen beschrieben ausgedrückt die UML-Spezifikation. Die Auswertungspolitikeigenschaft einer Begrenzung stellt ob die Übereinstimmungsrichtlinie fest wenn sofort oder an einer neueren Zeit erzwungen Sie seien. Tabelle 2-5 gibt ein einfaches Beispiel das wird verwendet, um die Notwendigkeit an den Auswertungspolitischen Linien zu veranschaulichen. Tabelle 2-5 Beispiele von Begrenzungen In Tabelle 2-5, Begrenzung X begrenzt nur Attribut, das eine Weilebegrenzung B begrenzt beide Attribute a und b. Sie ist durchführbar, die erste Begrenzung zu überprüfen (X: a ist auf dem Attribut A) an irgendwelchen ungerade Zeit. Es könnte überprüft werden, wann immer ein Wert für a geliefert wird (z.B., am Fall Kreation und wenn a aktualisiert ist). Eine Ausnahme würde wenn der neue Wert für angehoben a war gleichmäßig. Wechselweise könnte die Begrenzungsüberprüfung zu einem neueren Punkt aufgeschoben werden (z.B., wenn die Teilnehmeranforderunggültigkeitserklärung eines Modells). Die zweite Begrenzung (Y: b gleiches s a * 2 auf beiden Attributen a und B) ist andere Angelegenheit. Wenn ein Bediener Y auf jedem Update erzwingt, würde der Benutzer nie in der LageSEIN zu ändern die Werte entweder von a oder von b. Gleichgültig, die den Benutzer bestellen, rief die Betriebe hervor, die Updates würden eine Ausnahme aufwerfen. Stattdessen muß Durchführung von Y bis aufgeschoben werden sind a und b aktualisiert worden. My_Class a: Ganzzahl b: Ganzzahl Begrenzung X Begrenzung Y b entspricht a * 2 a ist ungerade