HOMELv018 シーケンス図において、ライフラインの頭部にクラス名だけでなく「パート名（役割名）」が記述されている（例：`order : Order`）場合、それは何を表しているか。 2026年1月25日 相互作用が特定のクラスの内部構造に関連付けられている場合、ライフラインはそのクラスの「パート（役割）」を表し、特定のインスタンススロットに対応する。 ステートマシン図の「領域（Region）」の説明として正しいものはどれか。 OCLの事後条件（post）において、`oclIsNew()` 操作がtrueを返す条件はどれか。
