有効な推移のためのルール

有効な推移は、次のルールに従う必要があります。

• STARTおよびEND以外のすべてのアクティビティには、少なくとも1つの受信推移を設定する必要があります。

• 複数の受信推移を設定できるのは、ANDおよびORアクティビティのみです。

• 複数の無条件の送信推移を設定できるのは、FORKアクティビティのみです。

• FORKアクティビティに設定できるのは、無条件の送信推移のみです。

• 列挙された結果セットがあるアクティビティには、考えられる各結果に対する送信推移、または無条件の送信推移が設定されている必要があります。

• アクティビティには、複雑な式の送信推移を設定しないことも、複数設定することもできます。

• 複雑な式の送信推移が設定されたアクティビティは無条件の送信推移である必要があります。

• END_LOOP推移には、関連するFOR_LOOPまたはWHILE_LOOPアクティビティへの無条件推移が1つのみ設定されている必要があります。

• FOR_LOOPまたはWHILE_LOOPの終了結果からの推移は、ループ結果の結果として実行される可能性のあるアクティビティに接続しないでください。