A Formal Account of Contracts for Web Services

@incollection{citeulike:2633881, abstract = {We define a formal contract language along with subcontract and compliance relations. We then extrapolate contracts out of processes, that are a recursion-free fragment of ccs. We finally demonstrate that a client completes its interactions with a service provided the corresponding contracts comply. Our contract language may be used as a foundation of Web services technologies, such as wsdl and wscl.}, author = {Carpineti, S. and Castagna, G. and Laneve, C. and Padovani, L. }, citeulike-article-id = {2633881}, doi = {http://dx.doi.org/10.1007/11841197\_10}, journal = {Web Services and Formal Methods}, keywords = {contracts, session-types, web-services}, pages = {148--162}, posted-at = {2008-04-06 01:43:15}, priority = {2}, title = {A Formal Account of Contracts for Web Services}, url = {http://dx.doi.org/10.1007/11841197\_10}, year = {2006} }

TY - CHAP ID - citeulike:2633881 L3 - citeulike-article-id:2633881 TI - A Formal Account of Contracts for Web Services JF - Web Services and Formal Methods SP - 148 EP - 162 N2 - We define a formal contract language along with subcontract and compliance relations. We then extrapolate contracts out of processes, that are a recursion-free fragment of ccs. We finally demonstrate that a client completes its interactions with a service provided the corresponding contracts comply. Our contract language may be used as a foundation of Web services technologies, such as wsdl and wscl. KW - contracts KW - session-types KW - web-services AU - Carpineti, S AU - Castagna, G AU - Laneve, C AU - Padovani, L PY - 2006/// UR - http://dx.doi.org/10.1007/11841197_10 ER -