Towards complex actions for complex event processing

Complex actions are a natural extension for complex event processing languages needed by many applications like emergency management. In particular interactions with external actuators that are common in those applications pose challenges that need to be adequately covered. Many approaches towards actions and reactivity in event processing are, however, either too simple or too formal to model complex composite actions in a convenient manner or require a complete knowledge of the actions and of their effects. This article proposes a pragmatic yet generic approach to complex actions in event processing which adapts to the heterogeneous and incomplete nature of physical actions. The article furthermore introduces a static semantic analysis for rejecting incorrect and undesirable programs which scales with the available information without requiring an a priori, or complete, knowledge of the actions and their consequences. The article finally describes a transformation of complex actions into complex events queries making it rather simple to add complex actions to a wide range of event processing languages.

[1]  François Bry,et al.  Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification , 2002, ICLP.

[2]  Adrian Paschke,et al.  A Homogeneous Reaction Rule Language for Complex Event Processing , 2010, ArXiv.

[3]  François Bry,et al.  Towards a Declarative Query and TransformationLanguage for XML and Semistructured Data:Simulation Unification , 2002 .

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

[5]  Manolis Koubarakis,et al.  Backtracking algorithms for disjunctions of temporal constraints , 1998, Artif. Intell..

[6]  Murray Shanahan,et al.  Some Alternative Formulations of the Event Calculus , 2002, Computational Logic: Logic Programming and Beyond.

[7]  Murray Shanahan,et al.  The Event Calculus Explained , 1999, Artificial Intelligence Today.

[8]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[9]  Neil Yorke-Smith,et al.  Disjunctive Temporal Planning with Uncertainty , 2005, IJCAI.

[10]  M Bettelini,et al.  Optimum emergency management through physical simulation – findings from the EMILI research project , 2013 .

[11]  Daniel Nilsson,et al.  Fire Evacuation in Underground Transportation Systems: A Review of Accidents and Empirical Research , 2013 .

[12]  Michael Eckert,et al.  Rules for Making Sense of Events: Design Issues for High-Level Event Query and Reasoning Languages (Position Paper) , 2008, AAAI Spring Symposium: AI Meets Business Rules and Process Management.

[13]  Murray Shanahan Event Calculus Planning Revisited , 1997, ECP.

[14]  Peter Scheuermann,et al.  Active Database Systems , 2008, Wiley Encyclopedia of Computer Science and Engineering.

[15]  Sharma Chakravarthy,et al.  SnoopIB: Interval-based event specification and detection for active databases , 2003, Data Knowl. Eng..

[16]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[17]  Michael Eckert,et al.  Rule-Based Composite Event Queries: The Language XChangeEQ and Its Semantics , 2007, RR.

[18]  Narain H. Gehani,et al.  Composite Event Specification in Active Databases: Model & Implementation , 1992, VLDB.

[19]  Thierry Vidal,et al.  Handling contingency in temporal constraint networks: from consistency to controllabilities , 1999, J. Exp. Theor. Artif. Intell..

[20]  Hendrik Segers,et al.  Composite event specification in active databases: model and implementation , 1992 .

[21]  Michael Eckert,et al.  Realizing Business Processes with ECA Rules: Benefits, Challenges, Limits , 2006, PPSWR.

[22]  Klaus R. Dittrich,et al.  Detecting composite events in active database systems using Petri nets , 1994, Proceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems.

[23]  Nihan Kesim Cicekli,et al.  Formalizing Workflows Using the Event Calculus , 2000, DEXA.

[24]  Wolfgang May,et al.  Combining ECA Rules with Process Algebras for the Semantic Web , 2006, 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06).

[25]  Thierry Vidal,et al.  CTP: A New Constraint-Based Formalism for Conditional, Temporal Planning , 2003, Constraints.

[26]  François Bry,et al.  Temporal Stream Algebra , 2012 .

[27]  Adrian Walker,et al.  Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..

[28]  Falko Menge Enterprise Service Bus , 2007 .