Automated Software Engineering

, Volume 20, Issue 1, pp 5–46

Automated verification of model transformations based on visual contracts

  • Esther Guerra
  • Juan de Lara
  • Manuel Wimmer
  • Gerti Kappel
  • Angelika Kusel
  • Werner Retschitzegger
  • Johannes Schönböck
  • Wieland Schwinger
Article

DOI: 10.1007/s10515-012-0102-y

Cite this article as:
Guerra, E., de Lara, J., Wimmer, M. et al. Autom Softw Eng (2013) 20: 5. doi:10.1007/s10515-012-0102-y

Abstract

Model-Driven Engineering promotes the use of models to conduct the different phases of the software development. In this way, models are transformed between different languages and notations until code is generated for the final application. Hence, the construction of correct Model-to-Model (M2M) transformations becomes a crucial aspect in this approach.

Even though many languages and tools have been proposed to build and execute M2M transformations, there is scarce support to specify correctness requirements for such transformations in an implementation-independent way, i.e., irrespective of the actual transformation language used.

In this paper we fill this gap by proposing a declarative language for the specification of visual contracts, enabling the verification of transformations defined with any transformation language. The verification is performed by compiling the contracts into QVT to detect disconformities of transformation results with respect to the contracts. As a proof of concept, we also report on a graphical modeling environment for the specification of contracts, and on its use for the verification of transformations in several case studies.

Keywords

Model-Driven Engineering Model transformation Contract-based specification Verification QVT-relations 

Copyright information

© Springer Science+Business Media, LLC 2012

Authors and Affiliations

  • Esther Guerra
    • 1
  • Juan de Lara
    • 1
  • Manuel Wimmer
    • 2
  • Gerti Kappel
    • 2
  • Angelika Kusel
    • 3
  • Werner Retschitzegger
    • 3
  • Johannes Schönböck
    • 2
  • Wieland Schwinger
    • 3
  1. 1.Universidad Autónoma de MadridMadridSpain
  2. 2.Vienna University of TechnologyViennaAustria
  3. 3.Johannes Kepler University LinzLinzAustria

Personalised recommendations