このタスクについて
以下にこのような場合の例を示します。
- 使用できない可能性のあるリソースを状態が割り当てようとしている場合。
- 何らかの入場アクションに応じてブランチする場合。
- ジョイン遷移がある場合。
この接続は、ヌル遷移で達成できます。
ヌル遷移 は、トリガー (イベントやタイムアウト) のない任意の遷移です。ヌル遷移はガード (例えば、[x == 5]) を持つことができます。IBM® Rational® Rhapsody® フレームワークの run-to-completion セマンティクスは、他の方法では検出が困難だと考えられるヌル遷移の無限 (実行時) ループを検査します。
maxNullSteps 数を変更する必要があれば変更して、フレームワークを再コンパイルできます。