A Visual Specification Language for Model-to-Model Transformations

Esther Guerra; Juan de Lara; Dimitrios S. Kolovos; Richard F. Paige

A Visual Specification Language for Model-to-Model Transformations

Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige

Computer Science

Research output: Contribution to conference › Paper › peer-review

Abstract

Model Driven Engineering promotes models as the core assets of projects and hence model transformations become first-class citizens in this approach. Likewise, the development of large scale transformations necessitates a systematic engineering process and supporting modelling notations. However, although many languages have been proposed to implement transformations, few allow their specification at a higher level of abstraction. In this paper we present a visual, formal, declarative specification language to express model-to-model transformations and their correctness properties. The language supports the two main approaches to model-to-model transformation -- trace-based and traceless -- with a unified formal semantics. Moreover, we provide a compilation of specifications into OCL as this has many practical applications, e.g. it allows injecting assertions and correctness properties for automated testing of transformation implementations based on OMG standards.

Original language	Undefined/Unknown
Pages	119-126
Publication status	Published - 2010

Access to Document

http://dx.doi.org/10.1109/VLHCC.2010.25

Cite this

@conference{1cd256c6414547248d4c86bdaf263219,

title = "A Visual Specification Language for Model-to-Model Transformations",

abstract = "Model Driven Engineering promotes models as the core assets of projects and hence model transformations become first-class citizens in this approach. Likewise, the development of large scale transformations necessitates a systematic engineering process and supporting modelling notations. However, although many languages have been proposed to implement transformations, few allow their specification at a higher level of abstraction. In this paper we present a visual, formal, declarative specification language to express model-to-model transformations and their correctness properties. The language supports the two main approaches to model-to-model transformation -- trace-based and traceless -- with a unified formal semantics. Moreover, we provide a compilation of specifications into OCL as this has many practical applications, e.g. it allows injecting assertions and correctness properties for automated testing of transformation implementations based on OMG standards.",

author = "Esther Guerra and Lara, {Juan de} and Kolovos, {Dimitrios S.} and Paige, {Richard F.}",

year = "2010",

language = "Undefined/Unknown",

pages = "119--126",

}

TY - CONF

T1 - A Visual Specification Language for Model-to-Model Transformations

AU - Guerra, Esther

AU - Lara, Juan de

AU - Kolovos, Dimitrios S.

AU - Paige, Richard F.

PY - 2010

Y1 - 2010

N2 - Model Driven Engineering promotes models as the core assets of projects and hence model transformations become first-class citizens in this approach. Likewise, the development of large scale transformations necessitates a systematic engineering process and supporting modelling notations. However, although many languages have been proposed to implement transformations, few allow their specification at a higher level of abstraction. In this paper we present a visual, formal, declarative specification language to express model-to-model transformations and their correctness properties. The language supports the two main approaches to model-to-model transformation -- trace-based and traceless -- with a unified formal semantics. Moreover, we provide a compilation of specifications into OCL as this has many practical applications, e.g. it allows injecting assertions and correctness properties for automated testing of transformation implementations based on OMG standards.

AB - Model Driven Engineering promotes models as the core assets of projects and hence model transformations become first-class citizens in this approach. Likewise, the development of large scale transformations necessitates a systematic engineering process and supporting modelling notations. However, although many languages have been proposed to implement transformations, few allow their specification at a higher level of abstraction. In this paper we present a visual, formal, declarative specification language to express model-to-model transformations and their correctness properties. The language supports the two main approaches to model-to-model transformation -- trace-based and traceless -- with a unified formal semantics. Moreover, we provide a compilation of specifications into OCL as this has many practical applications, e.g. it allows injecting assertions and correctness properties for automated testing of transformation implementations based on OMG standards.

UR - http://www.scopus.com/inward/record.url?scp=79952059056&partnerID=8YFLogxK

M3 - Paper

SP - 119

EP - 126

ER -

A Visual Specification Language for Model-to-Model Transformations

Abstract

Access to Document

Other files and links

Cite this