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

doi:10.1145/3382025.3414964

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 chapter › Article in proceedings › Research › peer-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.

Original language	English
Title of host publication	Proceedings of the 24th ACM International Systems and Software Product Line Conference
Publisher	Association for Computing Machinery
Publication date	Oct 2020
Pages	1-12
Article number	8
ISBN (Electronic)	978-1-4503-7569-6
DOIs	https://doi.org/10.1145/3382025.3414964
Publication status	Published - Oct 2020
Event	International Systems and Software Product Line Conference - Montreal , Canada Duration: 19 Oct 2020 → 23 Oct 2020 Conference number: 24th

Conference

Conference	International Systems and Software Product Line Conference
Number	24th
Country/Territory	Canada
City	Montreal
Period	19/10/2020 → 23/10/2020

Keywords

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

Access to Document

10.1145/3382025.3414964

Consistency-preserving evolution planning on feature modelsAccepted author manuscript, 4.53 MB

Cite this

Hoff, A., Nieke, M., Seidl, C., Halvard Sæther, E., Sandberg Motzfeldt, I., Din, C. C., Yu, I. C., & Schaefer, I. (2020). Consistency-Preserving Evolution Planning on Feature Models. In Proceedings of the 24th ACM International Systems and Software Product Line Conference (pp. 1-12). Article 8 Association for Computing Machinery. https://doi.org/10.1145/3382025.3414964

@inproceedings{c14834516ccf4f9aa73d3434cdb39246,

title = "Consistency-Preserving Evolution Planning on Feature Models",

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.",

keywords = "Software Product Line, Evolution Plan, Feature Model, Structural Operational Semantics, Linear Temporal Logic, Software Product Line, Evolution Plan, Feature Model, Structural Operational Semantics, Linear Temporal Logic",

author = "Adrian Hoff and Michael Nieke and Christoph Seidl and \{Halvard S{\ae}ther\}, Eirik and \{Sandberg Motzfeldt\}, Ida and Din, \{Crystal Chang\} and Yu, \{Ingrid Chieh\} and Ina Schaefer",

year = "2020",

month = oct,

doi = "10.1145/3382025.3414964",

language = "English",

pages = "1--12",

booktitle = "Proceedings of the 24th ACM International Systems and Software Product Line Conference",

publisher = "Association for Computing Machinery",

address = "United States",

note = "International Systems and Software Product Line Conference ; Conference date: 19-10-2020 Through 23-10-2020",

}

Hoff, A, Nieke, M, Seidl, C, Halvard Sæther, E, Sandberg Motzfeldt, I, Din, CC, Yu, IC & Schaefer, I 2020, Consistency-Preserving Evolution Planning on Feature Models. in Proceedings of the 24th ACM International Systems and Software Product Line Conference., 8, Association for Computing Machinery, pp. 1-12, International Systems and Software Product Line Conference, Montreal , Quebec, Canada, 19/10/2020. https://doi.org/10.1145/3382025.3414964

Consistency-Preserving Evolution Planning on Feature Models. / Hoff, Adrian; Nieke, Michael; Seidl, Christoph et al.
Proceedings of the 24th ACM International Systems and Software Product Line Conference. Association for Computing Machinery, 2020. p. 1-12 8.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

TY - GEN

T1 - Consistency-Preserving Evolution Planning on Feature Models

AU - Hoff, Adrian

AU - Nieke, Michael

AU - Seidl, Christoph

AU - Halvard Sæther, Eirik

AU - Sandberg Motzfeldt, Ida

AU - Din, Crystal Chang

AU - Yu, Ingrid Chieh

AU - Schaefer, Ina

N1 - Conference code: 24th

PY - 2020/10

Y1 - 2020/10

N2 - 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.

AB - 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.

KW - Software Product Line

KW - Evolution Plan

KW - Feature Model

KW - Structural Operational Semantics

KW - Linear Temporal Logic

KW - Software Product Line

KW - Evolution Plan

KW - Feature Model

KW - Structural Operational Semantics

KW - Linear Temporal Logic

U2 - 10.1145/3382025.3414964

DO - 10.1145/3382025.3414964

M3 - Article in proceedings

SP - 1

EP - 12

BT - Proceedings of the 24th ACM International Systems and Software Product Line Conference

PB - Association for Computing Machinery

T2 - International Systems and Software Product Line Conference

Y2 - 19 October 2020 through 23 October 2020

ER -

Consistency-Preserving Evolution Planning on Feature Models

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this