状態遷移の情報を追加

ここでは、シーケンス図に状態遷移の情報を追加する方法について説明します。

項目	参照
クラス要素の下に、状態マシン要素を作成し、ステートマシン図を記述する方法を説明します。	状態マシン
それぞれの状態に制約を定義し、デバッグ時に検知できるようにします。	状態の遷移を検知して記録