[论文解读] SLALOM: a Language for SLA specification and monitoring

Anacleto Correia, Fernando Brito e Abreu+1 more|arXiv (Cornell University)|Sep 30, 2011

Service-Oriented Architecture and Web Services参考文献 7被引用 4

一句话总结

SLALOM 是一种领域特定语言，旨在弥合面向业务的服务水平协议（SLA）规范与实现级监控之间的语义鸿沟。通过将 BPMN 和 ITIL SLA 生命周期概念整合到统一的元模型中，SLALOM 实现了精确、与流程集成的 SLA 建模与监控，其有效性通过一个支持自助式金融终端的用例得到验证，并实现了具体的语法实例化。

ABSTRACT

IT services provisioning is usually underpinned by service level agreements (SLAs), aimed at guaranteeing services quality. However, there is a gap between the customer perspective (business oriented) and that of the service provider (implementation oriented) that becomes more evident while defining and monitoring SLAs. This paper proposes a domain specific language (SLA Language for specificatiOn and Monitoring - SLALOM) to bridge the previous gap. The first step in SLALOM creation was factoring out common concepts, by composing the BPMN metamodel with that of the SLA life cycle, as described in ITIL. The derived metamodel expresses the SLALOM abstract syntax model. The second step was to write concrete syntaxes targeting different aims, such as SLA representation in process models. An example of SLALOM's concrete syntax model instantiation for an IT service sup-ported by self-service financial terminals is presented.

研究动机与目标

• 弥合业务利益相关者与服务提供商在 SLA 定义与监控方面的语义鸿沟。
• 创建一种正式的、领域特定的语言（DSL），支持 SLA 的规格说明与运行时监控。
• 将公认的行业标准——BPMN 用于流程建模，ITIL 用于 SLA 生命周期——整合到一个连贯的元模型中。
• 支持针对特定用例（如自助式金融终端）的 SLALOM 具体语法实例化。
• 提升服务生命周期中 SLA 管理的清晰度、精确度与可追溯性。

提出的方法

• 作者通过组合 BPMN 元模型与基于 ITIL 的 SLA 生命周期元模型，推导出一个抽象语法模型。
• 该集成的元模型构成了 SLALOM 抽象语法的基础，确保与行业标准的流程与 SLA 概念保持一致。
• 为不同目的设计了具体语法，包括与业务流程模型的集成。
• 为由自助式金融终端支持的 IT 服务，开发了 SLALOM 具体语法的一个特定实例化。
• 该方法通过形式化的语言构造，支持从业务流程到可度量 SLA 指标的可追溯性。
• 该语言支持人类可读性与机器可处理性，适用于监控与验证。

实验结果

研究问题

• RQ1 如何通过领域特定语言有效弥合业务级 SLA 需求与技术实现之间的鸿沟？
• RQ2 何种正式元模型能够整合 BPMN 流程建模与基于 ITIL 的 SLA 生命周期概念？
• RQ3 SLALOM 如何实例化为一种支持建模与运行时监控的具体语法？
• RQ4 在实际服务场景（如自助式金融终端）中使用 SLALOM 的实际优势是什么？
• RQ5 SLALOM 是否能提升服务生命周期中 SLA 规格说明的清晰度、精确度与可追溯性？

主要发现

• SLALOM 有效统一了业务流程建模（BPMN）与 SLA 生命周期管理（ITIL），为 SLA 规格说明创建了一个连贯的元模型。
• 该语言支持为特定部署环境（如自助式金融终端）定制具体语法实例。
• 所提出的方法实现了 SLA 指标与流程模型之间的直接映射，增强了可追溯性与监控能力。
• SLALOM 的一个工作实例已在真实用例中得到演示，验证了其实际适用性。
• 该语言通过与公认标准对齐术语与结构，促进了业务团队与技术团队之间的更清晰沟通。