Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management.

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

doi:10.1007/978-3-642-41533-3_18

Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management.

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

Abstract:

Design models must abide by constraints that can come from diverse sources, like metamodels, requirements, or the problem domain. Modelers intent to live by these constraints and thus desire automated mechanism that provide instant feedback on constraint violations. However, typical approaches assume that constraints do not evolve over time, which, unfortunately, is becoming increasingly unrealistic. For example, the co-evolution of metamodels and models requires corresponding constraints to be co-evolved continuously. This demands effcient constraint adaptation mechanisms to ensure that validated constraints are up-todate. This paper presents an approach based on constraint templates that tackles this evolution scenario by automatically updating constraints.We developed the Cross-layer Modeler (XLM) approach which relies on incremental consistency-checking. As a case study, we performed evolutions of the UML-metamodel and 21 design models. Our approach is sound and the empirical evaluation shows that it is near instant and scales with increasing model sizes.

Reference:

Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed, "Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management.", pp. 287-303, 2013.

Bibtex Entry:

@Conference{DBLP:conf/models/DemuthLE13,
  Title                    = {Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management.},
  Author                   = {Andreas Demuth and Roberto E. Lopez-Herrejon and Alexander Egyed},
  Booktitle                = {16th International Conference on Model-Driven Engineering Languages \& Systems (MoDELS), Miami, Florida},
  Year                     = {2013},
  Pages                    = {287-303},

  Abstract                 = {Design models must abide by constraints that can come from diverse sources, like metamodels, requirements, or the problem domain. Modelers intent to live by these constraints and thus desire automated mechanism that provide instant feedback on constraint violations. However, typical approaches assume that constraints do not evolve over time, which, unfortunately, is becoming increasingly unrealistic. For example, the co-evolution of metamodels and models requires corresponding constraints to be co-evolved continuously. This demands effcient constraint adaptation mechanisms to ensure that validated constraints are up-todate. This paper presents an approach based on constraint templates that tackles this evolution scenario by automatically updating constraints.We developed the Cross-layer Modeler (XLM) approach which relies on incremental consistency-checking. As a case study, we performed evolutions of the UML-metamodel and 21 design models. Our approach is sound and the empirical evaluation shows that it is near instant and scales with increasing model sizes.},
  Doi                      = {10.1007/978-3-642-41533-3_18},
  File                     = {Supporting the Co-Evolution of Metamodels and Constraints:Conferences\\MODELS 2013 - Supporting the Co-Evolution of Metamodels and Constraints\\Supporting the Co-Evolution of Metamodels and Constraints.pdf:PDF},
  Keywords                 = {evolution, consistency, FWF P21321-N15, EU IEF 254965, FWF M1421-N15}
}