Regresar

A declarative and bidirectional model transformation approach based on graph co-spans

Abstract:

In Model Driven Engineering (MDE) models are the main artefacts of the software development process. Model transformations are used both in the software development phase and for verification and simulation of the system behaviour. Hence, tools and languages for describing model transformations are essential in MDE. While many practical transformation languages and tools have been proposed, there is still the need for formal foundations of model transformations. In this work we propose a novel formalisation of model transformations based on graph transformation and category theory. Differently from current approaches, our formalisation is based on the definition of integration models and co-span rules, being purely declarative and bidirectional by nature. Transformations are performed by rule amalgamation in a way that guarantees confluence and termination, and we show correctness and completeness of this mechanism with respect to the specification. © 2013 ACM.