Enabling Consistent Recombination of Heterogeneous Artifacts in Reactive Consistency Restoration Mechanisms

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-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 languageEnglish
Title of host publicationProceedings of the 14th International Conference on Model-Based Software and Systems Engineering
EditorsFederico Ciccozzi, Luís Ferreira Pires, Francis Bordeleau
PublisherSciTePress - Science and Technology Publications
Pages371-377
Number of pages7
ISBN (electronic)978-989-758-798-6
Publication statusPublished - 2026
Peer-reviewedYes

Publication series

SeriesInternational Conference on Model-Based Software and Systems Engineering (Modelsward)
ISSN2184-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