An Algebraic Theory for Web Service ContractsReportar como inadecuado

An Algebraic Theory for Web Service Contracts - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 FOCUS - Foundations of Component-based Ubiquitous Systems CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria Bologna 2 DISI - Department of Computer Science and Engineering Bologna 3 Dipartimento di Informatica Torino

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 dual contract, and exhibits good precongruence properties when choreographies of Web services are considered. Our framework serves as a foundation of Web service technologies for connecting abstract and concrete service definitions and for service discovery.

Keywords : dual contract coinductive subcontract Web services bpel contracts compliance must-testing choreography

Autor: Cosimo Laneve - Luca Padovani -



Documentos relacionados