Paper Info
Title
Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management.
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 efficient constraint adaptation mechanisms to ensure that validated constraints are up-to-date. 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.
Year
DOI
Venue
2013
10.1007/978-3-642-41533-3_18
Lecture Notes in Computer Science
Keywords
Field
DocType
Co-evolution,metamodeling,consistency-checking
Instant,Problem domain,Constraint (mathematics),Computer science,Real-time computing,Theoretical computer science,Theory of constraints,Metamodeling,Distributed computing
Conference
Volume
ISSN
Citations 
8107
0302-9743
13
PageRank 
References 
Authors
0.59
26
3
Name
Order
Citations
PageRank
andreas demuth1798.11
Roberto E. Lopez-Herrejon264547.36
Alexander Egyed32434178.98