多版本模型的三重图文法
Triple Graph Grammars for Multi-version Models
摘要：
像传统的软件项目一样，模型驱动的软件工程中的项目需要对开发工件的多个版本进行充分的管理，重要的是允许暂时的不一致。在模型驱动的软件工程的情况下，所采用的版本控制方法还必须处理不同工件（即不同模型）通过自动模型转换链接的情况。在本报告中，我们提出了一种技术，用于联合处理多个版本的源模型转换为相应版本的目标模型，这使得使用更紧凑的表示，可以提供更好的执行时间的转换和进一步的分析操作。我们的方法是基于著名的形式主义的三重图文法和先前介绍的编码模型版本的历史称为多版本模型。除了显示我们的方法的正确性相对于三重图语法的标准语义，我们进行了实证评估，证明了潜在的好处执行时间性能。
英文摘要：
Like conventional software projects, projects in model-driven software engineering require adequate management of multiple versions of development artifacts, importantly allowing living with temporary inconsistencies. In the case of model-driven software engineering, employed versioning approaches also have to handle situations where different artifacts, that is, different models, are linked via automatic model transformations. In this report, we propose a technique for jointly handling the transformation of multiple versions of a source model into corresponding versions of a target model, which enables the use of a more compact representation that may afford improved execution time of both the transformation and further analysis operations. Our approach is based on the well-known formalism of triple graph grammars and a previously introduced encoding of model version histories called multi-version models. In addition to showing the correctness of our approach with respect to the standard semantics of triple graph grammars, we conduct an empirical evaluation that demonstrates the potential benefit regarding execution time performance.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
