A Visual Specification Language for Model-to-Model Transformations

Authors:
Esther Guerra;Juan de Lara;Dimitris Kolovos;Richard Paige
Affiliations:
-;-;-;-
Venue:
VLHCC '10 Proceedings of the 2010 IEEE Symposium on Visual Languages and Human-Centric Computing
Year:
2010

Citing 0
Cited 9

transML: a family of languages to model model transformations

MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
On the importance of model comparison tools for the automatic evaluation of the correctness of model transformations

Proceedings of the 2nd International Workshop on Model Comparison in Practice
Test suite quality for model transformation chains

TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
Specification-Driven test generation for model transformations

ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Automated verification of model transformations based on visual contracts

Automated Software Engineering
Verification of ATL transformations using transformation models and model finders

ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Inter-modelling with patterns

Software and Systems Modeling (SoSyM)
Engineering model transformations with transML

Software and Systems Modeling (SoSyM)
Towards domain-specific property languages: the ProMoBox approach

Proceedings of the 2013 ACM workshop on Domain-specific modeling

Quantified Score

Hi-index	0.00

Visualization

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.