A Formal Approach to Software Product Families

Martin Leucker; Daniel Thoma

doi:10.1007/978-3-642-34026-0_11

A Formal Approach to Software Product Families

Martin Leucker, Daniel Thoma

Institut für Softwaretechnik und Programmiersprachen

18 Zitate (Scopus)

Abstract

Software product line engineering deals with the combined development of a family of similar software systems. These systems provide a similar set of features and should therefore share a large number of common components. We study the user perspective of features and the engineering perspective of components and present a formal notion of features, component-based product families and their interaction. We then demonstrate using Milner's CCS how our formalism can be applied to extend an arbitrary modelling formalism with support for product lines. To verify that certain products indeed realize certain features, we propose μ-calculus model-checking for multi-valued Kripke-structures. The model checking result in that case no longer is a simple truth-value, but a set of products, conforming to a certain property.

Originalsprache	Englisch
Titel	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Redakteure/-innen	Tiziana Margaria, Bernhard Steffen
Seitenumfang	15
Band	7609 LNCS
Erscheinungsort	Berlin
Herausgeber (Verlag)	Springer Verlag
Erscheinungsdatum	07.11.2012
Auflage	PART 1
Seiten	131-145
ISBN (Print)	978-3-642-34025-3
ISBN (elektronisch)	978-3-642-34026-0
DOIs	https://doi.org/10.1007/978-3-642-34026-0_11
Publikationsstatus	Veröffentlicht - 07.11.2012
Veranstaltung	5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change - Heraklion, Crete, Griechenland Dauer: 15.10.2012 → 18.10.2012 Konferenznummer: 93454

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

SDG 9 – Industrie, Innovation und Infrastruktur

Dokumente

10.1007/978-3-642-34026-0_11

Weitere Links

https://www.scopus.com/pages/publications/84868268252

Zitieren

Leucker, M., & Thoma, D. (2012). A Formal Approach to Software Product Families. in T. Margaria, & B. Steffen (Hrsg.), Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change ( PART 1 Aufl., Band 7609 LNCS, S. 131-145). (Lecture Notes in Computer Science; Band 7609 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-642-34026-0_11

@inproceedings{ca9b99e6c42c49d5bddb860887b442a3,

title = "A Formal Approach to Software Product Families",

abstract = "Software product line engineering deals with the combined development of a family of similar software systems. These systems provide a similar set of features and should therefore share a large number of common components. We study the user perspective of features and the engineering perspective of components and present a formal notion of features, component-based product families and their interaction. We then demonstrate using Milner's CCS how our formalism can be applied to extend an arbitrary modelling formalism with support for product lines. To verify that certain products indeed realize certain features, we propose μ-calculus model-checking for multi-valued Kripke-structures. The model checking result in that case no longer is a simple truth-value, but a set of products, conforming to a certain property.",

author = "Martin Leucker and Daniel Thoma",

year = "2012",

month = nov,

day = "7",

doi = "10.1007/978-3-642-34026-0\_11",

language = "English",

isbn = "978-3-642-34025-3",

volume = "7609 LNCS",

series = "Lecture Notes in Computer Science",

publisher = "Springer Verlag",

pages = "131--145",

editor = "Tiziana Margaria and Bernhard Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change",

edition = " PART 1",

note = "5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change <br/>, ISoLA 2012 ; Conference date: 15-10-2012 Through 18-10-2012",

}

Leucker, M & Thoma, D 2012, A Formal Approach to Software Product Families. in T Margaria & B Steffen (Hrsg.), Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change . PART 1 Aufl., Bd. 7609 LNCS, Lecture Notes in Computer Science, Bd. 7609 LNCS, Springer Verlag, Berlin, S. 131-145, 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change
, Crete, Griechenland, 15.10.12. https://doi.org/10.1007/978-3-642-34026-0_11

A Formal Approach to Software Product Families. / Leucker, Martin ; Thoma, Daniel.
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change . Hrsg. / Tiziana Margaria; Bernhard Steffen. Band 7609 LNCS PART 1. Aufl. Berlin: Springer Verlag, 2012. S. 131-145 (Lecture Notes in Computer Science; Band 7609 LNCS).

Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

TY - GEN

T1 - A Formal Approach to Software Product Families

AU - Leucker, Martin

AU - Thoma, Daniel

N1 - Conference code: 93454

PY - 2012/11/7

Y1 - 2012/11/7

N2 - Software product line engineering deals with the combined development of a family of similar software systems. These systems provide a similar set of features and should therefore share a large number of common components. We study the user perspective of features and the engineering perspective of components and present a formal notion of features, component-based product families and their interaction. We then demonstrate using Milner's CCS how our formalism can be applied to extend an arbitrary modelling formalism with support for product lines. To verify that certain products indeed realize certain features, we propose μ-calculus model-checking for multi-valued Kripke-structures. The model checking result in that case no longer is a simple truth-value, but a set of products, conforming to a certain property.

AB - Software product line engineering deals with the combined development of a family of similar software systems. These systems provide a similar set of features and should therefore share a large number of common components. We study the user perspective of features and the engineering perspective of components and present a formal notion of features, component-based product families and their interaction. We then demonstrate using Milner's CCS how our formalism can be applied to extend an arbitrary modelling formalism with support for product lines. To verify that certain products indeed realize certain features, we propose μ-calculus model-checking for multi-valued Kripke-structures. The model checking result in that case no longer is a simple truth-value, but a set of products, conforming to a certain property.

UR - https://www.scopus.com/pages/publications/84868268252

U2 - 10.1007/978-3-642-34026-0_11

DO - 10.1007/978-3-642-34026-0_11

M3 - Conference contribution

SN - 978-3-642-34025-3

VL - 7609 LNCS

T3 - Lecture Notes in Computer Science

SP - 131

EP - 145

BT - Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer Verlag

CY - Berlin

T2 - 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change <br/>

Y2 - 15 October 2012 through 18 October 2012

ER -

A Formal Approach to Software Product Families

Abstract

UN SDGs

Dokumente

Weitere Links

Fingerprint

Zitieren