2、面向服务计算的演算与交互系统建模

面向服务计算的演算与交互系统建模

1. 相关工作

在面向服务计算（SOC）领域，为了在不同抽象层次上开发核心演算，开展了大量研究。相关工作主要聚焦于三个抽象层次：
- 服务中间件层 ：接近当前网络技术，可直接实现，且具备足够的表达能力来支持面向服务的应用。例如信号演算（SC），它基于通过发布 - 订阅消息传递范式进行通信的灵活且动态可重构的组件网络，通过类型系统支持会话和消息关联，易于实现（以 Java 库的形式），还能支持高级图形编程环境。
- 服务描述层 ：更倾向于对服务定义、调用、实例化和通信等基本概念进行抽象形式化。CaSPiS 就处于这一层次，此外还有其他有趣的提议，大致可分为两类：
- 基于关联的 ：包括 COWS（基于消息传递和无状态组件）和 SOCK（基于共享数据空间和有状态组件）。COWS 可视为带有基于关联的通信机制以及活动取消和保留原语的 π - 演算的扩展；SOCK 更接近 WS 标准（如 BPEL），包含对服务实例化过程、过程内存等的显式建模。
- 基于会话的 ：即所谓的 SCC 家族演算，源于具有嵌套会话的基本演算 SCC 的首次提议，后来通过不同的会话间通信机制（如数据流式传输、上下文敏感消息传递、位置和动态多方会话、管道）进行了丰富和细化。
- 服务组合层 ：具备对多方服务组合的定性和定量方面进行建模和分析的机制。例如 λreq 用于支持在“按合同调用”范式内对服务组合进行分析的技术开发；并发约束 π - 演算（cc - π）将名称处理功能与约束半环相