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.
Formal Description of Variability in Product Families / Patrizia Asirelli;Maurice H. ter Beek;Stefania Gnesi;Alessandro Fantechi. - STAMPA. - (2011), pp. 130-139. (Intervento presentato al convegno 2011 15th International Software Product Line Conference) [10.1109/SPLC.2011.34].
Formal Description of Variability in Product Families
GNESI, STEFANIA;FANTECHI, ALESSANDRO
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.I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.