论文报告：.ppt
论文报告：An Initial Approach to Explaining SLA Inconsistencies 郑旭旭 2009-4-20研究背景 为什么研究？l SLA 中包括了一些列的条款，定义了服务商与客户的职责与服务内容，以及惩罚条款等。l 如果SLA 中的协议条款不能正确执行，会给相关方带来损失。所以，利益相关方签署SLA 时，必须谨慎，防止条款之间的冲突。然而，由于协议的复杂性，一致性检查成为一项非常具有挑战性的任务。文章解决问题：l 自动检测一个SLA 文档的不一致性问题，并且返回协议中不一致的条款。l 传统对SLA 的研究主要是服务运行时的动态检测，这篇文章提出的是对协议一致性的静态检查例子：条款冲突l 某服务提供商提供计算服务，SLA应该包括 可用性（90,100,%）MTBR（两个连续服务请求的平均时间）（5,60,秒）效率=可用性/MTBR 如果这个SLA 包含条款：效率20。效率的最大值为100/5=20。显然，此条款不能满足。方法基本思想 思想：l 把描述SLA的WS-Agreement*映射为CSPl 使用带有解释引擎的CSP Solver 来检测CSP的一致性，如果不一致，找出引起不一致问题的约束条件子集，作为此CSP 的解释l 利用Tracing 组件，根据对CSP 的解释，找出原WS-Agreement*文档中不一致的条款，提交给用户。背景知识(1)CSP：Constraint Satisfaction Problem l 约束满足问题：每个问题由一个变量集合和一个约束条件集合组成，每个变量有一个对应的值域l 人工智能中一直研究的内容l CSP 表达形式（V，D，C）：V，表示变量集合；D，表示变量的值域集合；C，表示约束条件集合 例如：（a，b，0,1,2，0,1,2，a+b4）l CSP 的解：是在满足所有约束的条件下，从变量的值域中给每个变量赋值，使得所有的约束得以满足。（解集）l CSP 解释问题：是指解集为空的CSP 问题。（如：a+b-1）l CSP 的解释（Explanation）：对于CSP 解释问题，需要知道是哪个约束条件子集的原因，找出这个子集作为对这个CSP 的解释。背景知识(2)WS-Agreement：l 全球网格论坛的规范草案，它用 XML 语言定义了资源或服务提供者与消费者之间的协定，以及使用协议模板创建协定的协议。l 协议结构 Namel 协议名称 Contextl 包括参与方的角色等 Termsl 服务条款 服务描述条款和服务引用：标识服务和操作的信息 服务属性：在服务保证条款中使用到的一系列变量。变量值在服务描述条款中定义；变量域在metric 属性指向的XML 文档中定义（定义了数据类型和取值范围）l 保证条款 描述了服务水平目标（SLO）包括：条款范围和满足条件l 这些条款由term compositors 组成：ExactlyOne、OneOrMore、All背景知识(3)WS-Agreement*：l 本文为了实现上的简单，提出的WS-Agreement 简化版本，但是此版本同样能够描述复杂的协议。l 文档结构 服务属性l 定义了一些列在保证条款中使用到的变量l Metric 属性是必须的 条款组成标签 服务描述条款l 仅涉及服务属性中定义的变量的具体值 保证条款l 仅包含SLO 和满足条件，不涉及范围 映射函数l WS-Agreement*中的变量集合V 映射为 CSP 中的变量集合l WS-Agreement*中定义在metric属性中的变量值域映射为 CSP 中的值域集合l WS-Agreement*中的条款集合映射为 CSP 中的约束条件集合。文章关键：WS-Agreement*映射为CSP 的机制(1)文章关键：WS-Agreement*映射为CSP 的机制约束条件集合映射 WS-Agreement*中包含以下条款类型：l 服务描述条款、保证条款、组合条款 上述条款分别映射为以下约束条件 其中组合条款映射为l All 映射为 AND：逻辑“与”关l ExactlyOne 映射为 XOR：逻辑“异或”关系l OneOrMore 映射为 OR：逻辑“OR”关系系统实现机制解释WS-Agreement*中的不一致条款的流程图系统实现机制 Mapping 组件l WS-Agreement*文件和metric XML 文件作为输入，根据这两个文件对应的协议映射为相应的CSP CSP Explainer 组件l 该组件中的CSP 引擎检测CSP 解集是否为空，判断一致性问题。若不一致，将该CSP 的Explanation 发送到Tracing 组件 Tracing 组件l Tracing 组件，根据对CSP 的解释，找出原WS-Agreement 文档中不一致的条款，提交给用户 其他 Proof-of-Conceptl 使用Choco Solver 和Palm 解释引擎实现 改进之处l 能够处理完整的WS-Agreement 文档l 能够同时检查语义和句法鉴于此文章的思考 文章提出的方法是将WS-Agreement 中的协议映射为CSP 问题进行解决，这样就把难于描述的协议规则变成数学问题，易于表示，容易解决。在多租户定制环境下，允许租户对自己的流程、业务逻辑规则等进行自定义。但是，有些租户自定义的流程规则等可能不合法，SaaS 系统应该提供自动检测机制来对用户的定义进行检测，找出不合法的地方，返回给租户。可以借鉴文章的机制。SaaS 系统中定制点之间存在很多依赖，这些依赖是不是也可以转化为CSP 问题来描述？将依赖转化为CSP 问题后，可以基于CSP 问题设计依赖解释引擎，该引擎用于解决定制点之间的依赖问题。例子：(1)SLA 内容(2)WS-Agreement(3)Metric XML(4)条款和约束条件之间的映射
