Istituto di Scienza e Tecnologie dell'Informazione     
Asirelli P., Ter Beek M. H., Gnesi S., Fantechi A. A deontic logical framework for modelling product families. 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.
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.
URL: http://fmt.isti.cnr.it/WEBPAPER/vamos2010.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