| |
März 2003 OMG-Vereinheitlicht, Sprache, v1.5 Modellierend 2-161 Semantik Mit 2 UML ? , wenn ein auserlesener Punkt angetroffen wird, der Schutz, der diesem auserlesenen Punkt folgt, sind dynamisch ausgewertet und ein Weg dessen Schutz zutreffend ist, wird vorgewählt. Eintragung und Ausgang Tätigkeiten werden für die Zustände durchgeführt, die durch den Übergang in die Wahl eingetragen sind und herausgenommen sind Punkt. ? der Hauptzielzustand ist richtig eingetragen. 2,12,4,7 StateMachine Fallverarbeitung - Laufen lassen-zubeendigungsschritt Fälle werden durch die Zustandmaschine geschickt und verarbeitet, einzeln. Der Auftrag von aus der Warteschlange nehmend wird nicht definiert und verläßt öffnen die Möglichkeit des Modellierens der unterschiedlichen Priorität gegründete Entwürfe. Die Semantik der Fallverarbeitung basiert auf der Laufen lassen-zubeendigung Annahme, gedeutet als Laufen lassen-zubeendigungsverarbeitung. verarbeitenmittel der Laufen lassen-zu-Beendigung das ein Fall kann nur aus der Warteschlange genommen werden und geschickt werden wenn die Verarbeitung des vorhergehenden Stromes Fall wird völlig durchgeführt. Laufen lassen-zu-Beendigung kann in den verschiedenen Weisen eingeführt werden. Für aktive Kategorien kann sie sein verwirklicht durch eine Fall-Schleife, die in sein eigenes gleichzeitiges Gewinde laufen, und die liest Fälle von einer Warteschlange. Für passive Kategorien kann sie als Monitor eingeführt werden. Die Verarbeitung eines einzelnen Falls durch eine Zustandmaschine bekannt als Laufen lassen-zubeendigung Schritt . Bevor sie auf einem Laufen lassen-zubeendigungsschritt beginnt, ist eine Zustandmaschine in einem Stall Zustandkonfiguration mit allen Tätigkeiten (aber nicht notwendigerweise Tätigkeiten) durchgeführt. Dieselben Bedingungen treffen zu, nachdem der Laufen lassen-zubeendigungsschritt durchgeführt ist. So wird ein Fall nie seien verarbeitet Sie, während die Zustandmaschine in irgendeinem Zwischen- und inkonsequent ist Situation. Die Laufen lassen-zubeendigung Schritt ist der Durchgang zwischen zwei Zustandkonfigurationen von der Zustandmaschine. Die Laufen lassen-zubeendigungsannahme vereinfacht die Übergangsfunktion des Zustandes Maschine, da Parallelitätskonflikte während der Verarbeitung des Falls vermieden werden, Lassen der Zustandmaschine seinen Laufen lassen-zubeendigungsschritt sicher durchführen. Wenn ein Fallfall geschickt wird, kann er ein oder mehr Übergänge ergeben, die sind ermöglicht für Zündung. Wenn kein Übergang ermöglicht wird und der Fall ist nicht im aufgeschobenen Fall Liste der Lagekonfiguration, der Fall wird und die Laufen lassen-zubeendigung weggeworfen Schritt wird durchgeführt. In Anwesenheit der gleichzeitigen Zustände ist es möglich, mehrfache Übergänge infolgedessen abzufeuern vom gleichen Fall --, der in jedem gleichzeitigen Zustand im Strom so viel ist wie ein Übergang Zustandkonfiguration. Falls, wo ein oder mehr Übergänge ermöglicht werden, der Zustand Maschine wählt eine Teilmenge vor und feuert sie ab. Welche der ermöglichten Übergänge wirklich abfeuern wird durch den unten beschriebenen Übergangsvorwähleralgorithmus festgestellt. In dem der Auftrag vorgewähltes Übergangsfeuer wird nicht definiert. |  |
|
| |
|
|