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
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.
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))