Formal Description of Variability in Product Families
2011pp. 130–139
Citations Over TimeTop 1% of 2011 papers
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.
Related Papers
- Temporal and Dynamic Logic(2010)
- → Combining dynamic deontic logic and temporal logic for the specification of deadlines(2002)42 cited
- → Reasoning about actions in dynamic linear time temporal logic(2001)42 cited
- → A Product Version of Dynamic Linear Time Temporal Logic(1997)6 cited
- → Handling of Past and Future with Phenesthe+(2023)