Modular modelling of software product lines with feature nets

• Type: Article in International Conference Proceedings Book
• Date: 2011

Authors

Muschevici, R (Author) Other; Proenca, J (Author) Other; Clarke, D (Author) Other

Conference proceedings International

Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Pages: 318-333

9th International Conference on Software Engineering and Formal Methods, SEFM 2011

Montevideo, 14 November 2011 through 18 November 2011

Indexing

Scopus - 16 Citations

Other information

Authenticus ID: P-00A-ADV

DOI: 10.1007/978-3-642-24690-6_22

Abstract (EN): Formal modelling and verification are critical for managing the inherent complexity of systems with a high degree of variability, such as those designed following the software product line (SPL) paradigm. SPL models tend to be large-the number of products in an SPL can be exponential in the number of features. Modelling these systems poses two main challenges. Firstly, a modular modelling formalism that scales well is required. Secondly, the ability to analyse and verify complex models efficiently is key in order to ensure that all products behave correctly. The choice of a system modelling formalism that is both expressive and well-established is therefore crucial. In this paper we show how SPLs can be modelled in an incremental, modular fashion using a formal method based on Petri nets. We continue our work on Feature Petri Nets, a lightweight extension to Petri nets, by presenting a framework for modularly constructing Feature Petri Nets to model SPLs. © 2011 Springer-Verlag.

Language: English

Type (Professor's evaluation): Scientific