Ecore，genmodel和OCL

我通过EMF中的Ecore定义了领域特定建模语言的元模型。因此，我从相关的genmodel生成一个编辑器，我可以使用它来创建符合元模型的模型。 我想对元模型的某些元素可以采用的值指定一些OCL约束。如果我可以在Ecore模型中指定这些约束并且相关检查自动生成编辑器Java代码，那将是非常好的。 有没有一种标准的方法可以做到这一点？     
2019-10-28 3 条评论
分享

没有找到相关结果

    已邀请:

    芜任亮蜡

    您应该看一下Eclipse中OCL项目最近的工作“Ecore中的OCL”，或者您可以尝试使用另一种方法将OCL与OCL Juno文档中指定的Ecore集成。     
    2019-10-28 0 0
    分享

    澜悍景哭苟

    第一步是确定如何为ecore（元）模型添加约束。我目前有两种方法可以识别，你可以这样做： 1-具有嵌入ecore模型的注释元素中的ocl表达式。 2-在ecore旁边的单独文件中有OCL表达式。 有关第一种方法的更多信息请参阅OCLInEcore，第二种方法请查看OCLComplete。它们似乎提供了一些用于检查给定模型的OCL约束的API（一致性检查）。 为了您的目的，似乎OCLInEcore是合适的。您可以将您的ocl嵌入到ecore中，并且可以使用OCLInEcore提供的API来检查给定模型是否满足ocl约束。 希望这可以帮助。     
    2019-10-28 0 0
    分享
    为什么被折叠? 0 个回复被折叠

    要回复问题请先登录或注册

    或代码 OrCode.com 备案号：粤ICP备15020848号-1
    Escape time: 0.10325407981873