Theoretical Aspects of Communication-Centred Programming

Authors:
Marco Carbone;Kohei Honda;Nobuko Yoshida
Affiliations:
Department of Computing, Imperial College London, London, United Kingdom;Department of Computer Science, Queen Mary and Westfield College, London, United Kingdom;Department of Computing, Imperial College London, London, United Kingdom
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2008

Citing 3
Cited 1

Specifying internet applications with DiCons

Proceedings of the 2001 ACM symposium on Applied computing
Language Primitives and Type Discipline for Structured Communication-Based Programming

ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
Structured communication-centred programming for web services

ESOP'07 Proceedings of the 16th European conference on Programming

Objects and session types

Information and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

This short note outlines two different ways of describing communication-centric software in the form of formal calculi and discuss their relationship. Two different paradigms of description, one centring on global message flows and another centring on local (end-point) behaviours, share the common feature, structured representation of communications. The global calculus originates from Web Services - Choreography Description Language (WS-CDL), a web service description language developed by W3C's WS-CDL Working Group. The local calculus is based on the @p-calculus, one of the representative calculi for communicating processes. We illustrate these two descriptive frameworks, outline the static and dynamic semantics of these calculi, and discuss the basic idea of end-point projection, by which any well-formed description in the global calculus has a precise representation in the local calculus.