A logical verification methodology for service-oriented computing (Articolo in rivista)

Type
Label
  • A logical verification methodology for service-oriented computing (Articolo in rivista) (literal)
Anno
  • 2012-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1145/2211616.2211619 (literal)
Alternative label
  • Fantechi A., Gnesi S., Lapadula A., Mazzanti F., Pugliese R., Tiezzi F. (2012)
    A logical verification methodology for service-oriented computing
    in ACM transactions on software engineering and methodology
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Fantechi A., Gnesi S., Lapadula A., Mazzanti F., Pugliese R., Tiezzi F. (literal)
Pagina inizio
  • 16 (literal)
Pagina fine
  • 46 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 21 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo
  • 3 (literal)
Note
  • PuMa (literal)
  • ISI Web of Science (WOS) (literal)
  • Scopu (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • University of Florence, Florence, Italy; CNR-ISTI, Pisa, Italy; University of Florence, Florence, Italy; CNR-ISTI, Pisa, Italy; University of Florence, Florence, Italy; University of Florence, Florence, Italy; (literal)
Titolo
  • A logical verification methodology for service-oriented computing (literal)
Abstract
  • Viene introdotta una metodologia di verifica logica per verificare proprietà di sistemi service-oriented. Le proprietà sono descritte tramite SocL, una logica branching time specificatamente disegnata per descrivere in modo efficente aspetti peculiare dei servizi, quali la accettazione di una richiesta e la correlazione fra le risposte. Viene mostrata una istanziazione della teoria generale basata sul linguaggio formale COWS e viene mostratolo strumento CMC per assistere l'utente nella verifica di formule SocL sui modelli COWS. (literal)
  • We introduce a logical verification methodology for checking behavioral properties of service-oriented com- puting systems. Service properties are described by means of SocL, a branching-time temporal logic that we have specifically designed for expressing in an effective way distinctive aspects of services, such as, ac- ceptance of a request, provision of a response, correlation among service requests and responses, etc. Our approach allows service properties to be expressed in such a way that they can be independent of service domains and specifications. We show an instantiation of our general methodology that uses the formal lan- guage COWS to conveniently specify services and the expressly developed software tool CMC to assist the user in the task of verifying SocL formulas over service specifications. We demonstrate the feasibility and effectiveness of our methodology by means of the specification and analysis of a case study in the automotive domain. (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