ステートチャートのセマンティクス
ここでは、ステートチャートのオブジェクト指向的な解釈について説明します。
単一メッセージの run-to-completion 処理
IBM® Rational® Rhapsody®
では、外部アクターからステートチャートに振り向けられた単一メッセージに、ステートチャートが反応するものと仮定しています。外部アクターは、システム・イベント・キューまたは別のオブジェクトです。
アクティブ遷移
遷移選択
遷移選択は、アクティブ遷移のどのサブセットを起動するかを指定します。
競合
2 つの遷移は、その両方が同じ状態の退場を引き起こす場合は、
競合
すると言われます。直交または独立した遷移だけが同時に始動します。これは、インターリーブ (交互配置) された実行が同等の結果を生じることを意味します。同等の結果には、ばらばらの退場状態が十分条件です。
優先度
優先度
によって遷移の競合の一部 (すべてではなく) が解決されます。
IBM Rational Rhapsody
は状態階層を使用して、競合する遷移に優先度を定義します。ただし、下位レベル状態 (ネストされた状態) は振る舞いをオーバーライドできる、つまり優先度が高いと考えられます。
遷移選択アルゴリズム
遷移の実行
ステートチャートのないアクティブ・クラス
単一アクションのステートチャート
フィードバック