http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44235
A logical framework to deal with variability (Articolo in rivista)
- Type
- Label
- A logical framework to deal with variability (Articolo in rivista) (literal)
- Anno
- 2010-01-01T00:00:00+01:00 (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
- 10.1007/978-3-642-16265-7_5 (literal)
- Alternative label
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
- Asirelli P.; Ter Beek M. H.; Fantechi A.; Gnesi S. (literal)
- Pagina inizio
- Pagina fine
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
- Rivista
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
- In: IFM 2010 - Integrated Formal Methods. 8th International Conference (Nancy, France, 11-14 Ottobre 2010). Proceedings, pp. 43 - 58. D. Méry, S. Merz (eds.). (Lecture Notes in Computer Science, vol. 6396). Springer, 2010. (literal)
- Note
- Scopu (literal)
- ISI Web of Science (WOS) (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
- CNR-ISTI, Pisa, Università degli Studi di Firenze (literal)
- Titolo
- A logical framework to deal with variability (literal)
- Abstract
- We present a logical framework that is able to deal with variability in product family descriptions. The temporal logic MHML is based on the classical Hennessy-Milner logic with Until and we interpret it over Modal Transition Systems (MTSs). MTSs extend the classical notion of Labelled Transition Systems by distinguishing possible (may) and required (must) transitions: these two types of transitions are useful to describe variability in behavioural descriptions of product families. This leads to a novel deontic interpretation of the classical modal and temporal operators, which allows the expression of both constraints over the products of a family and constraints over their behaviour in a single logical framework. Finally, we sketch model-checking algorithms to verify MHML formulae as well as a way to derive correct products from a product family description. (literal)
- Prodotto di
- Autore CNR
Incoming links:
- Autore CNR di
- Prodotto
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi