Deontic logics for modeling behavioural variability (Contributo in atti di convegno)

Type
Label
  • Deontic logics for modeling behavioural variability (Contributo in atti di convegno) (literal)
Anno
  • 2009-01-01T00:00:00+01:00 (literal)
Alternative label
  • Asirelli P.; Ter Beek M. H.; Fantechi A.; Gnesi S. (2009)
    Deontic logics for modeling behavioural variability
    in Third International Workshop on Variability Modelling of Software-Intensive Systems, Siviglia, Spagna
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Asirelli P.; Ter Beek M. H.; Fantechi A.; Gnesi S. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: VaMoS 2009 - Third International Workshop on Variability Modelling of Software-Intensive Systems (Siviglia, Spagna, 28-30 Gennaio 2009). Proceedings, pp. 71 - 76. D. Benavides, A. Metzger, U. Eisenecker (eds.). (ICB Research Report, vol. 29). Universität Duisburg‐Essen, 2009. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • ABSTRACT: We discuss the application of deontic logics to the modeling of variabilities in product family descriptions. Deontic logics make it possible to express concepts like permission and obligation. As a first result of this line of research, we show how a Modal Transition System, a model that has recently been proposed as an expressive way to deal with behavioural variability in product families, can be completely characterized with deontic logic formulae. We moreover show some exemplary properties that can consequently be proved for product families. These preliminary results pave the way to a wider application of deontic logics to specifiy and verify variability in product families. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTI, Pisa, CNR-ISTI, Pisa - Università di Firenze (literal)
Titolo
  • Deontic logics for modeling behavioural variability (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


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