4、面向服务计算的演算与会话管道演算

面向服务计算的演算与会话管道演算

在面向服务的计算领域，有两种核心的演算机制值得我们深入探讨，它们分别是 Orc 语言和 CaSPiS（会话与管道演算）。这两种机制在服务编排、交互建模等方面有着独特的设计和应用。

Orc 语言：结构化编排的基础语言

Orc 是一种由 Cook 和 Misra 提出的用于结构化编排的基础编程语言。它与传统的进程演算（如 CCS 和 π - 演算）不同，将编排与计算清晰分离，其原语简单且具有高度通用性。

Orc 表达式的语法

Orc 表达式由以下语法定义：

(Expressions) e ::= 0
                  | b
                  | e1 | e2
                  | e1 > x > e2
                  | e2 where x :∈ e1
(Basic expr.) b ::= ⟨p⟩
                  | x⟨⃗p⟩
                  | s⟨⃗p⟩
                  | E⟨⃗p⟩
                  | ?k

这里假设存在一些两两不相交的集合：值的集合 $V$（用 $v$ 表示）、变量的集合 $X$（用 $x$ 表示）、站点的集合 $S$（用 $s$ 表示）、已定义表达式的集合 $E$（用 $E$ 表示）和调用键的集合 $K$（用 $k$ 表示）。参数集合 $P = V ∪ S ∪ X$，用 $p$ 表示。表达式 $e1