Tripel Graph Grammars (TGG) 3.0: A Framework for Reliable, Continuous Model Integration

三重图语法 (TGG) 3.0：可靠、连续模型集成的框架

• 批准号: 320336531
• 负责人: Professor Dr. Andreas Schürr
• 金额: --
• 依托单位: Fachgebiet Echtzeitsysteme
• 依托单位国家: 德国
• 项目类别: Research Grants
• 资助国家: 德国
• 项目状态: 未结题
• 来源: https://gepris.dfg.de/gepris/projekt/320336531?language=en
• 关键词: Tripel; Graph; Grammars; TGG; 3.0

Model-Driven Engineering (MDE) is an established approach to manage the increasing complexity of engineering products. Models help to capture the essence of product developments. As engineering projects tend to become more complex and development teams increasingly work in distributed settings, support for collaborative modelling processes on networks of models becomes more and more important. Collaborative modelling on networks of models is not yet mature enough to automatically detect and resolve inconsistencies and conflicts between model changes. Current MDE methods either allow only synchronous modelling activities, provide a "team variant" with pessimistic locking at the model element level, or allow only limited possibilities for concurrent editing of model pairs.Bidirectional transformations (BX) promise to greatly simplify the development of model synchronization tasks. While BX approaches are mature for basic model synchronization processes on model pairs, they still have severe shortcomings in practical use, as model networks are often changed concurrently and model inconsistencies cannot always be resolved immediately. Existing approaches do not always scale sufficiently in practice or do not guarantee the correctness and completeness of computed model synchronizations. To strengthen the MDE vision for modelling in large projects, we aim to develop a framework for reliable, continuous model integration that provides a conceptual and technological basis for collaborative modelling processes across multiple application domains. This framework will support continuous integration of concurrent changes to models in a network while tolerating temporary model inconsistencies. Since Triple Graph Grammars (TGGs), a rule-based BX-approach, have proven to work well in practice and have a comprehensive formal foundation, we will develop the framework in the context of TGGs. Based on improved model synchronization methods and tools for TGGs that we developed in the first funding phase, our framework will support the development of networks of cooperating model integrators. Each model integrator is tasked with performing reliable, continuous model integration on a pair of connected models. To achieve this goal, each model integrator uses a Monitor-Analyze-Plan-Execute-cycle driven by a knowledge component (MAPE-K-cycle); a concept adopted from Self-X systems. For large-scale model integration, we consider networks of concurrently active model integrators. Our framework will be evaluated at Arcadia, a state-of-the-art methodology for model-based engineering in industry.

模型驱动工程（MDE）是一种成熟的方法来管理日益复杂的工程产品。模型有助于捕捉产品开发的本质。随着工程项目变得越来越复杂，开发团队越来越多地在分布式环境中工作，对模型网络上的协作建模过程的支持变得越来越重要。模型网络上的协作建模还不够成熟，无法自动检测和解决模型更改之间的不一致和冲突。当前的MDE方法要么只允许同步建模活动，要么在模型元素级别提供一个带有悲观锁定的“团队变体”，要么只允许有限的并发编辑模型对的可能性。虽然BX方法对于模型对上的基本模型同步过程是成熟的，但是它们在实际使用中仍然具有严重的缺点，因为模型网络经常同时改变，并且模型不一致性不能总是立即解决。现有的方法并不总是在实践中充分扩展或不保证计算模型同步的正确性和完整性。为了加强大型项目建模的MDE愿景，我们的目标是开发一个可靠的，持续的模型集成框架，为跨多个应用领域的协作建模过程提供概念和技术基础。该框架将支持对网络中模型的并发更改进行持续集成，同时容忍临时模型不一致。由于三重图文法（TGG），一个基于规则的BX方法，已被证明在实践中工作良好，并有一个全面的正式的基础，我们将开发的框架在TGG的上下文中。基于改进的模型同步方法和工具，我们在第一个融资阶段开发的TGG，我们的框架将支持合作模型集成商网络的发展。每个模型集成器的任务是在一对连接的模型上执行可靠、连续的模型集成。为了实现这一目标，每个模型集成器都使用由知识组件驱动的搜索-分析-计划-执行循环（MAPE-K循环）;这是从Self-X系统中采用的概念。对于大规模的模型集成，我们考虑网络的并发活动的模型集成。我们的框架将在阿卡迪亚进行评估，阿卡迪亚是工业中基于模型的工程的最先进的方法。