40、基于进程代数的QoS感知Web服务编排引擎的Actor模型

基于进程代数的QoS感知Web服务编排引擎的Actor模型

1. QoS感知Web服务编排引擎的需求

Web服务（WS）是大约十年前出现的分布式组件，它使用WSDL作为接口描述语言，SOAP作为通信协议，UDDI作为目录服务。由于WS以Web为提供平台，适合用于开发跨组织的业务集成。

跨组织业务流程是电子商务中常见的形式，它将一些业务活动编排成工作流。WS编排（WSO）基于WS技术为这类业务流程提供了解决方案，将业务活动建模为组件WS（一个组件WS对应一个业务活动，可能是原子WS或另一个复合WS）。

从WS的角度来看，WSO提供了一种类似工作流的模式来编排现有的WS，以创建新的复合WS，体现了WS的附加值。这里使用WSO而不是WS组合这个术语，是因为还有其他WS组合模式，如WS编排（WSC）。

本章聚焦于WSO，特别是QoS感知的WSO引擎（WSO的运行时）及其形式化模型。QoS感知的WSO能让客户不仅满足功能需求，还能满足QoS需求，如性能、可靠性、安全性等要求。一次WSO的执行称为一个WSO实例（WSOI）。QoS感知的WSO引擎为WSO提供运行时支持，并确保QoS的实现，包括对WSO实例的生命周期操作、处理客户请求队列以及将传入消息传递给WSO实例。

WS和WSO处于不断变化和演进的环境中，客户、客户需求和组件WS都在动态变化。为了确保安全适应这些动态变化的需求，拥有一个严谨的系统语义模型很重要，包括组件WS、提供WSO实例管理和调用组件WS的WSO引擎、客户访问以及这些元素之间的交互。利用这样的模型，可以分析设计，明确正确运行必须满足的假设。

下面通过“BuyingBooks”示例来说明跨组织业务流程集成的场景，