Enabling Consistent Recombination of Heterogeneous Artifacts in Reactive Consistency Restoration Mechanisms
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
Abstract
Reactive consistency restoration mechanisms (RCRM) maintain consistency between development artifacts by propagating repairing changes automatically. Currently, revision control systems do not distinguish between proactive changes intentionally authored by developers and automated reactive changes, making it difficult to understand and trace changes, as well as their interdependencies. It becomes unclear which artifacts in which revisions remain consistent, making it impossible to recombine, i.e., recompose and reuse them safely regarding their mutual consistency. In the long run, the inability to decide which revisions are mutually consistent and can thus be composed makes development a matter of guesswork. This work presents our ongoing research on augmenting the evolution history of systems that employ RCRM with consistency information. We propose a model for tracking relationships between proactive and reactive changes applied to development artifacts as well as consistency relat ionships between them. The benefit of our contribution is twofold: First, we make explicit which artifacts in which revisions are mutually consistent. Second, we enable the inductive expansion of consistency contexts, i.e., sets of mutually consistent revisions, by analysis of changes between revisions. Our approach allows to precisely determine whether specific revisions can be recomposed safely, enabling consistent recombination.
Details
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 14th International Conference on Model-Based Software and Systems Engineering |
| Editors | Federico Ciccozzi, Luís Ferreira Pires, Francis Bordeleau |
| Publisher | SciTePress - Science and Technology Publications |
| Pages | 371-377 |
| Number of pages | 7 |
| ISBN (electronic) | 978-989-758-798-6 |
| Publication status | Published - 2026 |
| Peer-reviewed | Yes |
Publication series
| Series | International Conference on Model-Based Software and Systems Engineering (Modelsward) |
|---|---|
| ISSN | 2184-4348 |
External IDs
| ORCID | /0000-0003-3479-661X/work/210354756 |
|---|---|
| ORCID | /0000-0002-3513-6448/work/210355058 |
| ORCID | /0009-0003-6829-4260/work/210355575 |
| unpaywall | 10.5220/0014423300004058 |
| Scopus | 105035484751 |
Keywords
ASJC Scopus subject areas
Keywords
- Configuration Management, Consistency, Version Control, Variabilit