5、CaSPiS：服务导向计算的强大工具

CaSPiS：服务导向计算的强大工具

1. CaSPiS的模式匹配与受限选择

CaSPiS交互具备模式匹配功能，可用于处理Web服务场景中典型的类XML数据。实现方式如下：
- 允许输出和返回前缀的值为结构化的，利用构造函数签名Σ（用f表示，每个构造函数有固定的元数）。
- 输入前缀中，普通输入变量?x被利用Σ中构造函数的模式所泛化。

模式的存在结合普通前缀受限选择，使消息能够基于其内容进行管理和路由。例如， P > (pdf(?x))Q+(ps(?x))R 管道可根据P产生的文档是PDF还是PS格式进行不同处理。

2. 无关闭片段

无取消和关闭通知的CaSPiS片段语法如下：

P,Q ::= 
i∈I πiPi Guarded Sum
π ::= (F)
Abstraction
| u.P
Service Definition
| ⟨V⟩
Concretion
| u.P
Service Invocation
| ⟨V⟩↑
Return
| r ▷P
Session
| P > Q
Pipeline
V ::= u | f ( ˜V)
Value (f ∈Σ)
| P|Q
Parallel Composition
| (νn)P
Restriction
F ::= u | ?x | f ( ˜F) Pattern (f ∈Σ)
| !P
Replication

其中，服务定义 s.⟦·⟧ 、服务调用 s.⟦·⟧