OCL已经嵌入到UML2.0规约中，建模人员可以在以下（）情况下使用OCL。

OCL已经嵌入到UML2.0规约中，建模人员可以在以下（）情况下使用OCL。
A.使用OCL在类上或者在类模型的类型上定义不变量
B.使用OCL对构造型定义类型不变量
C.将OCL作为一种查询语言
D.使用OCL描述操作和方法的前置和后置条件
正确答案：ABCD