[单选]  对象约束语言，简称（），它是一种用于施加在指定的模型元素上约束的语言。