März 2003 OMG-Vereinheitlicht, Sprache, v1.5 Modellierend 2-221 Semantik Mit 2 UML Semantik Eine Tätigkeitsdurchführung stellt das allgemeine Laufzeitverhalten der Durchführung einer Tätigkeit dar innerhalb eines spezifischen Kontextes. Tätigkeit ist eine abstrakte Kategorie; folglich alle Tätigkeitsdurchführungen sein können Durchführungen der spezifischen Arten von Tätigkeiten. 1. Eine Tätigkeitsdurchführung wird mit der Status- Aufwartung verursacht ohne die Stiftwerte initialisiert. Die Tätigkeit hat den gleichen Verfahrenskontext wie die Tätigkeitsdurchführung, die ihn verursachte. Für die erste Tätigkeitsdurchführung in einem Verfahren, wird ein Verfahrenskontext verursacht mit leeren Schlitzen für alle variablen von oder von Datenfluß Werte, die sein können verursacht während einer Durchführung eines Verfahrens. Alle Tätigkeitsdurchführungen innerhalb a Verfahrensdurchführungsanteil der gleiche Verfahrenskontext d.h. teilen sie Zugang zu der gleiche Satz von Variable und von Datenfluß Werte. 2. Eine Tätigkeitsdurchführung, die wartet, wird bereit wenn alle seine Datenfluß und Steuerflußvorbedingungen haben erfüllt, an deren Punkt sie Eingangsstiftwerte erhält von jeder seiner Datenflußquellen. Nachdem alle Werte erhalten worden sind, Tätigkeitsdurchführung fängt an durchzuführen. 3. Eine Tätigkeit fährt fort durchzuführen, bis sie durchgeführt hat. Der Durchführung werden spezifiziert unter der Beschreibung jeder bestimmten Art Tätigkeit. 4. Wenn sie durchgeführt wird, produziert eine Tätigkeitsdurchführung Werte auf allen seinen Ausgangsstiften und beendet Durchführung. Die Tätigkeitsdurchführung erfüllt Steuerfluß, oder Datenfluß Vorbedingungen für irgendwelche anderen möglichen Tätigkeitsdurchführungen, die von ihm oder von einem von seinem abhängen Datenwerte. [ 6 ] Dieser Betrieb bringt zutreffendes zurück, wenn die Tätigkeit ein subaction, an irgendeiner Tiefe, einer anderen gegebenen Tätigkeit ist. isSubaction(otherAction: Action):Boolean isSubaction(otherAction) = otherAction.allSubactions()->includes(self) [ 7 ] Dieser Betrieb bringt den Satz der Tätigkeiten zurück deren Durchführung durchführen muß, bevor diese Tätigkeit kann führen Sie durch: die Quelltätigkeiten in den Datenflüssen und in den Vorgängertätigkeiten in den Steuerflüssen. prerequisites(): Set(Action) prerequisites() = self.inputPin.flow.source.action->union(self.antecedent.predecessor) [ 8 ] Dieser Betrieb bringt alle Tätigkeiten zurück, dessen Bestimmungsörter der Datenflüsse oder Nachfolger sind steuern Sie die Flüsse, die eine Tätigkeit lassen. Ein Steuerfluß von oder zu einer Gruppentätigkeit wird als seiend ein Satz behandelt von der Steuerung fließt von oder zu jeder Tätigkeit innerhalb der Gruppentätigkeit. successors(): Set(Action) successors() = self.outputPin.flow.destination.action ->union((self.consequent.successor->union(self.group.consequent.successor)) ->collect(a: Tätigkeit|a.subactions()->including(a)))->asSet() [ 9 ] Dieser Betrieb bringt das transitive Schliessen alles Datenflusses zurück und Steuerung-fließt Nachfolger (definiert als oben) von einer Tätigkeit. allSuccessors(): Set(Action) allSuccessors() = self.successors()->union(self.successors().allSuccessors()->asSet()