Software Product Line Conference, International (2011)
Aug. 22, 2011 to Aug. 26, 2011
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SPLC.2011.34
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.
Maurice H. ter Beek, Stefania Gnesi, Patrizia Asirelli, 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