Title :
Formal Description of Variability in Product Families
Author :
Asirelli, Patrizia ; ter Beek, Maurice H. ; Gnesi, Stefania ; Fantechi, Alessandro
Author_Institution :
Ist. di Scienza e Tecnol. dell´Inf., CNR, Pisa, Italy
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.
Keywords :
set theory; temporal logic; MTS; branching-time temporal logic MHML; deontic way; featured transition system; formal description; formulae set; linear time temporal logic; modal transition system; product family; single logical framework variability; Analytical models; Automata; Diamond-like carbon; Europe; Frequency modulation; Labeling; Solid modeling;
Conference_Titel :
Software Product Line Conference (SPLC), 2011 15th International
Conference_Location :
Munich
Print_ISBN :
978-1-4577-1029-2
DOI :
10.1109/SPLC.2011.34
