CNR Institutional Research Information System

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.

A model-checking tool for families of services

Asirelli P;Ter Beek MH;Gnesi S
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.
2011
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Inglese
R. Bruni, J. Dingel
Formal Techniques for Distributed Systems
FMOODS'11/FORTE'11 - Joint 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-based Distributed Systems and 31st IFIP WG 6.1 International Conference on FORmal TEchniques for Networked and Distributed Systems
44
58
978-3-642-21460-8
http://www.springerlink.com/content/t85772650v3921q0/
Sì, ma tipo non specificato
6-8 Giugno 2011
Reykjavik, Iceland
Model checking
Temporal logic
Software Product Line Engineering
Service-Oriented Computing
Asirelli, Patrizia; Ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania. Progetto Advanced Tools and Techniques for the Specification and Verification of Systems with Elevated Granularity. - Acronimo XXL. - Tipo progetto NC. ID Modulo Commessa 7160 - DG.RSTL.074.006 - 074 - XXL Sviluppo di nuovi strumenti e tecniche per lo specifica e verifica formale di sistemi ad elevata granularita. - Area di valutazione 01 - Scienze matematiche e informatiche
2-s2.0-79960869030
WOS:000392114500003
4
restricted
Asirelli, P; Ter Beek, Mh; Fantechi, A; Gnesi, S
273
info:eu-repo/semantics/conferenceObject
04 Contributo in convegno::04.01 Contributo in Atti di convegno
04.01 Contributo in Atti di convegno
File in questo prodotto:
File Dimensione Formato  
prod_199878-doc_43879.pdf

solo utenti autorizzati

Descrizione: A model-checking tool for families of services
Tipologia: Versione Editoriale (PDF)
Dimensione 319.84 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
319.84 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/18944
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 27
  • ???jsp.display-item.citation.isi??? 15
social impact