Towards Safe Model Transformation for Constraint-driven Modeling (bibtex)
by Andreas Demuth, Markus Riedl-Ehrenleitner, Roberto E. Lopez-Herrejon, Alexander Egyed
Abstract:
Model transformation is a key technology in modeldriven 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 wellformedness 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.
Reference:
Towards Safe Model Transformation for Constraint-driven Modeling (Andreas Demuth, Markus Riedl-Ehrenleitner, Roberto E. Lopez-Herrejon, Alexander Egyed), In Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, (MoDeVVa@MoDELS 2015), Ottawa, Canada, 2015.
Bibtex Entry:
@Conference{DBLP:conf/models/DemuthRLE15,
  author    = {Andreas Demuth and Markus Riedl-Ehrenleitner and Roberto E. Lopez-Herrejon and Alexander Egyed},
  title     = {Towards Safe Model Transformation for Constraint-driven Modeling},
  booktitle = {Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, (MoDeVVa@MoDELS 2015), Ottawa, Canada},
  year      = {2015},
  pages     = {11--17},
  abstract  = {Model transformation is a key technology in modeldriven 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 wellformedness 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},
  file      = {:Conferences\\MODELS 2015 - Towards Safe Model Transformation for Constraing-driven Modeling\\Towards Saft Model Transformation fo Constraing-driven Modeling-preprint.pdf:PDF},
  keywords  = {FWF P25513},
  timestamp = {Mon, 30 May 2016 16:28:38 +0200},
  url       = {http://ceur-ws.org/Vol-1514/paper2.pdf},
}
Powered by bibtexbrowser