...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>The Journal of Systems and Software >Backwards reasoning for model transformations: Method and applications
【24h】

Backwards reasoning for model transformations: Method and applications

机译：模型转换的向后推理：方法和应用

获取原文
获取原文并翻译 | 示例
   

获取外文期刊封面封底 >>

       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Model transformations are key elements of model driven engineering. Current challenges for transformation languages include improving usability (i.e., succinct means to express the transformation intent) and devising powerful analysis methods. In this paper, we show how backwards reasoning helps in both respects. The reasoning is based on a method that, given an OCL expression and a transformation rule, calculates a constraint that is satisfiable before the rule application if and only if the original OCL expression is satisfiable afterwards. With this method we can improve the usability of the rule execution process by automatically deriving suitable application conditions for a rule (or rule sequence) to guarantee that applying that rule does not break any integrity constraint (e.g. meta-model constraints). When combined with model finders, this method facilitates the validation, verification, testing and diagnosis of transformations, and we show several applications for both in-place and exogenous transformations.
机译：模型转换是模型驱动工程的关键要素。转换语言当前面临的挑战包括提高可用性（即表达转换意图的简洁手段）和设计强大的分析方法。在本文中，我们展示了向后推理在这两个方面都有帮助。推理基于这样的方法：给定OCL表达式和转换规则，当且仅当原始OCL表达式之后可满足时，才在规则应用前计算可满足的约束。通过这种方法，我们可以通过自动得出规则（或规则序列）的适用条件来保证规则的应用不会破坏任何完整性约束（例如元模型约束），从而提高规则执行过程的可用性。当与模型查找器结合使用时，此方法有助于转换的验证，验证，测试和诊断，并且我们展示了就地转换和外源转换的几种应用。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号