代码之家 › 专栏 › 技术社区 › curious

GMF活动约束-验证

eclipse-gmf eclipse-emf validation eclipse

1

curious · 技术社区 · 14 年前

我有一个emf模型,我想制作一个GMF编辑器来创建这个元模型的实例。我还想使用一些活动的约束来避免emf模型的组件之间的某些连接。例如:我的emf由a、B、C、d组件组成,这些组件派生自一个名为F的通用类,在F中有引用连接F->F,如下所示能够为我提供A,B,C,D组件之间的连接。但当我在GMF编辑器时,我希望有一种机制来避免连接a->B,只允许连接a->C。我了解到,这可以通过OCL语言和链接约束来实现,这些约束可以添加到gmfmap文件中。但是我找不到任何关于OCL词汇表的教程,也找不到进行实时验证的例子有人指路吗?

1 回复 | 直到 14 年前

1

2

Lii bob 8 年前

经过更深入的搜索,我发现了一个非常有用和快速的验证框架。它被称为Eupsilon组的优生学。

Eugenia允许您通过一个文件为最终的GMF编辑器创建所有合适的文件(非常棒,因为否则您必须声明gfmtool、gmfgraph,之后,您可以创建一个新的EVL文件,其中包含模型的约束和不变量。通过在元模型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 )