Abstract

Variability-intensive systems (VIS) form a large and heterogeneous class of systems whose behaviour can be modified by enabling or disabling predefined features. Variability mechanisms allows the adaptation of software to the needs of their users and the environment. However, VIS verification and validation (V&V) is challenging: the combinatorial explosion of the number of possible behaviours and undesired feature interactions are amongst such challenges. To tackle them, Featured Transitions Systems (FTS) were proposed a decade ago to model and verify the behaviours of VIS. In an FTS, each transition is annotated with a combination of features determining which variants can execute it. An FTS can model all possible behaviours of a given VIS. This compact model enabled us to create efficient V&V algorithms taking advantage of the behaviours shared amongst features resulting in a reduction of the V&V effort by several orders of magnitude. In this paper, we will cover the formalism, its applications and sketch promising research directions.
Original languageEnglish
Title of host publicationFrom Software Engineering to Formal Methods and Tools, and Back
Subtitle of host publicationEssays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
EditorsM. ter Beek, A. Fantechi, L. Semini
PublisherSpringer Verlag
Pages285-312
Number of pages28
ISBN (Electronic)978-3-030-30985-5
ISBN (Print)978-3-030-30984-8
DOIs
Publication statusPublished - Oct 2019

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11865 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

Explosions

Keywords

  • Variability-intensive systems
  • Model-checking
  • Modeling
  • Testing

Cite this

Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., ... Raskin, J-F. (2019). A Decade of Featured Transition Systems. In M. ter Beek, A. Fantechi, & L. Semini (Eds.), From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (pp. 285-312). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11865 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-030-30985-5_18
Cordy, Maxime ; Devroey, Xavier ; Legay, Axel ; Perrouin, Gilles ; Classen, Andreas ; Heymans, Patrick ; Schobbens, Pierre-Yves ; Raskin, Jean-François. / A Decade of Featured Transition Systems. From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. editor / M. ter Beek ; A. Fantechi ; L. Semini. Springer Verlag, 2019. pp. 285-312 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inbook{f2503c71e48740f29c98aa568046a1a6,
title = "A Decade of Featured Transition Systems",
abstract = "Variability-intensive systems (VIS) form a large and heterogeneous class of systems whose behaviour can be modified by enabling or disabling predefined features. Variability mechanisms allows the adaptation of software to the needs of their users and the environment. However, VIS verification and validation (V&V) is challenging: the combinatorial explosion of the number of possible behaviours and undesired feature interactions are amongst such challenges. To tackle them, Featured Transitions Systems (FTS) were proposed a decade ago to model and verify the behaviours of VIS. In an FTS, each transition is annotated with a combination of features determining which variants can execute it. An FTS can model all possible behaviours of a given VIS. This compact model enabled us to create efficient V&V algorithms taking advantage of the behaviours shared amongst features resulting in a reduction of the V&V effort by several orders of magnitude. In this paper, we will cover the formalism, its applications and sketch promising research directions.",
keywords = "Variability-intensive systems, Model-checking, Modeling, Testing",
author = "Maxime Cordy and Xavier Devroey and Axel Legay and Gilles Perrouin and Andreas Classen and Patrick Heymans and Pierre-Yves Schobbens and Jean-Fran{\cc}ois Raskin",
year = "2019",
month = "10",
doi = "10.1007/978-3-030-30985-5_18",
language = "English",
isbn = "978-3-030-30984-8",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "285--312",
editor = "{ter Beek}, M. and A. Fantechi and L. Semini",
booktitle = "From Software Engineering to Formal Methods and Tools, and Back",
address = "Germany",

}

Cordy, M, Devroey, X, Legay, A, Perrouin, G, Classen, A, Heymans, P, Schobbens, P-Y & Raskin, J-F 2019, A Decade of Featured Transition Systems. in M ter Beek, A Fantechi & L Semini (eds), From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11865 LNCS, Springer Verlag, pp. 285-312. https://doi.org/10.1007/978-3-030-30985-5_18

A Decade of Featured Transition Systems. / Cordy, Maxime; Devroey, Xavier; Legay, Axel; Perrouin, Gilles; Classen, Andreas; Heymans, Patrick; Schobbens, Pierre-Yves; Raskin, Jean-François.

From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. ed. / M. ter Beek; A. Fantechi; L. Semini. Springer Verlag, 2019. p. 285-312 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11865 LNCS).

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

TY - CHAP

T1 - A Decade of Featured Transition Systems

AU - Cordy, Maxime

AU - Devroey, Xavier

AU - Legay, Axel

AU - Perrouin, Gilles

AU - Classen, Andreas

AU - Heymans, Patrick

AU - Schobbens, Pierre-Yves

AU - Raskin, Jean-François

PY - 2019/10

Y1 - 2019/10

N2 - Variability-intensive systems (VIS) form a large and heterogeneous class of systems whose behaviour can be modified by enabling or disabling predefined features. Variability mechanisms allows the adaptation of software to the needs of their users and the environment. However, VIS verification and validation (V&V) is challenging: the combinatorial explosion of the number of possible behaviours and undesired feature interactions are amongst such challenges. To tackle them, Featured Transitions Systems (FTS) were proposed a decade ago to model and verify the behaviours of VIS. In an FTS, each transition is annotated with a combination of features determining which variants can execute it. An FTS can model all possible behaviours of a given VIS. This compact model enabled us to create efficient V&V algorithms taking advantage of the behaviours shared amongst features resulting in a reduction of the V&V effort by several orders of magnitude. In this paper, we will cover the formalism, its applications and sketch promising research directions.

AB - Variability-intensive systems (VIS) form a large and heterogeneous class of systems whose behaviour can be modified by enabling or disabling predefined features. Variability mechanisms allows the adaptation of software to the needs of their users and the environment. However, VIS verification and validation (V&V) is challenging: the combinatorial explosion of the number of possible behaviours and undesired feature interactions are amongst such challenges. To tackle them, Featured Transitions Systems (FTS) were proposed a decade ago to model and verify the behaviours of VIS. In an FTS, each transition is annotated with a combination of features determining which variants can execute it. An FTS can model all possible behaviours of a given VIS. This compact model enabled us to create efficient V&V algorithms taking advantage of the behaviours shared amongst features resulting in a reduction of the V&V effort by several orders of magnitude. In this paper, we will cover the formalism, its applications and sketch promising research directions.

KW - Variability-intensive systems

KW - Model-checking

KW - Modeling

KW - Testing

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

U2 - 10.1007/978-3-030-30985-5_18

DO - 10.1007/978-3-030-30985-5_18

M3 - Chapter (peer-reviewed)

SN - 978-3-030-30984-8

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 285

EP - 312

BT - From Software Engineering to Formal Methods and Tools, and Back

A2 - ter Beek, M.

A2 - Fantechi, A.

A2 - Semini, L.

PB - Springer Verlag

ER -

Cordy M, Devroey X, Legay A, Perrouin G, Classen A, Heymans P et al. A Decade of Featured Transition Systems. In ter Beek M, Fantechi A, Semini L, editors, From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Springer Verlag. 2019. p. 285-312. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-030-30985-5_18