Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management. (bibtex)
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:
Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management. (Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed), In Proceeding of the 16th International Conference on Model-Driven Engineering Languages & Systems (MoDELS 2013), Miami, USA, 2013.
Bibtex Entry:
@Conference{DBLP:conf/models/DemuthLE13,
  author    = {Andreas Demuth and Roberto E. Lopez-Herrejon and Alexander Egyed},
  title     = {Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management.},
  booktitle = {Proceeding of the 16th International Conference on Model-Driven Engineering Languages \& Systems (MoDELS 2013), Miami, USA},
  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      = {:Conferences\\MODELS 2013 - Supporting the Co-Evolution of Metamodels and Constraints\\Supporting the Co-Evolution of Metamodels and Constraints-preprint.pdf:PDF},
  keywords  = {FWF P21321, EU IEF 254965, FWF M1421, FWF P25513},
}
Powered by bibtexbrowser