Theoretical Aspects of Communication-Centred Programming
Theoretical Aspects of Communication-Centred Programming
复制标题
DOI：
10.1016/j.entcs.2008.04.007
复制
发表时间：
2008-04
期刊：
影响因子：
--
通讯作者：
Marco Carbone;Kohei Honda;N. Yoshida
中科院分区：
文献类型：
--
作者：
Marco Carbone;Kohei Honda;N. Yoshida
这篇短文概述了以形式演算的形式描述以通信为中心的软件的两种不同方式，并讨论了它们之间的关系。两种不同的描述范式，一种以全局消息流为中心，另一种以本地（端点）行为为中心，共享通信的共同特征，即结构化表示。全局演算起源于Web服务-编排描述语言（WS-CDL），这是W3C的WS-CDL工作组开发的一种Web服务描述语言。局部演算是基于π演算，π演算是通信过程的代表性演算之一。我们举例说明了这两种描述框架，概述了这些演算的静态和动态语义，并讨论了端点投影的基本思想，通过端点投影，全局演算中的任何格式良好的描述在局部演算中都有精确的表示。
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 π-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.