ガード条件

統一モデリング言語 (UML) シーケンス図では、ガード条件は、結合フラグメントの相互作用オペランドをガードするブール条件式で、相互作用制約とも呼ばれます。

ガード条件には、ループ結合フラグメントを実行する最小回数と最大回数を指定する 2 つの式が含まれます。

シーケンス図では、ガード条件は、結合フラグメントの相互作用オペランドの大括弧内に設定されるセマンティック条件または制限です。結合フラグメントを作成すると、ガード条件は自動的に作成されます。また、既存のガード条件がない相互作用オペランド内に、ガード条件を手動で作成することもできます。

ガード条件は相互作用の開始時に発生し、相互作用オペランド内でトレースを実行するかどうかを判断するために必要なすべての情報を含みます。ガード条件テストが真であれば、トレースは実行されます。ガード条件はオプションであるため、相互作用オペランド内にガード条件が指定されない場合も相互作用は実行されます。

以下の図に、相互作用でのガード条件の表現方法を示します。

この相互作用フレームは、ライフラインと交差する 2 つの結合フラグメントを持つ 2 つのライフラインを示します。最初のループ結合フラグメントには、1 つの相互作用オペランドおよびガード条件が含まれます。2 番目の代替結合フラグメントには、それぞれガード条件を持つ 2 つの相互作用オペランドがあります。

関連概念
相互作用演算子
相互作用オペランド
関連タスク
相互作用オペランドへのガード条件の追加
ご利用条件 | フィードバック
(C) Copyright IBM Corporation 2004, 2005. All Rights Reserved. (C) Copyright IBM Japan 2005