Title: Modular modelling of software product lines with feature nets
Authors: Muschevici, Radu
Proenca, Jose
Clarke, Dave
Issue Date: Nov-2011
Publisher: Springer-Verlag
Host Document: 9th international conference on software engineering and formal methods (SEFM) vol:7041 issue:9 pages:318-333
Series Title: Lecture Notes in Computer Science (LNCS)
Conference: Software engineering and formal methods location:Montevideo, Uruguay date:14-18 November 2011
Abstract: 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.
ISBN: 978-3-642-24689-0
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section

Files in This Item:
File Description Status SizeFormat
70410318.pdfMain article Accepted 221KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science