[论文笔记] Monitoring Dependencies for SLAs: The MoDe4SLA Approach (SCC, 2008)

Time: 3.1 hours
Lianne Bodenstaff, Andreas Wombacher, Manfred Reichert, Michael C. Jaeger, "Monitoring Dependencies for SLAs: The MoDe4SLA Approach," scc, vol. 1, pp.21-29, 2008 IEEE International Conference on Services Computing Vol. 1, 2008

    本文作者Lianne Bodenstaff是University of Twente(荷兰)的博士生(2005~2009), 研究方向包括Composite Services, Service Monitoring, Service Level Agreements等, MoDe4SLA approach (Monitoring Dependencies for SLAs) 是她博士阶段的主要成果, 发表过的部分论文:
       Towards Management of Complex Service Compositions - Position Paper. SC4B2B, 2009
       Analyzing Impact Factors on Composite Services. SCC, 2009
       Monitoring Service Compositions in MoDe4SLA: Design of Validation. ICEIS, 2009
       Monitoring Dependencies for SLAs: The MoDe4SLA Approach. SCC, 2008

以下是论文笔记.
1. 本文从组合服务提供者的角度出发, 提出了一种定量方法来分析成员服务的SLA对组合服务SLA的影响(该方法文中称为MoDe4SLA: Monitoring Dependencies for SLAs), 比如可以识别出对于组合服务的一种QoS值, 哪些成员服务的贡献比较大; 同时提供了一种使用Event Log对SLA进行动态监控的机制.
作者认为有这些Contributions:
(1) dependency model
(2) impact analysis
(3) structuring monitoring results (结构化的监控结果, 可能是指定义了一套event log的格式)
(4) 通过以上的开发时分析及运行时监控结果, 图形化展示SLA violation的根源

2 铺垫
(1) Service Level Objective (SLO) (S2)
一个SLA通常由多个SLO组成, 一个SLO是在一个QoS维度上(比如响应时间)双方的约定.
(2) 两个简单的组合服务做为examples贯穿全文:
第一个:  SubscribedNews service
从多个新闻提供商获取信息, 在约定的时间发给用户.
第二个:  NewsRequest Service
收到用户请求后, 从多个新闻提供商获取信息, 发回给用户.

3. Dependency Model (S3)
"Difference SLOs in one SLA might depend on different services or depend on them in different ways."
这一章讨论对各个SLO, 使用恰当的组合结构来表达依赖关系(类似与常见的工作流组合模式, 另外这里还考虑了是否重用数据).
用图形化的方式展示组合服务的SLO依赖哪些SLOs以及以何种方式依赖.

比如Cost Model Constructs如下(S3.1):
 

又Response Time Constructs如下(S3.2):

对response使用CPN(Coloured Petri Net)来表示(只用来图示而已, 并没有使用CPN强大的分析能力)

说明: 本文中的模型关注conceptual issues, 不针对具体的specification language(比如WSLA).

4. Impact Analysis (S4)
"The impact factor indicates how likely it is that the service influenced the perfomance of the composite service."
根据dependency model得到abstraction graph进行impact 分析, 下图是作者列举的几种:
 
对于每个QoS维度, 每个组成服务都能得到一个绝对的数值表示其对组合服务的影响.
本文中, 作者只对简单的例子使用了impact analysis, 好像没有提供自动化的计算工具. 对于此种方法在实际应用中的有效性支持不够.

5. Monitoring (S5)
定义了event log记录的格式, 根据监控的结果,并结合impact analysis的结果, 最终用图形来展示(见下图)

红色区域表示识别到的SLA violation.