さまざまな種類のサイクルがあります。
以下に、アクティビティー図上のサイクルがどのように解釈されるか、サイクルがすべて分離されるのかどうか、または内部サイクルが存在するかどうかについて、説明します。混合サイクルの場合は少し複雑なので、後で説明します。
単純化した観点から、サイクルの解釈は次のように行われると考えてください。
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 のケースの判別は、最後のノードのどの発信エッジがガード条件を保持しているかどうかによって決まります。