GMF实时约束 - 验证

Question

我有一个EMF模型，我想制作一个GMF编辑器来创建此metamodel的实例。我还希望进行一些实时约束，以避免我的EMF模型的组件之间的某些连接。EG：我的EMF由A组成， b，c，d的组件从一个称为f的通用类中得出的组件，在f内有连接f-> f的参考，因此能够为我提供a，b，c，d组件之间的连接。但是，当我在GMF编辑器中时，我希望有一种避免连接A-> b的机制，并且仅允许连接a-> c。我读到，这可以通过OCL语言和链接约束来实现，这些约束能够在GMFMAP文件中添加。但是我找不到有关OCL词汇量的任何教程，并且可以实时验证某人的任何指示？

Answer 1

经过更深入的搜索，我发现了一个非常有用且快速的验证框架。它被称为Epsilon Group的Eugenia。

Eugenia允许您通过单个文件为最终的GMF编辑器创建所有适当的文件（非常棒，因为否则您必须自己声明gfmtool，gmfgraph等），然后您可以创建一个新的EVL文件，该文件包含约束和约束和模型的不变性。映射是通过在MetAmodel URI上提供和扩展点可以轻松进行的，而您要做的就是在您的最终Eclipse配置中包含不访问EVL文件的新插件。 http://www.eclipse.org/gmt/epsilon/doc/articles/evl-gmf-integration/

（请小心，不要将图代码作为RPC应用程序生成，因为RPC无法正常工作。对于任何其他信息，请在此处查看： http://giampow.blogspot.com/2010/06/eclipse-rcp-application-custom-problems.html )