Structured Communication-Centred Programming for Web Services Export

@incollection{citeulike:5074764, abstract = {This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal calculi based on session types. The global calculus, which originates from a web service description language (W3C WS-CDL), describes an interaction scenario from a vantage viewpoint; the end-point calculus, an applied typed π-calculus, precisely identifies a local behaviour of each participant. We explore a theory of end-point projection, by which we can map a global description to its end-point counterpart preserving types and dynamics. Three principles of well-structured description and the type structures play a fundamental role in the theory.}, author = {Carbone, Marco and Honda, Kohei and Yoshida, Nobuko}, citeulike-article-id = {5074764}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/978-3-540-71316-6_2}, citeulike-linkout-1 = {http://www.springerlink.com/content/323qp60v5r266670}, doi = {10.1007/978-3-540-71316-6_2}, journal = {Programming Languages and Systems}, keywords = {2007, epp, read, web, ws-cdl}, pages = {2--17}, posted-at = {2009-07-06 13:33:32}, priority = {0}, title = {Structured Communication-Centred Programming for Web Services}, url = {http://dx.doi.org/10.1007/978-3-540-71316-6_2}, year = {2007} }

TY - CHAP ID - citeulike:5074764 L3 - citeulike-article-id:5074764 N2 - This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal calculi based on session types. The global calculus, which originates from a web service description language (W3C WS-CDL), describes an interaction scenario from a vantage viewpoint; the end-point calculus, an applied typed π-calculus, precisely identifies a local behaviour of each participant. We explore a theory of end-point projection, by which we can map a global description to its end-point counterpart preserving types and dynamics. Three principles of well-structured description and the type structures play a fundamental role in the theory. JF - Programming Languages and Systems EP - 17 TI - Structured Communication-Centred Programming for Web Services SP - 2 KW - 2007 KW - epp KW - read KW - web KW - ws-cdl AU - Carbone, Marco AU - Honda, Kohei AU - Yoshida, Nobuko PY - 2007/// UR - http://dx.doi.org/10.1007/978-3-540-71316-6_2 ER -