Search papers, labs, and topics across Lattice.
This study empirically compares two-level modelling (2LM) and multi-level modelling (MLM) in the context of software maintenance, focusing on their co-evolution behavior when core definitions change. By constructing semantically equivalent scenarios and applying identical mutations, the authors demonstrate that MLM significantly reduces post-change inconsistencies and modification footprints compared to 2LM. This research not only validates the theoretical advantages of MLM but also establishes a benchmarking protocol for future studies in Model-Driven Engineering (MDE).
Multi-level modelling slashes post-change inconsistencies by unifying artefacts, outperforming traditional two-level modelling in software maintenance scenarios.
When a core definition changes, every dependent artefact must be updated, a cascading problem central to software maintenance. In Model-Driven Engineering (MDE), the dominant two-level modelling (2LM) paradigm fragments domain knowledge across metamodel and model artefacts that must be kept mutually consistent, making co-evolution a persistent source of inconsistencies and effort. Multi-level modelling (MLM) unifies these artefacts and is claimed to reduce co-evolution burden, but this has not been tested in a controlled, paired comparison against 2LM. We hypothesise that MLM's structural unification yields fewer post-change inconsistencies and a smaller modification footprint than 2LM for semantically equivalent evolution scenarios. To test this, we present a pre-registered, mutation-based empirical comparison of co-evolution behaviour in both paradigms. From a curated corpus of published 2LM co-evolution scenarios, we construct semantically equivalent MLM counterparts, apply identical evolution mutations to both, and measure outcomes through automated consistency checking and pre-registered hypothesis tests. Positive controls and a blinded mapping protocol guard against bias. This design provides the first empirical framework for assessing whether paradigm-level structural choices affect cascading maintenance burden, operationalising co-evolution burden as two automatically measurable outcome variables and delivering a reusable benchmarking protocol for replication and extension.
