http://www.eclipse.org/forums/index.php/t/452409/で既に質問されているように 、ローカル遷移の意味を正しく理解しているかどうかわかりません。正しいセマンティクスかどうか
これら 2 つのステート マシンは同じですか?
質問する
2735 次
1 に答える
5
UML 2.4.1 では、最初の図はトリガーの受信時の State1 からのローカル遷移を示し、2 番目の図はトリガーの受信時のサブステート間の遷移を示します。State1 からの外部遷移は、State1 の外を指す矢印で示され、次に曲がって State1 に戻ります (上部構造仕様の図 15.48)。
UML 上部構造 2.4.1 のセクション 15.3.15 TransitionKindは、内部、ローカル、および外部遷移のセマンティクスを示しています。
kind=local は、遷移がトリガーされた場合、複合 (ソース) 状態を終了しないことを意味しますが、複合状態内の任意の状態に適用され、これらは終了および開始されます。
ローカルまたはサブステート間の遷移によって State1 が終了することはないため、図は同様のステート マシンを示しています - 違いは、最初のマシンが State1.3 から State1.3 に再び入ることです (その終了および開始動作が呼び出される) 一方、2 番目はトリガー時に State1.3 から何もしません。
于 2013-02-03T10:32:22.157 に答える