A deontic logical framework for modelling product families (Contributo in atti di convegno)

Type
Label
  • A deontic logical framework for modelling product families (Contributo in atti di convegno) (literal)
Anno
  • 2010-01-01T00:00:00+01:00 (literal)
Alternative label
  • Asirelli P.; Ter Beek M. H.; Gnesi S.; Fantechi A. (2010)
    A deontic logical framework for modelling product families
    in Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Asirelli P.; Ter Beek M. H.; Gnesi S.; Fantechi A. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: VaMoS 2010 - Fourth International Workshop on Variability Modelling of Software-Intensive Systems (Linz, Austria, 27-29 January 2010). Proceedings, pp. 37 - 44. D. Benavides, D. Batory, P. Grünbacher (eds.). (ICB Research Report, vol. 37). Universität Duisburg-Essen, 2010. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • ABSTRACT: We discuss the application of deontic logics to the modelling of variabilities in product family descriptions. Deontic logics make it possible to express concepts like permission and obligation, and hence promise a direct modelling of constraints over the products of a family. Indeed, we first show how feature models can be straightforwardly characterised by means of a deontic logic. We then study the deontic modelling of the behavioural variability in product families by defining a deontic extension of a behavioural logic. This allows both constraints over the products of a family and constraints over their behaviour to be expressed in a single framework: a novelty in the field. We discuss how model-checking tools could support formal verification in this framework, and we indicate some future research into that direction. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTI, Pisa (literal)
Titolo
  • A deontic logical framework for modelling product families (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Insieme di parole chiave di
data.CNR.it