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

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

1. Web服务组合需求

Web服务（WS）是大约十年前出现的分布式软件组件，它利用最广泛使用的互联网应用协议HTTP作为基础传输协议。与其他组件（如DCOM、EJB、CORBA等）类似，WS使用基于HTTP的SOAP作为传输协议，WSDL作为接口描述语言，UDDI作为名称和目录服务。

WS组合通过不同的组合模式，从现有的WS集合中创建新的复合WS。由于WS在解决跨组织应用集成方面具有优势，两种组合模式占据主导地位：
- Web服务编排（WSO） ：使用类似工作流的组合模式来编排业务活动（以WS操作实现），并对跨组织业务流程或其他类型的流程进行建模。
- Web服务协调（WSC） ：具有聚合组合模式，用于捕获WS的外部交互行为，并作为WS之间的契约或协议。

以从书店买书为例，说明WS组合的一些概念。顾客通过用户代理从书店买书，忽略顾客与用户代理之间的交互，重点关注用户代理与书店之间的交互。用户代理的业务流程如下：
1. 向书店请求所有书籍的列表。
2. 接收书店的书籍列表。
3. 根据顾客选择书籍，并将所选书籍列表发送给书店。
4. 接收书店所选书籍的价格。
5. 接受价格并向书店支付所选书籍的费用，然后流程终止。

这些业务活动以WS（确切地说是WS操作）实现，因此买方代理和书店的业务流程称为WSO。这些WSO作为WS发布，称为它们的接口WS，用于相互交互。WS之间通过某些契约或协议描述的交互行为称为WSC。

2. WSO和WSC的详细介绍