Paper Info
Title
Theoretical Aspects of Communication-Centred Programming
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.
Year
DOI
Venue
2008
10.1016/j.entcs.2008.04.007
Electr. Notes Theor. Comput. Sci.
Keywords
Field
DocType
different way,different paradigm,choreography,π -calculus,communication-centred programming,representative calculus,global message flow,theoretical aspects,well-formed description,end-point projection,web services,global calculus,local calculus,ws-cdl working group,session types,formal calculus,web service description language,working group,web service,π calculus
Programming language,Computer science,π-calculus,Calculus of communicating systems,Choreography,Theoretical computer science,Software,Web service,Centring,Process calculus,Semantics
Journal
Volume
ISSN
Citations 
209,
Electronic Notes in Theoretical Computer Science
10
PageRank 
References 
Authors
0.61
9
3
Name
Order
Citations
PageRank
Marco Carbone129114.74
Kohei Honda269829.60
Nobuko Yoshida32607153.29