状態マシン図を使用した、オブジェクトの振る舞いのモデル化
状態マシン図を使用して、 クラス、コラボレーション、コンポーネント、 ノード、操作、ユースケース、またはシステム全体の振る舞いを図示することができます。
状態マシンの作成
状態マシンを作成すると、 複雑または重要な振る舞いをするオブジェクトを、記述することができます。 状態マシンを作成すると、 単一のダイアグラムおよび領域がデフォルトで作成されます。 領域は、オブジェクトの振る舞いを グラフィカルに記述するために、 ダイアグラムに追加される状態および遷移を保持する、 コンテナーです。 クラス、コンポーネント、および操作用の状態マシンを、 作成することができます。
状態マシンへのダイアグラムの追加
状態マシンを作成すると、 状態マシン図が開きます。クラス、コラボレーション、コンポーネント、 ノード、およびユースケースの状態マシン図を 作成することができます。
状態マシン図への状態と疑似状態の追加
状態マシン図では、状態マシン、コンポジット状態、または直交状態の領域に状態を追加することによって、 オブジェクトの振る舞いを記述することができます。
状態マシン図への領域の追加
UML 状態マシン図における領域は、 状態、疑似状態、および遷移を保持することができる、状態の内部にあるコンテナーです。 ここに、状態マシンまたは状態を追加することができます。領域を使用すると、ネストされた状態と遷移を定義することができます。 領域によって、特定の状態の内部遷移に関する詳細の提供が可能となります。
状態のコンパートメント・タイトルの表示
UML 状態マシン図における状態は、 コンパートメントに分割されています。状態のアクションおよび領域の、 コンパートメント・タイトルを表示することができます。
状態間の遷移の作成
UML モデリングでは、 状態マシン図に遷移を追加することで、オブジェクトの状態の変化を 表示することができます。トリガー、ガード条件、および効果が、 遷移の 3 つのオプション・パーツです。 遷移を開始するためには、イベントが発生する必要がある、 ということを示すには、遷移にトリガーを追加します。 遷移が発生するためには、特定のブール条件が true になる必要がある、 ということを示すには、遷移にガード条件を追加します。 ガード条件が満たされたとき、 オブジェクトによって特定のアクティビティーが実行される、 ということを示すには、遷移に効果を追加します。
新規コンポジット状態への状態マシン・モデル要素のグループ化
UML モデリングでは、 状態マシンの選択されたモデル要素を新規状態にグループ化して、 複雑な状態マシンの詳細を非表示にすることができます。
コンポジット状態からの状態の削除
UML モデリングでは、 コンポジット状態を個別の状態に分割することによって、コンポジット状態から状態を 削除することができます。コンポジット状態は状態マシンから削除されて、 コンポジット状態に含まれた状態によって置換されます。
入状時アクティビティー、 Do アクティビティー、および退状時アクティビティーの状態への追加
UML モデルでは、 入状時アクティビティー、Do アクティビティー、または退状時ア クティビティーを状態に追加して、ある状態に入ったときだけ、または状態 から出たときだけに実行するアクティビティー、または特定の状態時に進行 するアクティビティーを、記述することができます。
関連概念
状態マシン
フィードバック