Formal Description of Variability in Product Families
Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi · 2011
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.