März 2003 OMG-Vereinheitlicht, Sprache, v1.5 Modellierend 2-271 Semantik Mit 2 UML ? endData.insertAt: UnlimitedInteger [ 0,,1 ] (übernommen von CreateLinkAction) gibt Einfügungpunkt für bestellte Verbindung Enden. Dieser Stift wird für unordered Enden ausgelassen. Ausgänge ?- Resultat: V [ 1,,1 ], wo V self.endData.end.association ist Der Verbindungsgegenstand verursacht von der gleichen Art wie die Verbindung der Tätigkeit. Wohlgeformtheitrichtlinien 2,21,7,10 CreateObjectAction Instantiates dieser Tätigkeit ein konkreter Klassifikator. Der neue Gegenstand wird verursacht, und Klassifikator des Gegenstandes wird auf den gegebenen Klassifikator eingestellt. Der neue Gegenstand wird als zurückgebracht Wert der Tätigkeit. Die Tätigkeit hat keinen anderen Effekt. Insbesondere sind keine Erbauer durchgeführt, werden keine Ausgangsausdrücke ausgewertet, und keine Zustandmaschinenübergänge sind ausgelöst. Der neue Gegenstand hat keine Attributwerte und nimmt an keinen Verbindungen teil. Die Semantik ist für das Verursachen der Gegenstände von den abstrakten Klassifikatoren oder von unbestimmt Verbindungskategorien. Verbindungen ?- Klassifikator: Klassifikator [ 1,,1 ] Der Klassifikator zum Sein instantiated. ?- Resultat: OutputPin [ 1,,1 ] (abgeleitet von Action:outputPin) gibt den Ausgangsstift, auf dem das Resultat gesetzt wird. Eingänge Kein. Ausgänge ?- Resultat: T [ 1,,1 ], wo T self.class ist Der verursachte Gegenstand. Die Art des Laufzeitgegenstandes ist der Klassifikator, der für spezifiziert wird Tätigkeit. [ 1 ] Die Verbindung muß eine Verbindungskategorie sein. self.association().oclIsKindOf(Classifier) [ 2 ] Die Art des Resultatsstiftes muß dieselbe wie die Verbindung der Tätigkeit sein. self.result.type = self.association() [ 3 ] Die Vielfältigkeit des Ausgangsstiftes ist 1,,1. self.result.multiplicity.is(1,1)