HOMELv020 シーケンス図において「状態不変式（State Invariant）」はどこに配置されるか。 2026年1月25日 状態不変式（角丸四角形など）はライフライン上に置かれ、実行フローがそこに達した時点で評価される。偽であればトレースは無効となる。 多重度要素（MultiplicityElement）の下限（lower）と上限（upper）において、無制限（unbounded）を表す値はUMLメタモデル上どう表現されるか。 UML/OCLにおいて、シグナル送信（Signal Send）と操作呼び出し（Operation Call）の違いは、OCLメッセージ式でどう区別されるか。
