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.

Formal Description of Variability in Product Families / Patrizia Asirelli;Maurice H. ter Beek;Stefania Gnesi;Alessandro Fantechi. - STAMPA. - (2011), pp. 130-139. (Intervento presentato al convegno 2011 15th International Software Product Line Conference) [10.1109/SPLC.2011.34].

Formal Description of Variability in Product Families

GNESI, STEFANIA;FANTECHI, ALESSANDRO
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.
2011
2011 15th International Software Product Line Conference
2011 15th International Software Product Line Conference
Patrizia Asirelli;Maurice H. ter Beek;Stefania Gnesi;Alessandro Fantechi
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/606301
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 86
  • ???jsp.display-item.citation.isi??? ND
social impact