OCL语法检查器

Question

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

非常提前感谢您。

诚挚的问候,

Shona

Answer 1

我已经使用Dresden OCL很长一段时间了，我认为它是你想要的东西的一个很好的起点(当然，它并不完美，上次我检查它在识别一些集合运算符或关联类的导航表达式时仍然存在一些问题)。

您还可以了解一下Eclipse OCL plug/in http://www.eclipse.org/modeling/mdt/downloads/?project=ocl部分的模型开发工具

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

Answer 2

此外，您可能有兴趣了解一下其他支持OCL语法检查的工具，如Octopus、created(?)作者: Jos Warmer和Anneke Kleppe，他们是OCL规范的作者。