CNR Institutional Research Information System

This chapter presents different tools that have been developed inside the Sensoria project. Sensoria studied qualitative analysis techniques for verifying properties of service implementations with respect to their formal specifications. The tools presented in this chapter have been developed to carry out the analysis in an automated, or semi-automated, way. We present four different tools, all developed during the Sensoria project, exploiting new techniques and calculi from the Sensoria project itself.

Tools and Verification

Mazzanti F;
2011

Abstract

This chapter presents different tools that have been developed inside the Sensoria project. Sensoria studied qualitative analysis techniques for verifying properties of service implementations with respect to their formal specifications. The tools presented in this chapter have been developed to carry out the analysis in an automated, or semi-automated, way. We present four different tools, all developed during the Sensoria project, exploiting new techniques and calculi from the Sensoria project itself.
2011
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Inglese
Martin Wirsing, Matthias Hölzl
Rigorous Software Engineering for Service-Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
408
427
978-3-642-20400-5
http://link.springer.com/chapter/10.1007/978-3-642-20401-2_19
Springer-Verlag
Berlin/Heidelberg
GERMANIA
Sì, ma tipo non specificato
Formal Specification; Qualitative analysis; Semi-automated
2-s2.0-80455158324
7
02 Contributo in Volume::02.01 Contributo in volume (Capitolo o Saggio)
268
restricted
Bartoletti, M; Caires, L; Lanese, I; Mazzanti, F; Sangiorgi, D; Vieira, H T; Zunino, R
info:eu-repo/semantics/bookPart
   Software Engineering for Service-Oriented Overlay Computers
   SENSORIA
   FP6
   16004
File in questo prodotto:
File Dimensione Formato  
prod_203873-doc_45420.pdf

solo utenti autorizzati

Descrizione: contributo
Tipologia: Versione Editoriale (PDF)
Dimensione 420.89 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
420.89 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/175842
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact