Interval Logic for Design and Maintenance of Complex Event Processing Systems

Jean-René Coffi (1) , Nicolas Museux , Christophe Marsala (1)

1 MALIRE - Machine Learning and Information Retrieval

We present in this paper logical tools for verification of Complex Event Processing (CEP) system at design time, and maintenance at runtime. Although the framework is general enough for most applications, we focus on its use in Business Process Management (BPM).

Domaines: Informatique [cs]

Jean-René Coffi, Nicolas Museux, Christophe Marsala. Interval Logic for Design and Maintenance of Complex Event Processing Systems. The 5th International Workshop on Event-Driven Business Process Management, Aug 2011, Clermond-Ferrand, France. pp.407-413, ⟨10.1007/978-3-642-28108-2_39⟩. ⟨hal-01286160⟩