Web services are distributed processes with a public description of their behavior, or contract. The availability of repositories of Web service descriptions enables interesting forms of dynamic Web service discovery, such as searching for Web services exposing a specified contract. This calls for a formal notion of contract equivalence satisfying two contrasting goals: being as coarse as possible so as to favor Web services reuse, and guaranteeing successful client/service interaction. We study an equivalence relation that achieves both goals under the assumption that client/service interactions may be mediated by simple orchestrators. In the framework we develop, orchestrators play the role of proofs (in the Curry-Howard sense) justifying an equivalence relation between contracts. This makes it possible to automatically synthesize orchestrators out of Web services contracts.

Contract-based discovery of Web services modulo simple orchestrators

PADOVANI, Luca
2010-01-01

Abstract

Web services are distributed processes with a public description of their behavior, or contract. The availability of repositories of Web service descriptions enables interesting forms of dynamic Web service discovery, such as searching for Web services exposing a specified contract. This calls for a formal notion of contract equivalence satisfying two contrasting goals: being as coarse as possible so as to favor Web services reuse, and guaranteeing successful client/service interaction. We study an equivalence relation that achieves both goals under the assumption that client/service interactions may be mediated by simple orchestrators. In the framework we develop, orchestrators play the role of proofs (in the Curry-Howard sense) justifying an equivalence relation between contracts. This makes it possible to automatically synthesize orchestrators out of Web services contracts.
2010
411(37)
3328
3347
http://www.di.unito.it/~padovani/Papers/OrchestratorSynthesisLong.pdf
Padovani, Luca
File in questo prodotto:
File Dimensione Formato  
OrchestratorSynthesisLong_4aperto_454014.pdf

Accesso aperto

Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 342.66 kB
Formato Adobe PDF
342.66 kB Adobe PDF Visualizza/Apri
2010 - TCS - Padovani - Contract-based discovery of Web services modulo simple orchestrators.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 605.53 kB
Formato Adobe PDF
605.53 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/2318/70905
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 39
  • ???jsp.display-item.citation.isi??? 30
social impact