May 16, 2013: Dr. Leen Lambers: Correct Model Transformations

May 16, 2013Correct Model Transformations
Room: Zi 5126Dr. Leen Lambers

In order to cope with the growing complexity of software, models become central software development artefacts. Moreover, automation through model transformations leads to adaptable, cost-effective as well as high-quality software as advocated in the Model-Driven Engineering (MDE) approach. However, errors in these model transformations might cause problems in the complete development chain. Consequently, the success of MDE, in particular its adoption in the safety-critical domain, highly depends on the availability of adequate model transformation techniques as well as methods to show their correctness.

This talk will concentrate on the investigation and development of methods and tooling supporting the development of correct model transformations described by graph transformation. It will start with an introduction to graph transformation as a visual and formal specification technique. It continues with an overview of recent research achievements with respect to model transformation correctness: First, it focuses on how to show conformance of a relational (declarative) model transformation specification technique with its implementation. Then, it discusses syntactic and semantic correctness of model transformations and corresponding automatic verification techniques. These verification techniques are special in the sense that they are independent of the model transformation input. This enables an automatic correctness proof at design time, avoiding the model transformation user to be confronted with failures.