DocumentCode
3445079
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
fYear
2011
fDate
22-26 Aug. 2011
Firstpage
130
Lastpage
139
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Product Line Conference (SPLC), 2011 15th International
Conference_Location
Munich
Print_ISBN
978-1-4577-1029-2
Type
conf
DOI
10.1109/SPLC.2011.34
Filename
6030054
Link To Document