チュートリアル:ステートチャート
ステートチャートの作成と実装
ステートチャートは、実行時に状態から状態に切り替わるマシンです。状態は遷移によってリンクされており、遷移にはそれぞれガード条件があります。アクションまたはメソッドは、状態と遷移の両方で呼び出すことができます。ガード条件が値を取得したとき TRUE
(イベント)、トランジションがアクティブになります。これにより、遷移に属するアクションまたはメソッドが実行され、次の状態に切り替わります。ガード条件は、イベントを反映するか、式である単なるブール変数です。イベントは、視覚化/ユーザーインターフェイス、I / O、時間イベント、またはシステムイベントのユーザー入力です。多くの場合必要となるもう1つのイベントは、状態のアクションまたはメソッドが完了したときに発生する完了イベントです。
ステートチャートエディタに必要なすべての状態を挿入し、フロー制御を実装します。これを行うには、ブール変数またはST式を指定して、遷移のガード条件をコーディングします。ステートチャートの実際の機能は、ステート内または遷移中に呼び出されるアクションとメソッドに実装します。
したがって、ステートチャートに割り当てられたメソッドとアクションにはアルゴリズムが含まれています。これは、従来の方法でオブジェクト指向クラスの概念を実装する方法です。
ソフトウェアの設計段階では、ステートチャートエディタを設計ツールとしてすでに使用できます。たとえば、グラフィックファイルを作成できます(BMP
)仕様書または設計文書に追加するためにステートチャートから。
マシンが持つすべての状態を特定します。
ある状態から別の状態への可能な状態遷移を特定します。
マシンの実行中に発生し、状態遷移をトリガーするイベントを特定します。関連するイベントを時系列でグループ化します。
を特定する
ENTRY
、DO
、 とEXIT
状態中に呼び出すアクションまたはメソッド。移行中に呼び出すアクションまたはメソッドを特定します。
エラーが発生した場合の動作を定義します。