HOMELv008 OCLの「inv:」キーワードは何を定義するために使用されるか。 2026年3月18日 不変条件（Invariant）は、システムの状態に関わらず常に真でなければならない制約を定義する。 「パッケージ」自体が別のパッケージに包含される場合、包含側のパッケージを何と呼ぶか。 コンポジット構造において、ポートの属性「isService = false」が意味するものはどれか。
