A model checking approach for verifying COWS specifications (Contributo in atti di convegno)

Type

• Prodotto della ricerca (Classe)
• Contributo in atti di convegno (Classe)

Label

• A model checking approach for verifying COWS specifications (Contributo in atti di convegno) (literal)

Anno

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

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

• 10.1007/978-3-540-78743-3_17 (literal)

Alternative label

• Alessandro Fantechi; Stefania Gnesi; Alessandro Lapadula; Franco Mazzanti; Rosario Pugliese; Francesco Tiezzi (2008)
  A model checking approach for verifying COWS specifications
  in Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Budapest, March 29-April 6, 2008
  (literal)

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

• Alessandro Fantechi; Stefania Gnesi; Alessandro Lapadula; Franco Mazzanti; Rosario Pugliese; Francesco Tiezzi (literal)

Pagina inizio

• 230 (literal)

Pagina fine

• 245 (literal)

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

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

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

• Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings (literal)

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

• 4961 (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

• Dipartimento di Sistemi e Informatica, Universita' degli Studi di Firenze; Istituto di Scienza e Tecnologie dell'Informazione \"A. Faedo\", ISTI - CNR, Pisa; Dipartimento di Sistemi e Informatica, Universita' degli Studi di Firenze; Istituto di Scienza e Tecnologie dell'Informazione \"A. Faedo\", ISTI - CNR, Pisa; Dipartimento di Sistemi e Informatica, Universita' degli Studi di Firenze; Dipartimento di Sistemi e Informatica, Universita' degli Studi di Firenze (literal)

Titolo

• A model checking approach for verifying COWS specifications (literal)

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

• 3-540-78742-9 (literal)

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

• José Luiz Fiadeiro; Paola Inverardi (literal)

Abstract

• We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. The properties are described by means of SocL, a logic specifically designed to capture peculiar aspects of services. Service behaviours are abstracted in terms of Doubly Labelled Transition Systems, which are used as the interpretation domain for SocL formulae. We also illustrate the SocL model checker at work on a bank service scenario specified in COWS. (literal)

Editore

• Springer Berlin / Heildelberg (Editore)

Prodotto di

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Autore CNR

• FRANCO MAZZANTI (Unità di personale interno)
• ALESSANDRO FANTECHI (Persona)
• STEFANIA GNESI (Persona)

Insieme di parole chiave

• Keywords of "A model checking approach for verifying COWS specifications" (Insieme di parole chiave)

Incoming links:

Autore CNR di

• FRANCO MAZZANTI (Unità di personale interno)
• STEFANIA GNESI (Persona)
• ALESSANDRO FANTECHI (Persona)

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Editore di

• Springer Berlin / Heildelberg (Editore)

Insieme di parole chiave di

• Keywords of "A model checking approach for verifying COWS specifications" (Insieme di parole chiave)