17、服务与计划目标模型的适配及自适应框架解析

服务与计划目标模型的适配及自适应框架解析

在服务型应用的开发与运行过程中，服务与计划目标模型的适配以及应用的自适应调整是至关重要的环节。本文将深入探讨服务与计划目标模型的适配关系，以及用于实现应用自适应的 PROSA 框架。

服务与计划目标模型的比较

在明确初始需求并为每个计划提取目标模型后，我们需要对注册中心的服务供应进行监控。当服务供应发生变化时，我们要判断新的可用服务是否比初始服务集更适合现有计划。这就需要定义一个适配关系，该关系基于计划目标模型和服务目标模型的比较，并遵循假设 (A1) 和 (A2)。

在模型比较时，会出现三种冲突：
- 命名冲突 ：由于模型中自然语言的不同使用而产生。
- 类型冲突 ：源于建模语言的不同使用，例如将同一现实世界现象表示为实体类型或属性。
- 结构冲突 ：当不同建模者因建模项目的不同目标而对现实世界比例进行不同重构时产生。

模型比较的目的是识别并解决命名和类型冲突，而结构冲突无法解决，它代表了被比较模型之间的差异。假设命名冲突已经解决，即服务目标模型和计划目标模型使用共享本体，那么模型比较就可以简化为解决类型冲突和分析结构冲突。

我们的模型包含硬目标、软目标、贡献链接和手段 - 目的链接。硬目标描述功能需求，软目标代表质量需求。由于功能需求通常用 Web 服务描述语言 (WSDL) 描述，非功能需求通常通过服务级别协议 (SLA) 描述，所以硬目标和软目标相互排斥，在类型冲突分析中无法解决。剩下的元素是手段 - 目的链接和贡献链接，手段 - 目的链接表示计划和