A Decade of Featured Transition Systems

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

Résumé

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.
langue originaleAnglais
titreFrom Software Engineering to Formal Methods and Tools, and Back
Sous-titreEssays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
rédacteurs en chefM. ter Beek, A. Fantechi, L. Semini
EditeurSpringer Verlag
Pages285-312
Nombre de pages28
ISBN (Electronique)978-3-030-30985-5
ISBN (imprimé)978-3-030-30984-8
Les DOIs
étatPublié - oct. 2019

Série de publications

NomLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11865 LNCS
ISSN (imprimé)0302-9743
ISSN (Electronique)1611-3349

    Empreinte digitale

Contient cette citation

Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., ... Raskin, J-F. (2019). A Decade of Featured Transition Systems. Dans 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 (p. 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