Specifying and Recognizing Model Changes in Networks of Models

指定和识别模型网络中的模型变化

• 批准号: 221707513
• 负责人: Professor Dr. Udo Kelter
• 金额: --
• 依托单位: Lehrstuhl Softwaretechnik und Datenbanksysteme
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 2012
• 资助国家: 德国
• 起止时间: 2011-12-31 至 2020-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/221707513?language=en
• 关键词: Specifying; Recognizing; Model; Changes; Networks

Model-based software development has become a widely accepted approach for embedded systems and in application domains where software must be maintainable and long-living. Models are subject to continuous change and have many versions during their lifetime. The specification and recognition of changes in models is the key to understand and manage the evolution of a model-based system. However, currently available versioning tools operate on low-level, sometimes tool-specific model representations. The resulting differences are often not understandable. It is a largely open problem how to use high-level edit operations, e.g. as offered by modern refactoring tools, to present and handle model differences and to analyse the evolution of models. The tight integration of editing and versioning tools requires consistent specifications of edit operations; this integration is another open problem. This project adresses both problems by consistently lifting model versioning concepts, techniques, and tools from low-level to high-level model changes. All concepts shall be formalized by graph transformation concepts in order to reason about complex model modifications and their inter-relations. Our approach will be implemented and evaluated based on the widely used Eclipse Modeling Project.

基于模型的软件开发已经成为嵌入式系统和软件必须具有可维护性和长寿命的应用领域中被广泛接受的方法。模型是不断变化的，在其生命周期中有许多版本。模型变更的规范和识别是理解和管理基于模型的系统演化的关键。然而，当前可用的版本控制工具在低级的、有时是特定于工具的模型表示上操作。由此产生的差异往往是无法理解的。如何使用高级编辑操作(例如，由现代重构工具提供的)来表示和处理模型差异并分析模型的演变，这在很大程度上是一个悬而未决的问题。编辑和版本控制工具的紧密集成需要一致的编辑操作规范；这种集成是另一个悬而未决的问题。该项目通过始终如一地将模型版本化概念、技术和工具从低级模型更改提升到高级模型更改来解决这两个问题。所有概念都应通过图形转换概念进行形式化，以便对复杂的模型修改及其相互关系进行推理。我们的方法将基于广泛使用的Eclipse建模项目来实现和评估。