European Symposium on Programming

ESOP 2007: Programming Languages and Systems pp 2-17

Structured Communication-Centred Programming for Web Services

  • Marco Carbone
  • Kohei Honda
  • Nobuko Yoshida
Conference paper

DOI: 10.1007/978-3-540-71316-6_2

Volume 4421 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Carbone M., Honda K., Yoshida N. (2007) Structured Communication-Centred Programming for Web Services. In: De Nicola R. (eds) Programming Languages and Systems. ESOP 2007. Lecture Notes in Computer Science, vol 4421. Springer, Berlin, Heidelberg

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.

Download to read the full conference paper text

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Marco Carbone
    • 1
  • Kohei Honda
    • 2
  • Nobuko Yoshida
    • 1
  1. 1.Department of Computing, Imperial College London 
  2. 2.Department of Computer Science, Queen Mary University of London