Formal Modelling of Complex Event Processing: A Generic Algorithm and its Application to a Manufacturing Line
Identifying the significant and most needed information in huge enterprises at the right time not only helps in decision making, but also plays an important role in overall performance and profit making of enterprises. Complex Event Processing (CEP) is a developing method of processing different events from multiple sources and filtering them to produce complex events. This paper provides a methodology to model CEP using Timed Net Condition Event System (TNCES), a Petri Nets derived formalism. Petri Nets is a graphical, mathematical modelling language used to analyze and describe discrete-event dynamic systems. The biggest advantage of representing CEP in TNCES is that it opens paths to the validation of the events filtering and decision making in different level of enterprise.
complex event processing event processing language formal methods timed net condition event system
Waheed Ahmad Andrei Lobov Jose L. Martinez Lastra
Department of Production EngineeringTampere University of TechnologyTampere, Finland Department of Production Engineering Tampere University of Technology Tampere, Finland
国际会议
IEEE 10th International Conference on Industrial Informatics(第十届IEEE工业信息学国际学术会议 INDIN2012)
北京
英文
380-385
2012-07-25（万方平台首次上网日期，不代表论文的发表时间）