März 2003 OMG-Vereinheitlicht, Sprache, v1.5 Modellierend 2-281 Semantik Mit 2 UML 2,21,7,22 ReadLinkObjectQualifierAction Diese Tätigkeit liest einen Bestimmungwert an einem Ende eines Verbindungsgegenstandes. Verbindungen ?- nähere Bestimmung: Attribut [ 1,,1 ] Das Attribut, welches die zu lesende nähere Bestimmung darstellt. ?- Gegenstand: InputPin [ 1,,1 ] (abgeleitet von Action:inputPin) gibt den Eingangsstift, von dem der Verbindungsgegenstand ist erreicht. Eingänge ?- Gegenstand: T [ 1,,1 ], wo T self.end.association ist Der Verbindungsgegenstand, der gelesen wird. Die Art des Laufzeitgegenstandes ist dieselbe wie Verbindung, die das Verbindungsende des Bestimmungattributes gelesen wird besitzt. Ausgänge ?- Resultat: U [ 0,,1 ], wo U self.qualifier.type ist Wert des Bestimmungattributes an seinem Ende der Verbindung, wenn irgendeine. Der Wert hat dasselbe schreiben Sie als das Bestimmungattribut. WohlgeformtheitcRichtlinien self.object.multiplicity.is(1,1) [ 5 ] Die Art des Resultatsausgangsstiftes ist dieselbe wie die Art des Verbindungsendes. self.result.type = self.end.participant [ 6 ] Die Vielfältigkeit des Resultatsausgangsstiftes ist 1,,1. self.result.multiplicity.is(1,1) [ 1 ] Das Bestimmungattribut muß ein Bestimmungattribut eines Verbindungsendes sein. self.qualifier.associationEnd->size() = 1 [ 2 ] Die Verbindung des Verbindungsendes des Bestimmungattributes muß eine Verbindung sein Kategorie. self.qualifier.associationEnd.Association.oclIsKindOf(AssociationClass) [ 3 ] Alle Enden der Verbindung müssen FalltargetScope haben. self.qualifier.associationEnd.Association.connections->forall(targetscope = # Fall) [ 4 ] Die Art des Gegenstandeingangsstiftes ist die Verbindungskategorie, die das Verbindungsende besitzt das hat das gegebene Bestimmungattribut. self.object.type = self.qualifier.associationEnd.Association [ 5 ] Die Vielfältigkeit des Gegenstandeingangsstiftes ist "1,,1".