複合フラグメントのオペレータ

オペレータ

説明

alt

ブーリアン(真偽値)によって分割される複合フラグメントであることを示します。

opt

条件によっては実行される可能性のある、追加の複合フラグメントです。

break

処理が中断される条件とその処理を示します。

par

並行処理されることを示しています。

loop

(制約によって指定される)ある一定の回数繰り返される処理を表します。

critical

他のプロセスによって中断されることのできない処理を表します。

neg

フラグメント内の処理は無効であることを意味しています。

assert

有効となる条件が記述されたフラグメントです。consider または ignore 内に囲まれる形式で使用されることがあります。

strict

振る舞いが厳密に行われなければならないことを示しています。

seq

弱シーケンスであることを示しています。これは、複合フラグメントが複数の区画を持つ場合に指定可能であり、それぞれの区画内の順序は維持されるが、異なる区画間の順序は未定義であることを意味します。

ignore

どのメッセージが無効か、またはメッセージがトレースのどの段階で出現できるかを示しています。

consider

どのメッセージがトレースにおいて実行されるべきかを示します。イベント発生の結果を特定するために assert と共に使用されることがあります。

ref

他のダイアグラムへの参照を示します。

refフラグメントは、ツールボックスの複合フラグメント要素からは作成できません。refフラグメントを作成するためには、モデルブラウザから既存のダイアグラムを現在のダイアグラムへドロップします。