Managing evolution in Software Product Lines

A model-checking perspective

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

Abstract

In Software Product Line (SPL) engineering, similar software products are developed in families rather than individually. Developing similar software at once leads to new challenges. In particular, the model checking problem for SPL is harder because it has to deal with potentially many products and identify exactly which ones do not work properly. In previous work, we introduced Featured Transition Systems as a compact behavioural model for SPL. We also proposed new algorithms that model check all the products of the SPL efficiently, by taking into account the commonality between them to reduce the verification time. However, our current approach does not consider that SPL can evolve. If a new feature is added to the SPL, previous verification results cannot be reused. In this paper, we define formally two particular classes of features. Using simulation relations, we show that we may anticipate the properties of some products introduced by those features. We discuss interesting perspectives and present the challenges that are still ahead. Copyright 2012 ACM.
Original languageEnglish
Title of host publicationProceedings of the Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany, January 25-27
EditorsW Ulrich, Eisenecker Sven, Apel Stefania
PublisherACM Press
Pages183-191
Number of pages9
ISBN (Print)9781450310581
DOIs
Publication statusPublished - 2012

Fingerprint

Model checking
Software engineering

Cite this

Cordy, M., Classen, A., Heymans, P., Schobbens, P-Y., & Legay, A. (2012). Managing evolution in Software Product Lines: A model-checking perspective. In W. Ulrich, E. Sven, & A. Stefania (Eds.), Proceedings of the Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany, January 25-27 (pp. 183-191). ACM Press. https://doi.org/10.1145/2110147.2110168
Cordy, Maxime ; Classen, Andreas ; Heymans, Patrick ; Schobbens, Pierre-Yves ; Legay, Axel. / Managing evolution in Software Product Lines : A model-checking perspective. Proceedings of the Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany, January 25-27. editor / W Ulrich ; Eisenecker Sven ; Apel Stefania. ACM Press, 2012. pp. 183-191
@inbook{14712e3870f44417a6083a2bd08b7b43,
title = "Managing evolution in Software Product Lines: A model-checking perspective",
abstract = "In Software Product Line (SPL) engineering, similar software products are developed in families rather than individually. Developing similar software at once leads to new challenges. In particular, the model checking problem for SPL is harder because it has to deal with potentially many products and identify exactly which ones do not work properly. In previous work, we introduced Featured Transition Systems as a compact behavioural model for SPL. We also proposed new algorithms that model check all the products of the SPL efficiently, by taking into account the commonality between them to reduce the verification time. However, our current approach does not consider that SPL can evolve. If a new feature is added to the SPL, previous verification results cannot be reused. In this paper, we define formally two particular classes of features. Using simulation relations, we show that we may anticipate the properties of some products introduced by those features. We discuss interesting perspectives and present the challenges that are still ahead. Copyright 2012 ACM.",
author = "Maxime Cordy and Andreas Classen and Patrick Heymans and Pierre-Yves Schobbens and Axel Legay",
note = "Publication editors : Ulrich W. Eisenecker, Sven Apel, Stefania Gnesi",
year = "2012",
doi = "10.1145/2110147.2110168",
language = "English",
isbn = "9781450310581",
pages = "183--191",
editor = "W Ulrich and Eisenecker Sven and Apel Stefania",
booktitle = "Proceedings of the Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany, January 25-27",
publisher = "ACM Press",
address = "United States",

}

Cordy, M, Classen, A, Heymans, P, Schobbens, P-Y & Legay, A 2012, Managing evolution in Software Product Lines: A model-checking perspective. in W Ulrich, E Sven & A Stefania (eds), Proceedings of the Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany, January 25-27. ACM Press, pp. 183-191. https://doi.org/10.1145/2110147.2110168

Managing evolution in Software Product Lines : A model-checking perspective. / Cordy, Maxime; Classen, Andreas; Heymans, Patrick; Schobbens, Pierre-Yves; Legay, Axel.

Proceedings of the Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany, January 25-27. ed. / W Ulrich; Eisenecker Sven; Apel Stefania. ACM Press, 2012. p. 183-191.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

TY - CHAP

T1 - Managing evolution in Software Product Lines

T2 - A model-checking perspective

AU - Cordy, Maxime

AU - Classen, Andreas

AU - Heymans, Patrick

AU - Schobbens, Pierre-Yves

AU - Legay, Axel

N1 - Publication editors : Ulrich W. Eisenecker, Sven Apel, Stefania Gnesi

PY - 2012

Y1 - 2012

N2 - In Software Product Line (SPL) engineering, similar software products are developed in families rather than individually. Developing similar software at once leads to new challenges. In particular, the model checking problem for SPL is harder because it has to deal with potentially many products and identify exactly which ones do not work properly. In previous work, we introduced Featured Transition Systems as a compact behavioural model for SPL. We also proposed new algorithms that model check all the products of the SPL efficiently, by taking into account the commonality between them to reduce the verification time. However, our current approach does not consider that SPL can evolve. If a new feature is added to the SPL, previous verification results cannot be reused. In this paper, we define formally two particular classes of features. Using simulation relations, we show that we may anticipate the properties of some products introduced by those features. We discuss interesting perspectives and present the challenges that are still ahead. Copyright 2012 ACM.

AB - In Software Product Line (SPL) engineering, similar software products are developed in families rather than individually. Developing similar software at once leads to new challenges. In particular, the model checking problem for SPL is harder because it has to deal with potentially many products and identify exactly which ones do not work properly. In previous work, we introduced Featured Transition Systems as a compact behavioural model for SPL. We also proposed new algorithms that model check all the products of the SPL efficiently, by taking into account the commonality between them to reduce the verification time. However, our current approach does not consider that SPL can evolve. If a new feature is added to the SPL, previous verification results cannot be reused. In this paper, we define formally two particular classes of features. Using simulation relations, we show that we may anticipate the properties of some products introduced by those features. We discuss interesting perspectives and present the challenges that are still ahead. Copyright 2012 ACM.

UR - http://www.scopus.com/inward/record.url?scp=84857519053&partnerID=8YFLogxK

U2 - 10.1145/2110147.2110168

DO - 10.1145/2110147.2110168

M3 - Chapter

SN - 9781450310581

SP - 183

EP - 191

BT - Proceedings of the Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany, January 25-27

A2 - Ulrich, W

A2 - Sven, Eisenecker

A2 - Stefania, Apel

PB - ACM Press

ER -

Cordy M, Classen A, Heymans P, Schobbens P-Y, Legay A. Managing evolution in Software Product Lines: A model-checking perspective. In Ulrich W, Sven E, Stefania A, editors, Proceedings of the Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany, January 25-27. ACM Press. 2012. p. 183-191 https://doi.org/10.1145/2110147.2110168