Data di Pubblicazione:
2011
Abstract:
We propose a model-checking tool for on-the-fly verification of properties expressed in a branching-time temporal logic based on a deontic interpretation of classical modal and temporal operators over modal transition systems. We apply this tool to the analysis of variability in behavioural descriptions of families of services.
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
Model checking; Temporal logic; Software Product Line Engineering; Service-Oriented Computing
Elenco autori:
Asirelli, Patrizia; Gnesi, Stefania; TER BEEK, MAURICE HENRI
Link alla scheda completa:
Titolo del libro:
Formal Techniques for Distributed Systems