Structured Communication-Centered Programming for Web Services

Marco Carbone, Kohei Honda, Nobuko Yoshida

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review


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.
Original languageEnglish
JournalA C M Transactions on Programming Languages and Systems
Volume34 (2)
Issue number8
Number of pages78
Publication statusPublished - 2012


Dive into the research topics of 'Structured Communication-Centered Programming for Web Services'. Together they form a unique fingerprint.

Cite this