[论文解读] A model-driven approach for processing complex events

István Dávid|arXiv (Cornell University)|Apr 10, 2012

Software System Performance and Reliability参考文献 3被引用 4

一句话总结

本文提出一种基于模型的复杂事件处理（CEP）配置定义与生成方法，采用一种新型文本化建模语言——复杂事件描述语言（CEDL）。通过为CEDL提供代数语义，该方法可直接为工业级CEP引擎生成代码，从而简化在分布式事件源上指定复杂事件模式的过程。

ABSTRACT

By adequate employing of complex event processing (CEP), valuable information can be extracted from the underlying complex system and used in controlling and decision situations. An example application area is management of IT systems for maintaining required dependability attributes of services based on the infrastructure. In practice, one usually faces the problem of the vast number of distributed event sources, which makes depicting complex event patterns a non-trivial task. In this paper, I present a novel, model-driven approach to define complex event patterns and directly generate event processing configuration for an open source CEP engine widely used in the industry. One of the key results of my research work is a textual modeling language called Complex Event Description Language (CEDL), which will be presented by its algebraic semantics and some typical examples.

研究动机与目标

• 解决在实时系统中跨大量分布式事件源指定复杂事件模式的挑战。
• 通过引入领域特定建模语言，降低手动配置CEP引擎的复杂性与出错风险。
• 实现从高级事件规范直接生成开源CEP引擎的可执行代码。
• 利用代数基础形式化事件模式定义的语义，确保正确性与一致性。
• 支持在工业环境中的实际部署，特别是在IT服务管理和可靠性监控领域。

提出的方法

• 设计并规范一种用于表达复杂事件模式的领域特定建模语言——复杂事件描述语言（CEDL）。
• 为CEDL定义代数语义，以形式化描述事件模式的行为与组合机制。
• 将CEDL与开源CEP引擎集成，实现从模型自动生成运行时配置。
• 利用文本化建模抽象事件处理逻辑的底层实现细节。
• 应用模型驱动工程原则，实现CEP系统中规格说明与实现的解耦。
• 通过典型用例验证该方法，展示其表达能力与可配置性。

实验结果

研究问题

• RQ1 如何在分布式事件源上以可扩展且可维护的方式指定复杂事件模式？
• RQ2 需要何种形式化语义才能确保事件模式定义的正确性与一致性？
• RQ3 领域特定建模语言能否有效生成工业级CEP引擎的可执行配置？
• RQ4 模型驱动工程在实践中在多大程度上降低了CEP配置的复杂性？
• RQ5 所提出的方法在动态环境中如何支持事件处理逻辑的重用与演化？

主要发现

• 所提出的模型驱动方法成功实现了从高级CEDL规格说明直接生成CEP引擎配置。
• CEDL的代数语义为事件模式组合与正确性的形式化推理提供了坚实基础。
• 该方法显著减少了手动配置工作量，并降低了复杂事件处理流水线中的错误率。
• 通过实际示例验证了该方法的有效性，展示了其在建模现实世界事件模式方面的表达能力。
• 与开源CEP引擎的集成证实了该方法在工业环境中的可行性与实用性。
• 使用CEDL可实现更清晰的规格说明、更易维护的代码，以及更优的工具支持，相较原始配置代码具有明显优势。