A behavioural model for product families

Abstract

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.

BibTeX

@inproceedings{Fantechi-Gnesi:FSE07,
  author    = {Alessandro Fantechi and
               Stefania Gnesi},
  title     = {A behavioural model for product families},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {521--524},
  publisher = {{ACM}},
  year      = {2007},
}

A behavioural model for product families

Abstract

Related papers