The Community for Technology Leaders
Software Product Line Conference, International (2011)
Munich, Germany
Aug. 22, 2011 to Aug. 26, 2011
ISBN: 978-0-7695-4487-8
pp: 130-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.
INDEX TERMS
CITATION
Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, "Formal Description of Variability in Product Families", Software Product Line Conference, International, vol. 00, no. , pp. 130-139, 2011, doi:10.1109/SPLC.2011.34
83 ms
(Ver 3.3 (11022016))