Constraint-Driven Modeling through Transformation (bibtex)
by Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed
Abstract:
In model-driven software engineering, model transformation plays a key role for automatically generating and updating models. Transformation rules define how source model elements are to be transformed into target model elements. However, defining transformation rules is a complex task, especially in situations where semantic differences or incompleteness allow for alternative interpretations or where models change continuously before and after transformation. This paper proposes constraint-driven modeling where transformation is used to generate constraints on the target model rather than the target model itself. We evaluated the approach on three case studies that address the above difficulties and other common transformation issues. We also developed a proof-of-concept implementation that demonstrates its feasibility. The implementation suggests that constraint-driven transformation is an efficient and scalable alternative and/or complement to traditional transformation.
Reference:
Constraint-Driven Modeling through Transformation (Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed), In Software and System Modeling, volume 14, 2015.
Bibtex Entry:
@Article{DBLP:journals/sosym/DemuthLE15,
  author    = {Andreas Demuth and Roberto E. Lopez{-}Herrejon and Alexander Egyed},
  title     = {Constraint-Driven Modeling through Transformation},
  journal   = {Software and System Modeling},
  year      = {2015},
  volume    = {14},
  number    = {2},
  pages     = {573--596},
  abstract  = {In model-driven software engineering, model transformation plays a
	key role for automatically generating and updating models. Transformation
	rules define how source model elements are to be transformed into
	target model elements. However, defining transformation rules is
	a complex task, especially in situations where semantic differences
	or incompleteness allow for alternative interpretations or where
	models change continuously before and after transformation. This
	paper proposes constraint-driven modeling where transformation is
	used to generate constraints on the target model rather than the
	target model itself. We evaluated the approach on three case studies
	that address the above difficulties and other common transformation
	issues. We also developed a proof-of-concept implementation that
	demonstrates its feasibility. The implementation suggests that constraint-driven
	transformation is an efficient and scalable alternative and/or complement
	to traditional transformation.},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/sosym/DemuthLE15},
  doi       = {10.1007/s10270-013-0363-3},
  file      = {:Journals\\SoSyM 2013 - Constraint-Driven Modeling through Transformation\\Constraint-driven modeling through transformation-preprint.pdf:PDF},
  keywords  = {FWF P21321, FWF P23115, FWF M1421, FWF P25513},
  owner     = {AK117794},
  timestamp = {Tue, 05 May 2015 12:58:22 +0200},
  url       = {http://dx.doi.org/10.1007/s10270-013-0363-3},
}
Powered by bibtexbrowser