Towards Safe Model Transformation for Constraint-driven Modeling

Demuth, Andreas; Riedl-Ehrenleitner, Markus; Lopez-Herrejon, Roberto E.; Egyed, Alexander

Towards Safe Model Transformation for Constraint-driven Modeling

by Andreas Demuth, Markus Riedl-Ehrenleitner, Roberto E. Lopez-Herrejon, Alexander Egyed

Abstract:

Model transformation is a key technology in model-driven engineering. Unfortunately, transformations are typically written manually and thus they are likely to contain errors and to produce incorrect or undesired output. Safe transformation is the guarantee that for every possible source model, the transformed target model is valid with respect to user-definable well-formedness criteria. This paper introduces safe transformation for constraint-driven modeling (CDM), an approach that employs model transformation to generate target model constraints instead of generating a target model directly. Safe transformation for CDM ensures that transformations only produce correct and non-contradictory constraints. We demonstrate the feasibility of safe transformation and present a formal framework for applying it to CDM in arbitrary domains.

View PDF

Reference:

Andreas Demuth, Markus Riedl-Ehrenleitner, Roberto E. Lopez-Herrejon, Alexander Egyed, "Towards Safe Model Transformation for Constraint-driven Modeling", pp. 11-17, 2015.

Bibtex Entry:

@Conference{DBLP:conf/models/DemuthRLE15,
  Title                    = {Towards Safe Model Transformation for Constraint-driven Modeling},
  Author                   = {Andreas Demuth and
 Markus Riedl-Ehrenleitner and
 Roberto E. Lopez-Herrejon and
 Alexander Egyed},
  Booktitle                = {18th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, Canada},
  Year                     = {2015},
  Pages                    = {11--17},

  Abstract                 = {Model transformation is a key technology in model-driven engineering. Unfortunately, transformations are typically written manually and thus they are likely to contain errors and to produce incorrect or undesired output. Safe transformation is the guarantee that for every possible source model, the transformed target model is valid with respect to user-definable well-formedness criteria. This paper introduces safe transformation for constraint-driven modeling (CDM), an approach that employs model transformation to generate target model constraints instead of generating a target model directly. Safe transformation for CDM ensures that transformations only produce correct and
non-contradictory constraints. We demonstrate the feasibility of safe transformation and present a formal framework for applying it to CDM in arbitrary domains.},
  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/models/DemuthRLE15},
  Crossref                 = {DBLP:conf/models/2015modevva},
  Owner                    = {AK117794},
  Timestamp                = {Fri, 20 Nov 2015 15:17:37 +0100},
  Url                      = {http://ceur-ws.org/Vol-1514/paper2.pdf}
}