• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Model driven engineering languages and systems >On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars
【24h】

On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars

机译：基于三重图文法的动态转换，模型转换的正确性和完整性

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Triple graph grammars (TGGs) arc a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rules for bidirectional model transformations, which simplifies specification and enhances usability as well as consistency.rnIn this paper we continue previous work on the formal definition of model transformations based on triple graph rules with negative application conditions (NACs). The new notion of partial source consistency enables us to construct consistent model transformations on-the-fly instead of analyzing consistency of completed model transformations.rnWe show the crucial properties termination, correctness and completeness (including NAC-consistency) for the model transformations resulting from our construction. Moreover, we define parallel independence for model transformation steps which allows us to perform partial-order reduction in order to improve efficiency. The results are applicable to several relevant model transformations and in particular to our example transformation from class diagrams to database models.
机译：三元图语法（TGG）是规范模型转换的正式且直观的概念。它们的主要优点是可自动导出双向模型转换的操作规则，从而简化了规范并增强了可用性和一致性.rn本文中，我们继续进行先前的工作，即基于具有负应用条件的三元图规则的模型转换的形式定义（ NAC）。新的部分源一致性概念使我们能够即时构建一致的模型转换，而不用分析已完成的模型转换的一致性。rn我们展示了因以下原因而导致的模型转换的关键属性终止，正确性和完整性（包括NAC一致性）。我们的建设。此外，我们为模型转换步骤定义了并行独立性，这使我们能够执行偏序约简以提高效率。结果适用于几种相关的模型转换，尤其适用于从类图到数据库模型的示例转换。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号