An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications (Contributo in volume (capitolo o saggio))

Type

• Prodotto della ricerca (Classe)
• Contributo in volume (capitolo o saggio) (Classe)

Label

• An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications (Contributo in volume (capitolo o saggio)) (literal)

Anno

• 2008-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1007/978-3-540-79707-4_11 (literal)

Alternative label

• Maurice H. ter Beek; A. Fantechi; S. Gnesi; F. Mazzanti (2008)
  An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications
  Springer Berlin / Heildelberg, Berlin (Germania) in Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers, 2008
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Maurice H. ter Beek; A. Fantechi; S. Gnesi; F. Mazzanti (literal)

Pagina inizio

• 133 (literal)

Pagina fine

• 148 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni

• The book contains a revised version of a selection of the papers previously presented at a conference in 2007. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://www.springerlink.com/content/f5q222u316535682/fulltext.pdf (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume

• Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana

• 4916 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali

• 16 (literal)

Note

• ISI Web of Science (WOS) (literal)
• Scopu (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• Istituto di Scienza e Tecnologie dell'Informazione \"A. Faedo\", CNR; Dipartimento di Sistemi e Informatica, Universit`a degli Studi di Firenze; Istituto di Scienza e Tecnologie dell'Informazione \"A. Faedo\", CNR; Istituto di Scienza e Tecnologie dell'Informazione \"A. Faedo\", CNR (literal)

Titolo

• An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 3-540-79706-8 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume

• Stefan Leue; Pedro Merino (literal)

Abstract

• In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled transition systems. The defined temporal logic, called UCTL, combines the action paradigm classically used to describe systems using labelled transition systems with predicates that are true over states as captured when using Kripke structures as semantic model. An efficient model checker for UCTL has been realized, exploiting an on-the-fly algorithm. We then show how to use UCTL, and its model checker, in the design phase of an asynchronous extension of the communication protocol SOAP, called aSOAP. For this purpose, we describe aSOAP as a set of communicating UML state machines, for which a semantics over doubly labelled transition systems has been provided. (literal)

Editore

• Springer Berlin / Heildelberg (Editore)

Prodotto di

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Autore CNR

• FRANCO MAZZANTI (Unità di personale interno)
• STEFANIA GNESI (Persona)
• MAURICE HENRI TER BEEK (Unità di personale esterno)
• ALESSANDRO FANTECHI (Persona)

Insieme di parole chiave

• Keywords of "An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications" (Insieme di parole chiave)

Incoming links:

Autore CNR di

• FRANCO MAZZANTI (Unità di personale interno)
• STEFANIA GNESI (Persona)
• ALESSANDRO FANTECHI (Persona)
• MAURICE HENRI TER BEEK (Unità di personale esterno)

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Editore di

• Springer Berlin / Heildelberg (Editore)

Insieme di parole chiave di

• Keywords of "An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications" (Insieme di parole chiave)