Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Mazzanti F. VMC: recent advances and challenges ahead. In: SPLat 2014 - First Workshop on Software Product Line Analysis Tools, affiliated with the 18th International Software Product Line Conference (SPLC'14) (Florence, Italy, 16 September 2014). Proceedings, vol. 2 pp. 70 - 77. Stefania Gnesi, Alessandro Fantechi, Maurice ter Beek, Goetz Botterweck, Martin Becker (eds.). ACM, 2014.
The variability model checker VMC accepts a product family specified as a Modal Transition System (MTS) with additional variability constraints. Consequently, it offers behavioral variability analyses over both the family and its valid product behavior. This ranges from product derivation and simulation to efficient on-the-fly model checking of logical properties expressed in a variability-aware version of action-based CTL. In this paper, we first explain the reasons and assumptions underlying the choice for a modeling and analysis framework based on MTSs. Subsequently, we present recent advances on proving inheritance of behavioral analysis properties from a product family to its valid products. Finally, we illustrate challenges remaining for the future.
URL: http://dl.acm.org/citation.cfm?doid=2647908.2655969
DOI: 10.1145/2647908.2655969
Subject Product families
Behavioral variability
Model checking
D.2.4 Software/Program Verification. Formal methods
D.2.4 Software/Program Verification. Model checking
D.2.13 Reusable Software. Domain engineering

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional