Structured Communication-Centred Programming for Web Services

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.

• Type: Conference
• Year: 2007
• Where: ESOP
• Authors: Marco Carbone, Kohei Honda, Nobuko Yoshida
• Keywords: End-point Behaviours, End-point Calculus, End-point Counterpart, ESOP 2007, Programming Languages