38、基于进程代数的 Web 服务组合参与者模型解析

基于进程代数的 Web 服务组合参与者模型解析

1. Web 服务（WS）

Web 服务（WS）是具有普通参与者特征的参与者，它充当内部 Web 服务对象（WSO）与外部伙伴 Web 服务之间的通信桥梁。当接收到新的传入消息时，它会创建一个新的 WSO。

1.1 WS 创建后的典型流程

1. 接收初始化消息 ：WS 通过其邮箱以自身名称 WS 接收来自其 Web 服务编排（WSC）参与者的初始化消息 DIWS，相应的读取操作记为 rWS(DIWS)。
2. 创建 WSO ：若未初始化，WS 可通过 new(WSO) 操作创建其 WSO。
3. 接收消息 ：WS 可通过其邮箱以名称 WSO 接收来自伙伴 WS 或其 WSO 的消息，相应的读取操作根据消息名称区分。
4. 本地计算 ：WS 进行一些与原子操作混合的本地计算，计算逻辑包括 ·、+、≬ 和保护条件，这些本地计算包含在 IWS 中，IWS 是所有本地原子操作的集合。
5. 生成并发送输出消息 ：本地计算完成后，WS 生成输出消息并可能发送到其 WSO 或伙伴 WS，相应的发送操作根据 WSO 和伙伴 WS 的名称以及消息名称区分，然后处理来自其 WSO 或伙伴 WS 的下一条消息。

1.2 APTC 描述的状态转换骨架

WS =