ITU

Consistency-Preserving Evolution Planning on Feature Models

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

View graph of relations

A software product line (SPL) enables large-scale reuse in a family of related software systems through configurable features. SPLs represent a long-term investment so that their ongoing evolution becomes paramount and requires careful planning. While existing approaches enable to create an evolution plan for an SPL on feature-model (FM) level, they assume the plan to be rigid and do not support retroactive changes. In this paper, we present a method that enables to create and retroactively adapt an FM evolution plan while preventing undesired impacts on its structural and logical consistency. This method is founded in structural operational semantics and linear temporal logic. We implement our method using rewriting logic, integrate it within an FM tool suite and perform an evaluation using a collection of existing FM evolution scenarios.
Original languageEnglish
Title of host publicationProceedings of the 24th ACM International Systems and Software Product Line Conference
PublisherAssociation for Computing Machinery
Publication dateOct 2020
Pages1-12
Article number8
ISBN (Electronic)978-1-4503-7569-6
DOIs
Publication statusPublished - Oct 2020

Downloads

No data available

ID: 85513461