2-210 OMG-Vereinheitlicht, Sprache, v1.5 Modellierend März 2003 Semantik Mit 2 UML An einen Stift von einer Tätigkeit manchmal gelangen erfordert das Steuern mehr als ein Verbindung. In diesem Fall wird der gesamte Navigationsweg mit dem OCL-Punktoperator gegeben. Die Vielfältigkeit der Verbindung am Stiftende sollte a in diesem Fall wirklich sein Kombination aller multiplicities, die von der Tätigkeit zum Stift steuern, und reflektieren sich Wohlgeformtheitbegrenzungen auf jenen multiplicities, die nicht vom Benutzer abhängen Modell. Ist hier ein Beispiel von CreateLinkAction: ? endData.qualifier.value: RuntimeInstance [ 0.. * ] (übernommen von LinkAction) gibt der näheren Bestimmung Wert eines Verbindungsendes wenn Ende wird qualifiziert. Es ist die gleiche Art wie das Bestimmungattribut. Sehen Sie LinkEndData. Im oben genannten Beispiel wird der Bestimmungwert von einem CreateLinkAction vorbei erreicht durch die endDataverbindung steuern, dann die Bestimmungverbindung, dann Wertverbindung. Der Auftrag, in dem der Eingang feststeckt, werden spezifiziert den Auftrag verzeichnet, in dem Stifte sein müssen verbunden mit der Tätigkeit. Dieses stellt gut gebildete Richtlinien auf dem Tätigkeitsmodell dar. Für Beispiel, nehmen an, daß eine Tätigkeit zwei eingegebene Stifte mit abgeleiteten Verbindungsendennamen hat "Gegenstand" und "Wert.", Wenn die Stifte in diesem Auftrag verzeichnet werden, dann der entsprechende Brunnen formedneßrichtlinien auf dem Tätigkeitsmodell sind: [ 1 ] self.object = self.inputPin.at(1) [ 2 ] self.value = self.inputPin.at(2) Die Wohlgeformtheit spezifizieren formal Ableitung der Stiftverbindungen. Dieser Unterabschnitt ist für konkrete Tätigkeitskategorien, selbst wenn es keine Eingangsstifte gibt enthalten, mit dem Text "kein.", Er ist nicht für abstrakte Tätigkeitskategorien enthalten. 2,18,2,4 Ausgänge Dieser Unterabschnitt verzeichnet die Ausgangsstifte mit dem gleichen Format wie eingegebene Stifte. Der Brunnen die formedneßrichtlinien, die durch den Auflistungsauftrag dargestellt werden, sind auch dieselben, ausgenommen sie zutreffen zu den Ausgangsstiften anstelle von den Eingangsstiften. 2,18,2,5 WohlgeformtheitcRichtlinien Dieser Unterabschnitt verzeichnet statische Begrenzungen auf Benutzermodellen. Die Begrenzungen werden ausgedrückt zuerst auf englisch, dann in OCL. Die Begrenzungen umfassen nicht die Aspekte, die bereits innen ausgedrückt werden das Modell, wie Verbindungsvielfältigkeit. Wohlgeformtheitrichtlinien definiert für eine Kategorie werden durch alle seine Unterklassen übernommen. 2,18,2,6 Zusätzliche Betriebe Dieser Abschnitt definiert zusätzliche OCL-Betriebe, die auf die Kategorie zutreffen. Diese auch wenden Sie an alle Nachkommen der Kategorie.