25、用二叉决策图建模服务级别协议

用二叉决策图建模服务级别协议

1. 引入场景

在服务管理场景中，服务级别协议（SLA）的管理至关重要。假设存在一个基础设施即服务（IaaS）提供商、一个软件即服务（SaaS）提供商（同时也是 IaaS 提供商的客户）以及 SaaS 提供商的终端客户。SaaS 提供商没有自己的基础设施，所有操作都外包给拥有软件执行基础设施的 IaaS 提供商。这种业务场景涉及两个 SLA：
- SLA - 1 ：终端客户与 SaaS 提供商之间的协议。对于“Service - 1”服务，营业时间为 09:00 至 17:00。营业时间内，“Operation - 1”操作必须在 5 秒内完成，服务可用性必须超过 99%；非营业时间，同一操作的完成时间可达 10 秒，服务可用性必须超过 95%。
- SLA - 2 ：SaaS 提供商与 IaaS 提供商之间的协议。对于“VMpool”服务，营业时间为 09:00 至 17:00。营业时间内，必须为该合同分配 10 台虚拟机；非营业时间，必须分配 5 台虚拟机。

相关条款如下表所示：
| SLA | Variable | Proposition | Proposition type |
| — | — | — | — |
| SLA - 1 | x1 | ServiceName = ’Service1’ | Fact |
| SLA - 1 | x2 | BusinessHours = 09:00 - 17:00 | Fact |
| SLA - 1 | x3 | TimeOfDay in BusinessHours | Co