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.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.