• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Integrated formal methods >Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques
【24h】

Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques

机译：在模型转换中显示完整的语义保留-技术比较

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

摘要

Model transformation is a prime technique in modern, model-driven software design. One of the most challenging issues is to show that the semantics of the models is not affected by the transformation. So far, there is hardly any research into this issue, in particular in those cases where the source and target languages are different. In this paper, we are using two different state-of-the-art proof techniques (explicit bisimulation construction versus borrowed contexts) to show bisimilarity preservation of a given model transformation between two simple (self-defined) languages, both of which are equipped with a graph transformation-based operational semantics. The contrast between these proof techniques is interesting because they are based on different model transformation strategies: triple graph grammars versus in situ transformation. We proceed to compare the proofs and discuss scalability to a more realistic setting.
机译：在现代的，模型驱动的软件设计中，模型转换是一项主要技术。最具挑战性的问题之一是表明模型的语义不受转换的影响。到目前为止，几乎没有对此问题进行任何研究，尤其是在源语言和目标语言不同的情况下。在本文中，我们使用两种不同的最新证明技术（显式双仿真构造与借用上下文）来显示两种简单（自定义）语言之间给定模型转换的双相似性保留。基于图变换的操作语义。这些证明技术之间的对比很有趣，因为它们基于不同的模型转换策略：三元图语法与原位转换。我们将继续比较证明，并讨论可扩展性到更现实的设置。

著录项

  • 来源
    《Integrated formal methods》|2010年|p.183-198|共16页
  • 会议地点 Nancy(FR);Nancy(FR)
  • 作者

    Mathias Huelsbusch; Barbara Koenig; Arend Rensink; Maria Semenyak; Christian Soltenborn; Heike Wehrheim;

  • 作者单位

    Abteilung fur Informatik und Angewandte Kognitionswissenschaft, Universitat Duisburg-Essen, Germany;

    Abteilung fur Informatik und Angewandte Kognitionswissenschaft, Universitat Duisburg-Essen, Germany;

    Department of Computer Science, University of Twente, The Netherlands;

    Institut fur Informatik, Universitat Paderborn, Germany;

    Institut fur Informatik, Universitat Paderborn, Germany;

    Institut fur Informatik, Universitat Paderborn, Germany;

  • 会议组织
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类 理论、方法;
  • 关键词

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号