Formal description of variability in product families

Contributo in Atti di convegno
Data di Pubblicazione:
2011
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.
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
Product Families; Variability; Modal Transition Systems; Temporal logic; Model checking
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/176069
Titolo del libro:
Software Product Line Conference (SPLC), 2011 15th International (Publisher: IEEE)