A model checking approach for verifying COWS specifications (Articolo in rivista)

Type
Label
  • A model checking approach for verifying COWS specifications (Articolo in rivista) (literal)
Anno
  • 2008-01-01T00:00:00+01:00 (literal)
Alternative label
  • Gnesi S.; Fantechi A.; Mazzanti F.; Pugliese R.; La Padula A.; Tiezzi F. (2008)
    A model checking approach for verifying COWS specifications
    in Lecture notes in computer science
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Gnesi S.; Fantechi A.; Mazzanti F.; Pugliese R.; La Padula A.; Tiezzi F. (literal)
Pagina inizio
  • 230 (literal)
Pagina fine
  • 245 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 4961 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: FASE 2008 - 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, March 29-April 6 2008). Proceedings, pp. 230 - 245. José Luiz Fiadeiro, Paola Inverardi (eds.). (Lecture Notes in Computer Science, vol. 4961). Springer, 2008. (literal)
Note
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTI, Pisa, CNR-ISTI, Pisa - Università di Firenze, Bilkent University, Ankara, Turkey (literal)
Titolo
  • A model checking approach for verifying COWS specifications (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)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Insieme di parole chiave di
data.CNR.it