.png){kind=icon}
返回
Formalizing Complex Event Processing Systems in Maude
.png){kind=icon}
OA
AI
DOI：10.1109/ACCESS.2018.2831185.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Complex event processing (CEP) is a cutting-edge technology for analyzing and correlating streams of information about events that happen in a system, and deriving conclusions from them. CEP permits defining complex events based on the events produced by the incoming sources, to identify complex meaningful circumstances and to respond to them as quickly as possible. Such event types and patterns are defined using event processing languages. However, as the complexity of CEP programs grows, they become difficult to understand and to prove correct. This paper proposes a formal framework for the specification of CEP applications, using rewriting logic and Maude, to allow developers to formally analyze and prove properties of their CEP programs. Several case studies are presented to illustrate the approach, as well as a discussion on the benefits of using Maude and its toolkit for modeling and analyzing CEP systems.
Keyword:
Formal modeling
complex event processing
event processing language
rewriting logic
Maude
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3.6
论文数:
9.8W
被引数:
29.4W
机构
引用论文
Introducing uncertainty in complex event processing: model, implementation, and validation在复杂事件处理中引入不确定性: 模型、实现和验证.png)
COMPUTING
OAAI
COMPUTINGIF2.8
OAAI分享收藏分享收藏Abnormal Condition Monitoring of Workpieces Based on RFID for Wisdom Manufacturing WorkshopsSensorsOAAI
SensorsIF0
OAAI分享收藏CEPSim: Modelling and simulation of Complex Event Processing systems in cloud environmentsCEPSim: 云环境中复杂事件处理系统的建模与仿真OAAI
OAAI分享收藏分享收藏
查看更多内容