43、用户中心服务的建模与自动组合

用户中心服务的建模与自动组合

1. 服务组合概述

在服务组合中，像机票、酒店预订和租车等对象在旅行规划场景下可能需要协同。对于每组这样的对象，会指定一组控制流需求，以定义如何协调它们。这些需求实际上定义了一种用于协调特定对象的组合模板。最终，得到的规范，即领域对象、服务和组合模板，会存储在一些服务存储库中。

在运行时，模板会用具体对象实例化，并向用户提供可以管理这些对象的服务。一旦选择了服务实现，就会使用规划技术自动构建复合服务。基于规划的组合工具将对象图模型、带注释的服务规范和控制流需求作为输入，将这些模型转换为一个规划域，并在该域上设置规划目标。得到的规划用于实现满足指定组合需求的复合服务的行为，最后再将其转换回标准的组合语言（如 BPEL）。

运行时选择服务实现的能力非常重要。由于同一服务的实现可能有很大差异，实现这种能力并非易事，实际上需要运行时可用的高级规划技术。

2. 基于规划的服务组合背景

服务组合方法依赖于异步域规划的组合框架。在该研究中，规划域从服务规范中导出，组合需求被形式化为规划目标，并将高级规划算法应用于规划问题以生成复合服务。该方法的优点包括异步通信模型、处理有状态和非确定性服务的能力，以及考虑基于偏好（可达性）的服务需求，因此为后续构建提供了良好基础。

规划域正式定义为状态转换系统（STS），即一个动态系统，它可以处于其状态之一（其中一些是初始状态和/或接受状态），并可以通过执行某些动作演变为新状态。动作可以是输入动作（表示接收消息）、输出动作（表示向外部服务发送消息）和内部动作 τ（建模内部计算和决策）。

定义 1（STS） ：状