Contact

Director

Prof. Dr. Ernst-Rüdiger Olderog

Department of Computing Science
FK II
University of Oldenburg
D-26111 Oldenburg, Germany

Coordinator

Ira Wempe

Department of Computing Science
FK II
University of Oldenburg
D-26111 Oldenburg, Germany

Gabriele Taentzer

Specifying and Recognizing model changes based on Edit Operations

Prof. Dr. Gabriele Taentzer,  Universität Marburg

Abstract:

In model-based software development, models are iteratively evolved. To optimally support model evolution, developers need adequate tools for model versioning tasks, including comparison, patching, and merging of models. A significant disadvantage of tools currently avialable ist hat they display, and operate with, low-level model changes referring to internal model representations and potentially leading to intermediate inconsistent states. Higher-level consistency-preserving edit operations including refactorings are better suited to explain changes or to resolve conflicts. This talk presents an automatic procedure with transforms a low-level difference into a set of consistency-öpreserving edit operations only. It lays a basis for consistency-preserving model patching and merging. The approach is illustrated at UML expamples basing on the Eclipse Modeling Framework.

(Changed: 19 Jan 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page