caa a22 4500 605516367 CHVBK 20210128100713.0 cr unu---uuuuu 210128e20150701xx s 000 0 eng 10.1007/s00165-015-0334-2 doi (NATIONALLICENCE)springer-10.1007/s00165-015-0334-2 An algebraic theory for web service contracts [Elektronische Daten] [Cosimo Laneve, Luca Padovani] We study the foundations of Web service technologies for connecting abstract and concrete service definitions and for discovering services according to their observable behavior. We pursue this study addressing a subset of BPEL activities that include concurrency constructs. We present a formal semantics—called compliance preorder—of this subset of BPEL and we define a behavioral type discipline that guarantees the correctness of client-server interactions. The types of our discipline, called contracts, are De Nicola and Hennessy tau-less, finite-state CCS processes. We show that contracts are BPEL normal forms according to the compliance preorder and that the compliance preorder does coincide with a well-known equivalence in concurrency theory, the must-testing preorder. The compliace preorder is not fully adequate for discovering Web services though, since it does not support width and depth extensions of Web services. To address this issue, we propose a sound generalization of the compliance preorder, called subcontract relation, that admits a notion of principal service contract—the dual contract—compliant with a given client contract and that exhibits good precongruence properties when choreographies of Web services are considered. British Computer Society, 2015 Web services nationallicence BPEL nationallicence Contracts nationallicence Compliance nationallicence Must-testing nationallicence Subcontract nationallicence Dual contract nationallicence Choreography nationallicence Laneve Cosimo Dipartimento di Informatica - Scienza e Ingegneria, Università di Bologna, Bologna, Italy aut Padovani Luca Dipartimento di Informatica, Università di Torino, Turin, Italy aut Formal Aspects of Computing Springer London 27/4(2015-07-01), 613-640 0934-5043 27:4<613 2015 27 165 https://doi.org/10.1007/s00165-015-0334-2 text/html Onlinezugriff via DOI BK010053 XK010053 XK010000 Metadata rights reserved Springer special CC-BY-NC licence nationallicence 1 research-article jats NATIONALLICENCE NATIONALLICENCE NL-springer NATIONALLICENCE 856 40 https://doi.org/10.1007/s00165-015-0334-2 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Laneve Cosimo Dipartimento di Informatica - Scienza e Ingegneria, Università di Bologna, Bologna, Italy aut NATIONALLICENCE 700 1- Padovani Luca Dipartimento di Informatica, Università di Torino, Turin, Italy aut NATIONALLICENCE 773 0- Formal Aspects of Computing Springer London 27/4(2015-07-01), 613-640 0934-5043 27:4<613 2015 27 165