Complex Event Processing Modeling by Prioritized Colored Petri Nets

Complex event processing (CEP) is a technology that allows us to process and correlate large volumes of data by using event patterns, aiming at promptly detecting specific situations that could require special treatment. The event types and event patterns for a particular application domain are implemented by using an event processing language (EPL). Although some current model-driven tools allow end users to easily define these patterns, which are then transformed automatically into a particular EPL, the generated code is syntactically but not semantically validated. To deal with this problem, a prioritized colored Petri net (PCPN) model for CEP is proposed and conducted in this paper. This well-known graphical formalism together with CPNTools makes possible the modeling, simulation, analysis, and semantic validation of complex event-based systems. To illustrate this approach, a case study is presented, as well as a discussion on the benefits from using PCPN for modeling CEP-based systems.

[1]  Annika Hinze,et al.  EVA: An event algebra supporting complex event specification , 2015, Inf. Syst..

[2]  Lars Michael Kristensen,et al.  Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .

[3]  MengChu Zhou,et al.  A Branching-Process-Based Method to Check Soundness of Workflow Systems , 2016, IEEE Access.

[4]  Francisca Santana Robles,et al.  Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use , 2015 .

[5]  Wil M. P. van der Aalst,et al.  Modeling Business Processes - A Petri Net-Oriented Approach , 2011, Cooperative Information Systems series.

[6]  Neil Immerman,et al.  Efficient pattern matching over event streams , 2008, SIGMOD Conference.

[7]  Neil Immerman,et al.  On Supporting Kleene Closure over Event Streams , 2008, 2008 IEEE 24th International Conference on Data Engineering.

[8]  Jennifer Widom,et al.  The CQL continuous query language: semantic foundations and query execution , 2006, The VLDB Journal.

[9]  Mikael Berndtsson,et al.  Seamless formal verification of complex event processing applications , 2007, DEBS '07.

[10]  Alessandro Margara,et al.  Processing flows of information: From data stream to complex event processing , 2012, CSUR.

[11]  Inmaculada Medina-Bulo,et al.  MEdit4CEP: A model-driven solution for real-time decision making in SOA 2.0 , 2015, Knowl. Based Syst..

[12]  K. Mani Chandy,et al.  Event Processing - Designing IT Systems for Agile Companies , 2009 .

[13]  Frederick Reiss,et al.  TelegraphCQ: continuous dataflow processing , 2003, SIGMOD '03.

[14]  Markus Völter,et al.  Model-Driven Software Development: Technology, Engineering, Management , 2006 .

[15]  H.-M. Hanisch,et al.  Net condition/event systems with multiple condition outputs , 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95.

[16]  Carlo Zaniolo,et al.  A data stream language and system designed for power and extensibility , 2006, CIKM '06.

[17]  Jan Mendling,et al.  Net-Based Analysis of Event Processing Networks - The Fast Flower Delivery Case , 2013, Petri Nets.

[18]  Waheed Ahmad,et al.  Formal modelling of Complex Event Processing: A generic algorithm and its application to a manufacturing line , 2012, IEEE 10th International Conference on Industrial Informatics.

[19]  Wil M. P. van der Aalst,et al.  Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows , 2009, CAiSE.

[20]  Florence March,et al.  2016 , 2016, Affair of the Heart.

[21]  Alessandro Margara,et al.  TESLA: a formally defined event specification language , 2010, DEBS '10.

[22]  Inmaculada Medina-Bulo,et al.  ModeL4CEP: Graphical domain-specific modeling languages for CEP domains and event patterns , 2015, Expert Syst. Appl..

[23]  Klaus R. Dittrich,et al.  The active database management system manifesto: a rulebase of ADBMS features , 1995, SGMD.

[24]  D. Luckham.  Event Processing for Business: Organizing the Real-Time Enterprise , 2011 .

[25]  David Luckham,et al.  The power of events - an introduction to complex event processing in distributed enterprise systems , 2002, RuleML.

[26]  Mikael Berndtsson,et al.  REX, the rule and event eXplorer , 2007, DEBS '07.