April 2002 Omg-mof, v1.4: Vorbildliche Begrenzungen MOF 3-85 3 Während der OCL für die Begrenzungen meistens als invariants ausgedrückt werden, sollte dieser nicht seien buchstäblich genommen Sie. Stattdessen sollte die Begrenzung OCL wie angesehen werden: ¥ eine Vorbedingung auf den relevanten IDL-Betrieben für sofortige Begrenzungen oder ¥ ein Teil der Spezifikation von ModelElement s überprüfen Betrieb für aufgeschoben Begrenzungen. Die Begrenzungen im MOF-Modell werden als Beschränkungen auf entweder Kategorien ausgedrückt oder DataTypes. Jedes trifft auf (begrenzt), einen einzelnen Klassifikator zu, und jeder ist definiert, durch den Klassifikator enthalten zu werden, den er anwendet. Das Sprachattribut von jede Begrenzung ist entweder Mof-mof-ocl (für die mit kompletten OCL-Spezifikationen) oder Anderes. Das Ausdrucksattribut sollte der normative OCL sein, der hier, selbst wenn definiert wird unterschiedlicher (aber Äquivalent) OCL wird in einer vorbildlichen Implementierung des Bedieners s MOF verwendet. 3,9,2,2 Darstellung für Betriebe, abgeleitete Attribute und abgeleitete Verbindung Die Semantik der M2-levelbetriebe, der abgeleiteten Attribute und der abgeleiteten Verbindungen an das MOF-Modell werden in der folgenden Darstellung beschrieben: [ O-xxx ] ModelElementName Art: Klassifikation Beschreibung: kurze englische Beschreibung Kontext ClassifierName::OperationName(...): ... Pfosten : Resultat =... oder Kontext ClassName::AttributeName(): ... Pfosten : Resultat =... oder Kontext ClassName::ReferenceName(): ... Pfosten : Resultat =... Die Bedeutung vom oben genannten ist, wie folgt: ¥ [ O-xxx ] ist der Querverweisumbau für die semantische Beschreibung, die verwendet werden kann anderwohin in diesem Dokument. ¥ ModelElementName ist der Name des Attributes, des Betriebes oder der Verbindung in MOF-Modell dessen Semantik beschrieben wird. ¥ die Klassifikation beschreibt die Art des ModelElement (z.B., schreibgeschützt abgeleiteter Attribut- oder Fragenbetrieb). ¥ die Beschreibung ist eine kurze nicht-normative Synopse der Semantik. ¥ der OCL wird mit der OCL-Syntax ausgedrückt, die in der Spezifikation UML 1,4 definiert wird (ad/01-02-14). Die Kontextklausel nennt einen abstrakten Betrieb oder eine Methode auf Schnittstelle des Niveaus M1 deren Semantik spezifiziert wird. Der Name des realen operation(s) oder method(s) hängt vom Diagramm ab. Die Semantik werden als Pfosten ausgedrückt Bedingungen für diese Methoden.