Istituto di Scienza e Tecnologie dell'Informazione     
Asirelli P., Ter Beek M. H., Fantechi A., Gnesi S. Deontic logics for modeling behavioural variability. 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.
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.
URL: http://www.vamos-workshop.net/proceedings/VaMoS_2009_Proceedings.pdf
Subject Deontic logic
Product family
Behavioural variability
D.2.1 Requirements/Specifications
D.2.4 Software/Program Verification
F.4.1 Mathematical Logic

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional