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

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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.
Original languageEnglish
Title of host publicationProceedings of the 24th ACM International Systems and Software Product Line Conference
PublisherAssociation for Computing Machinery
Publication dateOct 2020
Article number8
ISBN (Electronic)978-1-4503-7569-6
Publication statusPublished - Oct 2020


  • Software Product Line
  • Evolution Plan
  • Feature Model
  • Structural Operational Semantics
  • Linear Temporal Logic


Dive into the research topics of 'Consistency-Preserving Evolution Planning on Feature Models'. Together they form a unique fingerprint.

Cite this