基本遷移 は、遷移元状態と遷移先状態の間の 1 つの矢印から構成されます。遷移は、与えられた状態における、あるメッセージに対する応答を表現しています。遷移は、与えられるトリガーに対して次の状態が何になるかを示します。
遷移は、トリガー、ガード、アクションを保持できます。
遷移コンテキストは、メッセージ・データ (パラメーター) が可視である範囲です。任意のガードとアクションは、参照可能なパラメーターを決定している特定の遷移コンテキストを継承します。
遷移元は、以下のいずれかです。
遷移先は、以下のいずれかです。