Behavioural simulation and equivalences of systems modelled by graph transformation

行为建模和模型转换在模型驱动的软件开发中起着关键作用。为了验证模型转换，行为模拟和等效性是重要的，但往往被忽视的问题。在这个项目中，我们使用图转换不仅定义模型语言和转换，而且定义系统的操作语义和行为等价。在这个项目开始之前，没有系统地研究图转换系统的行为模拟和等价性，这个项目的主要目的是填补这一空白。为了这个目的，我们转移图变换和进程代数之间的概念，并应用相应的结果模型变换的行为保持。在这个项目的第一阶段，我们已经建立了一个概念的转移使用doublepushout转换与借来的上下文，成功的应用程序，特别是模型重构。此外，我们已经开始仔细分析模型转换中出现的问题。在这个项目的第二部分，我们的研究是指导行为问题在特定的应用领域，如企业建模，自适应系统和安全协议的验证。为了解决这些问题，我们重点研究了基于三重图文法的广义应用条件和互模拟、模型转换的正确性以及模型集成与同步等问题。此外，我们扩展了第一部分中开发的工具支持来处理这些新概念。

Behaviour modelling and model transformation play a key role in model driven software development. In order to validate model transformations, behaviour simulation and equivalence are important, but often neglected issues. In this project we use graph transformation not only to define model languages and transformations, but also to define the operational semantics and behavioural equivalence of systems. Before the start of this project there was no systematic study of behaviour simulation and equivalence for graph transformation systems and the main aim of this project is to fill this gap. For this purpose, we transfer concepts between graph transformations and process algebras and apply the corresponding results to behaviour preservation of model transformations. In the first phase of this project we have established a transfer of concepts using doublepushout transformations with borrowed context, with successful applications especially to model refactoring. Moreover, we have started a careful analysis of the problems occurring in model transformations. In part two of this project our research is guided by behavioural problems in specific application domains such as enterprise modelling, self-adaptive systems and verification of security protocols. In order to solve these problems, we especially study generalized application conditions and bisimulation, correctness of model transformations as well as model integration and synchronization based on triple graph grammars. Moreover, we extend the tool support developed in part one to handle these new concepts.