| |
März 2003 OMG-Vereinheitlicht, Sprache, v1.5 Modellierend 2-231 Semantik Mit 2 UML Die Ausgangsstifte einer Körpertätigkeit können möglicherweise nicht an Eingangsstifte direkt draußen angeschlossen werden die Körpertätigkeit. Die Ausgangsstifte der Testtätigkeiten können möglicherweise nicht an Eingangsstifte angeschlossen werden außerhalb der Klausel. Es gibt keine ausdrücklichen Datenflüsse von den Ausgangsstiften der Klauseln zu den Ausgangsstiften der gesamten Abhänigkeitstätigkeit (da Datenflüsse nur anschließen können Ausgang zum Eingeben der Stifte). Der Anschluß ist in der Struktur des Konditionals implizit Tätigkeit selbst. So sind die einzigen vorhandenen Ausgänge einer Abhänigkeitstätigkeit die Ausgangsstifte ausdrücklich besessen durch das Konditional. Die Klauseln einer Abhänigkeitstätigkeit können noncyclic Vorgänger-Nachfolger haben Verhältnisse unter ihnen. Klauseln ohne Vorgänger-Nachfolger-Verhältnisse können führen Sie ihre Testtätigkeiten gleichzeitig durch. Wenn mehr als eins von diesen zutreffend ist, nur ein Körper Tätigkeit führt durch, aber seine Vorwähler ist unbestimmt. Wenn die Tests nicht zu garantiert werden seien Sie, der Benutzer kann eine Rückstellungstätigkeit mit einem Test von "zutreffendem" als Nachfolger versehen vollständig von allen weiteren Tests. Ein Konditional wird nicht angefordert, um eine ausdrückliche "sonst" Klausel zu haben, aber modeler muß sichergehen, daß mindestens eine Testtätigkeit zutreffend ist, oder das Modell falsch ist. Anmerkung - dem "genau einem Körper eine Ausnahme wird erlaubt, den Tätigkeit Richtlinie durchführen muß". In der Fall, daß die Abhänigkeitstätigkeit Nr. hat geben Sie Stifte aus, dann ist es für Nr. zulässig Körper durchzuführende Tätigkeiten (d.h., für alle prüfen Sie Tätigkeiten, um auszufallen). In diesem Fall irgendein Effekt von Abhänigkeitstätigkeit ist, indem sie Gegenstandgedächtnis oder die externe Welt beeinflußt. Dieses ist Äquivalent zum Versehen einer "sonst" Klausel mit einem leeren Körper. In den Fällen, wenn die Tests in einem Konditional vollständig und gegenseitig Exklusives sind mit Absicht kann die Abhänigkeitstätigkeit als seiend ausdrücklich etikettiert werden "bestimmt.", In dieser Fall, genau einer gleichzeitige Testtätigkeit muß auswerten, um auszurichten. Determinismus ist Behauptung durch den Entwerfer -- wenn sie nicht korrekt ist, ist das Modell der gebildete Kranke. Es kann sein erzielte entweder durch das komplette, ausdrückliche Der Reihe nach ordnen der Testtätigkeiten oder durch Wissen des Entwerfers, daß Tests, die nicht der Reihe nach geordnet werden, gegenseitig Exklusives sind. letzter Fall deutet nicht eine Notwendigkeit am Laufzeitsystem an zu prüfen, daß die anderen Tests werten Sie in der Tat zu falschem aus -- der Entwickler hat die Verantwortlichkeit, gegenseitiges zu garantieren Ausschluß. 2,20,1,4 SchleifencTätigkeit Die abschließende Art der zusammengesetzten Tätigkeit ist die Schleifentätigkeit . Die Schleifentätigkeit stellt für zur Verfügung wiederholte Durchführung einer enthaltenen Tätigkeit, solange eine Testtätigkeit ergibt passender Wert. Eine Schleifentätigkeit enthält eine einzelne Klausel mit einer Testtätigkeit und einer Körpertätigkeit. Der Körper Tätigkeit wird wiederholt so lang durchgeführt, wie die Testtätigkeit erbringt "ausrichten.", Der Test und Körpertätigkeiten haben Zugang zu den Werten eines Satzes "Schleifenvariablen,", die sind dargestellt als bestellter Satz von, die Stifte auszugeben besessen durch die Schleifentätigkeit. Die Schleifenvariablen können an Eingangsstifte der Test- und Körpertätigkeiten angeschlossen werden, so die "gegenwärtigen Werte" der Schleifenvariablen während einer Schleifenwiederholung zur Verfügung stellen. Die Klausel kennzeichnet einen Satz Ausgangsstifte innerhalb seines Körpersubaction. Die Arten dieser Stifte müssen passen Sie sich an die Arten und die multiplicities der entsprechenden Schleifenvariablen an. An Beendigung der Durchführung der Körpertätigkeit, die Werte dieser Stifte werden die Werte von den variablen Stiften der Schleife für die folgende Wiederholung der Schleife. |  |
|
| |
|
|