OCL语法检查器

Question

我一直在寻找对象约束语言（OCL）的现有开源语法检查器。我打算使用OCL标准中没有的其他功能扩展语法检查器，以更适用于我对实体关系图的使用。但是，我发现的大多数项目都基于Eclipse元对象工具（MOF），而我只寻求验证OCL表达式语法的能力（完全独立于任何相关的类图等）。我已经开始研究Dresden OCL Toolkit（dresden-ocl.sourceforge.net）的来源，尽管最新的工具包也打算用于Eclipse MOF。不幸的是，所有下载都在我工作的公司被阻止，并且获得任何下载许可至少需要1-2天，所以我想知道是否有人能指出我正确的方向来找到我的寻找。

非常感谢你。

致以最诚挚的问候，

修纳语

Answer 1

我一直在使用德累斯顿OCL很长一段时间，我认为这是你想要的一个非常好的起点（当然，它并不完美，上次我检查它仍然有一些问题，认识到一些从关联类中设置运算符或导航表达式。）

您还可以查看Eclipse OCL插件/ http://www.eclipse.org/modeling/mdt/downloads/?project=ocl 模型开发工具倡议的一部分

指向其他支持OCL的工具（不一定是开源）的指针：http://modeling-languages.com/content/list-ocl-tools

Answer 2

此外，您可能有兴趣了解一下支持OCL语法检查的其他工具，如Octopus，由Jos Warmer和Anneke Kleppe创建（？），他们是OCL规范的作者。