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

    Abstract

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

    Emneord

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

    Fingeraftryk

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

    Citationsformater