HOMELv012 制約を記述するためにOMGが定義した言語はどれか。 2026年1月25日 OCLはモデル要素に対する厳密な制約を記述するための言語である。 モデル要素に対する制限やルールを記述するために使用する拡張機構はどれか。 インターフェースであることを示す標準的なステレオタイプはどれか。