製品情報UModelUML アプリケーションフロー図UML プロトコル状態マシン図

Altova UModel® 2012 では特別なダイアグラムの種類として、プロトコル状態マシン図に対する特別な機能がサポートされます。

UML プロトコル状態マシン図は状態マシン図のサブセットで、オブジェクトが反応するイベントのシーケンスを、特殊な振る舞いなどを省いて表示します。プロトコル状態マシン図は、特別なインターフェースを使用するデータベースのアクセスや TCP/IP に代表されるコミュニケーションプロトコルの様な複雑なプロトコルを記述するために利用されます。

UModel® 2012 はプロトコル状態マシン図を、固有のダイアグラムツールバーを搭載した独立したダイアグラムとして扱います。

既存の状態遷移図にある要素を使用することで、プロトコル状態マシン図を作成することもできますが、状態遷移図履歴要素は導入されておらず、その他の要素も多少変わった構文により記述されます。例えば状態間の遷移では、他の状態への遷移が発生するために新都ならなければならない事前条件と、その後の状態が満たさなければならない事後条件を与えることができます。

UModel® 2012 ではプロパティヘルパーウィンドウから事前条件と事後条件を与えることができます。ダイアグラム内で直接入力することもできますし、プロパティウィンドウから入力することもできます。

プロトコル状態マシン図に搭載されている特別な機能、そしてプロジェクトのステークホルダーとのモデルを共有する際に混乱を避けるため、UModel® 2012 はプロトコル状態マシン図を独立したダイアグラムとして扱っています。

UModel® 2012 を使って、UML プロトコル状態マシン図の作成がどれほど楽になるか体験してみてください。今すぐ無料トライアルをダウンロード！