Consistency-Preserving Evolution Planning on Feature Models

Adrian Hoff, Michael Nieke, Christoph Seidl, Eirik Halvard Sæther, Ida Sandberg Motzfeldt, Crystal Chang Din, Ingrid Chieh Yu, Ina Schaefer

Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review


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.
TitelProceedings of the 24th ACM International Systems and Software Product Line Conference
ForlagAssociation for Computing Machinery
Publikationsdatookt. 2020
ISBN (Elektronisk)978-1-4503-7569-6
StatusUdgivet - okt. 2020


Dyk ned i forskningsemnerne om 'Consistency-Preserving Evolution Planning on Feature Models'. Sammen danner de et unikt fingeraftryk.