We study a natural notion of compliance between clients and services in terms of their BPEL (abstract) descriptions. The induced preorder shows interesting connections with the must preorder and has normal form representatives that are parallel-free finite-state activities, called contracts. The preorder also admits the notion of least service contract that is compliant with a client contract, called principal dual contract. Our framework serves as a foundation of Web service technologies for connecting abstract and concrete service definitions and for service discovery.

An Algebraic Theory for Web Service Contracts

PADOVANI, Luca
2013-01-01

Abstract

We study a natural notion of compliance between clients and services in terms of their BPEL (abstract) descriptions. The induced preorder shows interesting connections with the must preorder and has normal form representatives that are parallel-free finite-state activities, called contracts. The preorder also admits the notion of least service contract that is compliant with a client contract, called principal dual contract. Our framework serves as a foundation of Web service technologies for connecting abstract and concrete service definitions and for service discovery.
2013
10th International Conference on integrated Formal Methods
Turku, Finland
June 10 - 14, 2013
Proceedings of the 10th International Conference on integrated Formal Methods
SPRINGER-VERLAG BERLIN
7940
301
315
9783642386121
9783642386138
Cosimo, Laneve; Padovani, Luca
File in questo prodotto:
File Dimensione Formato  
LanevePadovani13.pdf

Accesso aperto

Tipo di file: PREPRINT (PRIMA BOZZA)
Dimensione 407.26 kB
Formato Adobe PDF
407.26 kB Adobe PDF Visualizza/Apri
2013 - IFM - Laneve Padovani.pdf

Accesso riservato

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