HOMELv009 コンポジット構造において、ポートの属性「isService = false」が意味するものはどれか。 2026年3月18日 isServiceがfalseのポートは、その分類子の外部公開インターフェースの一部ではないことを示す。 OCLの「inv:」キーワードは何を定義するために使用されるか。 遷移の「効果（Effect）」として定義された振る舞いは、いつ実行されるか。
