ステートチャート

ステートチャートは,イベント駆動型(リアクティブ)システムを表すものです。イベント駆動型システムでは、変更を定義する条件が真である場合に、システムはある状態またはモードから別のものに遷移します。

たとえば,ステートチャートを使用して自動車のオートマチックトランスミッションを表すことができます。トランスミッションにはパーキング,リバース,ニュートラル,ドライブおよびローという操作ステートがあります。ドライバーがあるポジションからシフトさせると,システムはあるステートから別のステート(パーキングからリバースなど)に遷移します。

ステートチャートは次のような複雑なロジックをモデル化するために頻繁に使用されます。

• システムのタスクまたはステップのシーケンスのスケジュール
• 故障検出,分離および回復ロジックの定義
• さまざまな操作モードがどのように切り替わるかを監視

ステートチャートを使用すると,次のような,従来の有限ステートマシンを超える追加機能を使用できます。

• 大規模なシステムの階層的なステートのモデル化
• フロー図の追加による複雑な判定ロジックの定義
• 並列性のあるシステムを表す直交状態の定義

ステートチャートの作成とそれらの仿金宝app真软件^®モデルへの統合については,金宝appおよびStateflow^®を参照してください。