状態をスキーマに追加する前に、状態を状態遷移マトリックスに追加してから、
状態遷移を作成する必要があります。
- Designer を開始します。
- ワークスペースで、[レコード タイプ] フォルダを展開して、
レコード タイプを選択します。次に、[状態とアクション] フォルダを展開し、
[状態遷移マトリックス] をダブルクリックします。
- とクリックします。
- [状態の追加] ウィンドウに、新しい状態の名前を入力し、[OK] をクリックします。
Designer により、新しい状態が、
遷移元の状態と遷移先の状態として状態遷移マトリックスの行と列のヘッダーに
追加されます。
状態モデルでこの新しい状態を使用する方法を定義する
状態遷移 (すなわち、アクション) を作成する必要があります。「
状態遷移を作成するには」を参照してください。
状態をスキーマに追加したら、
何らかのアクションで、その状態を少なくとも 1 つの別の状態に結び付けてください。
アクションによって遷移できない状態を定義すると確認エラーが発生します。
状態タイプを使用するパッケージがスキーマに含まれている場合は、
状態を追加する際に、その新しい状態をスキーマの状態タイプにマッピングする必要があります。
「状態タイプのマッピング」を参照してください。