Object Constraint Language Environment

OCLE 是一个 UML CASE 工具，在 UML 元模型和模型级别提供完整的 OCL 支持。 一开始，我们的主要目标是设计和实现一个对 UML 工作人员有用的工具。在这方面，第一个目标是实现根据 UML 1.5 中指定的 WFR 检查 UML 模型的格式良好性所需的支持。 为了做到这一点，我们纠正了附加操作和格式良好的规则。在这个发行版中包含的示例目录中，指定了我们在不同测试中使用的所有 AO 和 WFR。我们可以使用这些规格或您自己的规格来检查您的型号。 OCLE 为编译和调试 OCL 规范提供了非常强大的支持。 您可以使用 XMI 1.0 或 1.1 中保存的 UML 模型，而不管生成和传输模型时使用的工具和解析器如何。 除了元模型级别提供的 OCL 支持之外，OCLE 还帮助用户在用户模型级别实现静态和动态检查。动态支持是通过生成的 Java 源代码提供的。在这种情况下，值得一提的是为模型架构和 OCL 规范生成的代码的质量，以及支持使用所有生成的代码的粘合的质量。 使用 DTD 描述的 XML 文档的语义检查是 UML 模型检查的直接应用之一。为了实现这一点，OCLE 启用了 DTD 文件的逆向工程。 最后但并非最不重要的一点是，图形界面的构思和实现的目的是支持以自然直观的方式使用 OCLE。除了2.0版本中实现的新功能之外，发行包中还包含非常有用的用户手册和一些详细的示例。

OCLE是一个UML CASE工具，为UML元模型和模型级别提供完整的OCL支持，旨在帮助UML工作者检查UML模型的规范性，并支持OCL规范的编译和调试。