März 2003 OMG-Vereinheitlicht, Sprache, v1.5 Modellierend 2-251 Semantik Mit 2 UML Zusätzliche Betriebe Semantik 1. Wenn aller Steuerfluß und - Datenfluß, sind Vorbedingungen einer Schleifentätigkeit erfüllt, Durchführung der Schleife fängt an. Alle Werte auf Eingangsstiften der Schleifendurchführung werden in einsetzen variable Werte der Schleife kopiert, die durch die Schleifendurchführung besessen werden. Durchführung der Klausel, die durch die Schleifentätigkeit besessen wird, fängt an. 2. Wenn die Durchführung einer Klausel anfängt, wird sein Testsubaction durchgeführt. 3. Wenn die Testtätigkeit Durchführung durchgeführt hat, wenn die Testtätigkeit einen falschen Wert erbringt für sein testOutput Stift, die Schleifendurchführung führt durch. Die Werte der Schleifenvariablen werden zu den Schleifenausgangsstiften kopiert. 4. Wenn die Testtätigkeit Durchführung durchgeführt hat, wenn die Testtätigkeit einen zutreffenden Wert erbringt, die Körpertätigkeit der Klausel wird durchgeführt. Bevor Durchführung anfängt, irgendein Steuerfluß Bedingungen, Datenfluß Werte oder Variablen in den Bereich der Tätigkeit von irgendwelchen vorhergehende Wiederholungen des Körpers, den Tätigkeit sind, löschten. 5. Wenn die Körpertätigkeit Durchführung durchgeführt hat, die Werte auf den Ausgangsstiften von Körpertätigkeit werden zu den Werten der Schleifenvariablen kopiert. Dann ist die Testtätigkeit wieder durchgeführt. 2,20,3,5 Variabel Eine Variable ist die Spezifikation eines Datenschlitzes, der eine lokale Variable darstellt, die vorbei geteilt wird die Tätigkeiten innerhalb einer Gruppe. Es gibt die Tätigkeiten zum Schreiben und Lesen von Variablen. Diese Tätigkeiten werden als Nebenwirkungtätigkeiten behandelt, die den Tätigkeiten, um Gegenstand zu schreiben und zu lesen ähnlich sind Attribute und Verbindungen. Es gibt keine automatischen der Reihe nach ordnenden Begrenzungen unter Tätigkeiten, die die gleiche Variable zugänglich machen. Solche Tätigkeiten müssen ausdrücklich vorbei der Reihe nach geordnet werden steuern Sie Flüsse (es sei denn ihr Der Reihe nach ordnen von anderen Begrenzungen irgendwie folgt). Alle mögliche Werte, die durch eine Variable enthalten werden, müssen an die Art der Variable sich anpassen und haben cardinalities ließen durch die Vielfältigkeit der Variable. Eine Variable ohne eine Art Spezifikation kann jeden möglichen Wert halten. Attribute ?- Vielfältigkeit: Vielfältigkeit Eine Spezifikation der Zahl Werten, die eine variable Durchführung an irgendeiner halten kann Zeit. [ 1 ] Die genisteten Tätigkeiten einer Schleifentätigkeit sind seine Test- und Körpertätigkeiten. nestedActions(): Set(Action) nestedActions() = Set{self.clause.test, self.clause.body } [ 2 ] Eine Schleifentätigkeit hat keine subactions. subactions(): Set(Action) subactions() = Set{ }