Object Constraint Language Environment

OCLE 是一款 UML CASE 工具，提供对 UML 元模型和模型层的完整 OCL 支持。
最初，我们的主要目标是设计并实现一款对使用 UML 的人员有用的工具。为此，首要任务是实现支持，以根据 UML 1.5 中规定的 WFR 检查 UML 模型的良构性。
为实现这一目标，我们修正了附加操作（AO）和良构性规则（WFR）。在本发行版包含的示例目录中，列出了我们在不同测试中所使用的全部 AO 和 WFR。您可以使用这些规范或自定义规范来检查您的模型。OCLE 提供了强大的 OCL 规范编译与调试支持。
您可使用 XMI 1.0 或 1.1 格式的 UML 模型文件，无论其生成或传输过程中使用的是何种工具或解析器。
除了在元模型层面提供的 OCL 支持外，OCLE 还帮助用户在用户模型层面实现静态和动态检查。动态支持通过生成的 Java 源代码实现。在此背景下，值得强调的是：模型架构和 OCL 规范生成代码的质量，以及支撑所有生成代码使用的连接代码质量。
使用 DTD 描述的 XML 文档的语义检查，是 UML 模型检查的一个直接应用。为便于实现此功能，OCLE 支持 DTD 文件的逆向工程。
最后但同样重要的是，图形界面的设计与实现旨在使 OCLE 的使用自然且直观。除版本 2.0 中新增的功能外，发行包中还包含了非常实用的用户手册及若干详细示例。