Constraint-Driven Modeling through Transformation.

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

doi:10.1007/978-3-642-30476-7_17

Constraint-Driven Modeling through Transformation.

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, dening 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 ecient and scales even with increasing numbers of involved models.

Reference:

Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed, "Constraint-Driven Modeling through Transformation.", pp. 248-263, 2012.

Bibtex Entry:

@Conference{DBLP:conf/icmt/DemuthLE12,
  Title                    = {Constraint-Driven Modeling through Transformation.},
  Author                   = {Andreas Demuth and Roberto E. Lopez-Herrejon and Alexander Egyed},
  Booktitle                = {5th International Conference on Theory and Practice of Model Transformations (ICMT), Prague, Czech Republic},
  Year                     = {2012},
  Pages                    = {248-263},

  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, dening 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 ecient and scales even with increasing numbers of involved models.},
  Doi                      = {10.1007/978-3-642-30476-7_17},
  File                     = {Constraint-driven Modeling through Transformation:Conferences\\ICMT 2012 - Constraint-driven Modeling through Transformation\\Constraint-driven Modeling through Transformation.pdf:PDF},
  Keywords                 = {FWF P21321-N15, EU IEF 254965, transformation, consistency, FWF M1421-N15}
}