Constraint-Driven Modeling through Transformation. (bibtex)
by Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed
Abstract:
In model-driven software engineering, model transformations play a key role since they are used to automatically generate and update models from existing information. However, defining concrete transformation rules is a complex task because the designer has to cope with incompleteness, ambiguity, bidirectionality, and rule dependencies. In this paper, we propose a vision of Constraint-driven Modeling in which transformation is used to automate the generation of model constraints instead of generating entire models. Three illustrative scenarios show how this approach addresses common transformation issues and how designers can benefit from using model constraints and guidance. We developed a proof-of-concept implementation that covers an important part of this vision and thus demonstrates its feasibility. The implementation also suggests that a constraint-driven transformation is effiient and scales even with increasing numbers of involved models.
Reference:
Constraint-Driven Modeling through Transformation. (Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed), In 5th International Conference on Theory and Practice of Model Transformations (ICMT), Prague, Czech Republic (Zhenjiang Hu, Juan de Lara, eds.), Springer, volume 7307, 2012.
Bibtex Entry:
@Conference{DBLP:conf/icmt/DemuthLE12,
  author    = {Andreas Demuth and Roberto E. Lopez-Herrejon and Alexander Egyed},
  title     = {Constraint-Driven Modeling through Transformation.},
  booktitle = {5th International Conference on Theory and Practice of Model Transformations (ICMT), Prague, Czech Republic},
  year      = {2012},
  editor    = {Zhenjiang Hu and Juan de Lara},
  volume    = {7307},
  pages     = {248-263},
  publisher = {Springer},
  abstract  = {In model-driven software engineering, model transformations play a
	key role since they are used to automatically generate and update
	models from existing information. However, defining concrete transformation
	rules is a complex task because the designer has to cope with incompleteness,
	ambiguity, bidirectionality, and rule dependencies. In this paper,
	we propose a vision of Constraint-driven Modeling in which transformation
	is used to automate the generation of model constraints instead of
	generating entire models. Three illustrative scenarios show how this
	approach addresses common transformation issues and how designers
	can benefit from using model constraints and guidance. We developed
	a proof-of-concept implementation that covers an important part of
	this vision and thus demonstrates its feasibility. The implementation
	also suggests that a constraint-driven transformation is effiient
	and scales even with increasing numbers of involved models.},
  doi       = {10.1007/978-3-642-30476-7_17},
  file      = {:Conferences\\ICMT 2012 - Constraint-driven Modeling through Transformation\\Constraint-driven Modeling through Transformation-preprint.pdf:PDF},
  keywords  = {FWF P21321, EU IEF 254965, FWF M1421},
}
Powered by bibtexbrowser