Rational Developer for System z バージョン 7.6.1

サイクル

さまざまな種類のサイクルがあります。

以下に、アクティビティー図上のサイクルがどのように解釈されるか、サイクルがすべて分離されるのかどうか、または内部サイクルが存在するかどうかについて、説明します。混合サイクルの場合は少し複雑なので、後で説明します。

単純化した観点から、サイクルの解釈は次のように行われると考えてください。

これは、次のように解釈されます。
WHILE TRUE
first_node_of_cycle
...
last_node_of_cycle 
これは、次のように解釈されます。
UNTIL NOT X ... / UNTIL X ...
first_node_of_cycle
...
last_node_of_cycle

UNTIL X と UNTIL NOT X のケースの判別は、最後のノードのどの発信エッジがガード条件を保持しているかどうかによって決まります。


ご利用条件 | フィードバック

このインフォメーション・センターでは Eclipse テクノロジーが採用されています。(http://www.eclipse.org)