MobilityReadingGroup

Structured Communication-Centered Programming for Web Services

Marco CARBONE, Kohei HONDA, Nobuko YOSHIDA

This article relates two different paradigms of descriptions of communication behavior, one focusing on global message flows and another on end-point behaviors, 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 behavior of each participant. We explore a theory of end-point projection, by which we can map a global description to its end-point counterparts preserving types and dynamics. Three principles of well-structured description and the type structures play a fundamental role in the theory.

@article{CHY2012,
  author = {Marco Carbone and Kohei Honda and Nobuko Yoshida},
  title = {{Structured Communication-Centered Programming for Web Services}},
  journal = {TOPLAS},
  volume = {34},
  issue = {2},
  pages = {8:1--8:78},
  publisher = {ACM},
  year = 2012
}

@article{CHY2012,
  author = {Marco Carbone and Kohei Honda and Nobuko Yoshida},
  title = {{Structured Communication-Centered Programming for Web Services}},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {34},
  issue = {2},
  pages = {8:1--8:78},
  publisher = {ACM},
  doi = "10.1145/2220365.2220367",
  year = 2012
}