Sciweavers

VAMOS
2010
Springer

A Deontic Logical Framework for Modelling Product Families

13 years 5 months ago
A Deontic Logical Framework for Modelling Product Families
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.
Patrizia Asirelli, Maurice H. ter Beek, Stefania G
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2010
Where VAMOS
Authors Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi
Comments (0)