分野別活用ガイド : 組み込みモデリング
組み込み分野の開発で使用される「状態遷移表」の機能を搭載しております。UMLのダイアグラム「ステートマシン図」と連携し、オブジェクトの状態遷移を表ベースの視点でもご確認いただけます(状態遷移表はCSVファイルへの出力が可能です)。
状態遷移表(State Transition Table)とは，あるオブジェクトの状態とイベント、遷移の関係を表形式で表現するものです。縦軸(行方向)に状態、横軸(列方向)にイベントをそれぞれ並べて表現します。そして各セルは、ある状態にあるときに該当するイベントを検知した場合の処理、遷移を表しています。状態遷移表は状態とイベントの関係を表現するため、同様の内容はステートマシン図を利用して表現することもできます。しかし、状態遷移表を利用することで、｢モレ｣や｢ヌケ｣を防止でき、モデルや仕様の洗練を行うことができます。
なお、パターンウィーバーはUML2のタイミング図に対応しております。
