http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91849
Formal modeling for product families engineering (Contributo in atti di convegno)
- Type
- Label
- Formal modeling for product families engineering (Contributo in atti di convegno) (literal)
- Anno
- 2008-01-01T00:00:00+01:00 (literal)
- Alternative label
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
- Gnesi S.; Fantechi A. (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
- In: SPLC '08 - Software Product Line Conference 2008 (Limerik Irland, 8-12 Sept 2008). Proceedings, pp. 193 - 202. IEEE Computer Society, 2008. (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
- ABSTRACT: In this paper we propose a behavioural model, namely the generalized extended modal transition systems, as a basis for the formalization of different notions of variability usually present in product families definitions. In particular, a GEMTS is able to define a family of products by telling at any state of the system whether some (and how many) transitions are optional or mandatory for any derived products of the family. The proposed model is compared with previous proposals also based on labelled transition systems, showing its higher generality, but also pointing out weaknesses that still need to be addressed with more expressive models. Hints on the solution of such weaknesses are given by the use of constraints expressed as temporal logic formulae. (literal)
- Note
- Scopus (literal)
- ISI Web of Science (WOS) (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
- CNR-ISTI, Pisa, CNR-ISTI, Pisa - Dipartimento di Sistemi e Informatica, Universita' di Firenze (literal)
- Titolo
- Formal modeling for product families engineering (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
- 978-0-7695-3303-2 (literal)
- Abstract
- In this paper we propose a behavioural model, namely
the Generalized Extended Modal Transition Systems, as a
basis for the formalization of different notions of variability
usually present in product families definitions. In particular,
a GEMTS is able to define a family of products by telling at
any state of the system whether some (and how many) transitions
are optional or mandatory for any derived products
of the family. The proposed model is compared with previous
proposals also based on Labeled Transition Systems,
showing its higher generality, but also pointing out weaknesses
that still need to be addressed with more expressive
models. Hints on the solution of such weaknesses are given
by the use of constraints expressed as temporal logic formulae. (literal)
- Prodotto di
- Autore CNR
- Insieme di parole chiave
Incoming links:
- Prodotto
- Autore CNR di
- Insieme di parole chiave di