在Java中解析OCL？

Question

我正在为一门课程编写一个Java程序，该课程将UML类图作为输入，它是一个元模型，允许用户创建元模型中指定类型的图。然后，用户应该能够对该图所建模的实例进行建模

因此，我正在解析生成的表示UML的XML文件，并提取所有类和关联。到目前为止，一切顺利

但还有一些约束，我需要知道，并在用户违反这些约束时发出警告。然而，我不知道如何进行OCL解析。我已经调查过dresden OCL 但我不确定这是否是我想要的，因为我需要在运行时解析OCL，而不是使用eclipse导入模型并从OCL生成java代码

因此，如果有人能告诉我一种解析OCL并提取其基本语法的方法，我将不胜感激

致以最良好的祝愿， 若昂·费尔南德斯

Answer 1

看看EclipseOCL组件（它提供了一个验证器功能，用于评估模型/实例是否满足元模型/模型的良好格式规则）和使用工具（创建OCL的目的是让人们通过在一组实例上评估OCL表达式，以查看表达式的效果，从而使用OCL进行游戏和学习）。两者都是开源的