プロファイルにおいて、特定の条件を満たすモデル要素を定義する制約の記述形式はどれか。

UMLの制約記述には一般的にObject Constraint Languageが用いられる。