32、基于超对偶对象网的Web服务编排

基于超对偶对象网的Web服务编排

1. 动机：Web服务编排

Web服务是一种使用标准Web技术（如HTTP、XML、SOAP、OWL、WSDL、BPEL4WS等）集成分布式服务的标准方式。它在概念上与CORBA中的远程过程调用类似，但主要区别在于Web服务使用语义Web技术关注服务的语义层面，这使得能够根据可用服务进行自动化动态绑定，让程序员专注于Web服务的编排。

以一个简单的Web服务工作流为例，如图1所示的Petri网描述了从S到D的旅程组织。该任务被拆分为两个并行的子任务：一是安排从S到靠近目的地D的机场A的航班以及从机场A到D的租车；二是在D预订酒店。

对于图1中网络的每个转换，我们使用特定的Web服务，并且假设每个Web服务本身由Petri网建模，通过细化得到最终的系统模型，这对应于软件产品的常见自顶向下设计。图2展示了“预订酒店”转换的细化，在预订酒店之前需要填写旅行日期。

支持转换细化的Petri网形式主义相较于其他形式主义具有优势，早期设计阶段的原始抽象网无需重新定义，可继续用于后续模型和实现模型。然而，现有的转换细化过程大多只支持静态细化，无法在运行时更改。而对于Web服务，细化通常不是静态的，通常有一个查找服务提供可替代使用的服务存储库，用户可以根据成本、时间、便利性等因素选择最适合的服务。