3-84 OMG-OMG-MetacGegenstand-Service, v1.4 April 2002 3 Der Abschnitt liefert auch semantische Spezifikationen OCL für die meisten M2-levelbetriebe, abgeleitete Attribute und abgeleitete Verbindungen im MOF-Modell und für eine Ansammlung von Helferfunktionen verwendet durch sie und die Begrenzungen. Diese semantischen Spezifikationen brauchen Sie, nicht anwesend zu sein in einer Darstellung des MOF-Modells. In der Tat dieses Dokument nicht spezifizieren, wie sie dargestellt werden sollten. Anmerkung -- der Gebrauch von OCL in der vorbildlichen Spezifikation MOF deutet nicht eine Anforderung an OCL-Auswertung als Teil einer vorbildlichen Implementierung des Bedieners s MOF verwenden. Ausserdem wenn diese Annäherung verwendet wird, wird es vorweggenommen, daß das implementor den OCL neu schreiben kann Richtlinien zum Bilden von Auswertung leistungsfähiger. Z.B. konnte die Begrenzung OCL sein neu geschrieben als Vorbedingungen auf den passenden abgebildeten Updatebetrieben. 3,9,2 Notational Versammlungen 3,9,2,1 Darstellung für vorbildliche Begrenzungen MOF Die M2-levelbegrenzungen auf dem MOF-Modell werden in der folgenden Darstellung beschrieben: [ C-xxx ] ConstraintName Auswertungspolitik: sofortig oder aufgeschoben Beschreibung: kurze englische Beschreibung Kontext SomeClassifierName inv : ... Die Bedeutung vom oben genannten ist, wie folgt: ¥ [ C-xxx ] ist der Querverweisumbau für die Begrenzung, die anderwohin diesbezüglich verwendet wird Dokument. ¥ ConstraintName ist der Name für die Begrenzung im MOF-Modell. Das IDL das Diagramm verwendet diesen Namen, um die freundliche Zeichenkette MofError für die Begrenzung zu produzieren. Diese Zeichenketten erscheinen im erzeugten IDL für das MOF-Modell, wie innen beschrieben Abschnitt 5,8,17, Begrenzungsschablone, auf Seite 5-97. ¥ die Auswertungspolitik gibt an, ob das Constaint auf irgendwelche überprüft werden sollte relevanter Updatebetrieb oder, ob die Überprüfung bis vollen Meta- aufgeschoben werden sollte vorbildliche Gültigkeitserklärung wird ausgelöst. Sie definiert den evaluationPolicywert der Begrenzung s. ¥ die Beschreibung ist eine kurze nicht-normative Synopse der Begrenzung. Es könnte sein verwendet als der Anmerkungswert der Begrenzung s. ¥ der OCL für die Begrenzung wird mit der OCL-Syntax definiert, die in UML 1,3 definiert wird. Der OCL für die Begrenzungen beginnen mit einer Kontextklausel, die ein ModelElement nennt im MOF-Modell. Dieses dient zwei Zwecke: 1. Es definiert den Kontext, in dem die OCL-Begrenzung ausgewertet werden sollte (d.h., das M3- waagerecht ausgerichtete Kategorie oder DataType dessen Fälle durch den OCL begrenzt werden). 2. Er definiert die constrainedElements und Behälter für die Begrenzung.