Publication Date:
2011
abstract:
We illustrate how to manage variability in a single logical framework consisting of a Modal Transition System (MTS) and an associated set of formulae expressed in the branching-time temporal logic MHML interpreted in a deontic way over such MTSs. We discuss the commonalities and differences with the framework of Classen et al. based on Featured Transition Systems and Linear-time Temporal Logic.
Iris type:
04.01 Contributo in Atti di convegno
Keywords:
Product Families; Variability; Modal Transition Systems; Temporal logic; Model checking
List of contributors:
Asirelli, Patrizia; Gnesi, Stefania; TER BEEK, MAURICE HENRI
Book title:
Software Product Line Conference (SPLC), 2011 15th International (Publisher: IEEE)