Istituto di Scienza e Tecnologie dell'Informazione     
Asirelli P., Ter Beek M. H., Fantechi A., Gnesi S. A compositional framework to derive product line behavioural descriptions. In: ISoLA 2012 - Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. 5th International Symposium (Heraklion, Crete, Greece, 15-18 October 2012). Proceedings, pp. 146 - 161. T. Margaria, B. Steffen (eds.). (Lecture Notes in Computer Science, vol. 7609 (Part I)). Springer-Verlag, 2012.
Modelling variability in product families has been the subject of extensive study in the literature on Software Product Lines, especially that concerning Feature Modelling. In recent years, we have laid the basis for the study of the application of temporal logics to the formal modelling of behavioural variability in product family definitions. A critical point in this formalization is to give an adequate representation of the elements of the feature model and their relation with the behaviour of the many products that are to be derived from the family. To this aim, we propose a methodology to systematize this step as much as possible, in order to allow the derivation of behavioural models that are general enough to capture the behaviour of all consistent products belonging to the family.
URL: http://www.springerlink.com/content/h500756310552v82/
DOI: http://dx.doi.org/10.1007/978-3-642-34026-0_12
Subject Product Families
Modal Transition Systems
Behavioural modeling
Model checking
D.2.2 Design Tools and Techniques
D.2.4 Software/Program Verification. Formal methods
D.2.4 Software/Program Verification. Model checking

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