PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S. A behavioural model for product families. In: 6th Joint Meeting of the European Software Engineering Conference and the 14th ACM SIGSOFT Symposium on Foundations of Software Engineering. ESEC/FSE 2007 (Dubrovnich, September 03 - 07 2007). Proceedings, pp. 525 - 528. ACM Press, 2007.
 
 
Abstract
(English)
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usually present in product families definitions. In particular, an EMLTS is able to define a family of products by telling at any state of the system whether transitions are optional or compulsory for the products of the family. Based on this model, verification that a product belongs to a family can be carried out by means of automatic tools.
URL: http://delivery.acm.org/10.1145/1290000/1287700/p521-fantechi.pdf?key1=1287700&key2=6873820911&coll=ACM&dl=ACM&CFID=35835186&CFTOKEN=59804302
Subject Modal transition systems
Product lines
Software families
D.2.1 Requirements/Specifications
D.2.4 Software/Program Verification


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