首页> 外文期刊>Software and systems modeling >Model synchronization based on triple graph grammars: correctness, completeness and invertibility
【24h】

Model synchronization based on triple graph grammars: correctness, completeness and invertibility

机译:基于三元图语法的模型同步:正确性,完整性和可逆性

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

摘要

Triple graph grammars (TGGs) have been used successfully to analyze correctness and completeness of bidirectional model transformations, but a corresponding formal approach to model synchronization has been missing. This paper closes this gap by providing a formal synchronization framework with bidirectional update propagation operations. They are generated from a given TGG, which specifies the language of all consistently integrated source and target models. As our main result, we show that the generated synchronization framework is correct and complete, provided that forward and backward propagation operations are deterministic. Correctness essentially means that the propagation operations preserve and establish consistency while completeness ensures that the operations are defined for all possible inputs. Moreover, we analyze the conditions under which the operations are inverse to each other. All constructions and results are motivated and explained by a running example, which leads to a case study, using concrete visual syntax and syntax notation based on typed attributed graphs.
机译:三元图语法(TGG)已成功用于分析双向模型转换的正确性和完整性,但是缺少相应的形式化模型同步方法。本文通过提供带有双向更新传播操作的正式同步框架来弥合这一差距。它们是从给定的TGG生成的,该TGG指定了所有一致集成的源模型和目标模型的语言。作为我们的主要结果,我们证明了所生成的同步框架是正确且完整的,前提是向前和向后传播操作是确定性的。正确性实质上意味着传播操作可以保留并建立一致性,而完整性则可以确保为所有可能的输入定义操作。此外,我们分析了运算彼此相反的条件。所有构造和结果都是通过一个运行中的示例来激发和解释的,并通过使用具体的视觉语法和基于类型化属性图的语法表示法来进行案例研究。

著录项

  • 来源
    《Software and systems modeling》 |2015年第1期|241-269|共29页
  • 作者单位

    Interdisciplinary Center for Security, Reliability and Trust, Universite du Luxembourg, Luxembourg, Luxembourg;

    Institut fuer Softwaretechnik und Theoretische Informatik, Technische Universitaet Berlin, Berlin, Germany;

    Departament de Llenguatges i Sistemes Informatics, Universitat Politecnica de Catalunya, Barcelona, Spain;

    Generative Software Development Lab, University of Waterloo, Waterloo, Canada;

    Generative Software Development Lab, University of Waterloo, Waterloo, Canada;

    Key Laboratory of High Confidence Software Technologies (Peking University) Ministry of Education, Beijing, China ,Institute of Software, School of Electronics Engineering and Computer Science Peking University, Beijing, China;

    Interdisciplinary Center for Security, Reliability and Trust, Universite du Luxembourg, Luxembourg, Luxembourg;

    Interdisciplinary Center for Security, Reliability and Trust, Universite du Luxembourg, Luxembourg, Luxembourg;

  • 收录信息
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

    Model synchronization; Correctness; Bidirectional model transformation; Triple graph grammars;

    机译:模型同步;正确性;双向模型转换;三重图文法;

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号