Interval Logic for Design and Maintenance of Complex Event Processing Systems

Abstract : 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).
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01286160
Contributor : Lip6 Publications <>
Submitted on : Thursday, March 10, 2016 - 1:34:38 PM
Last modification on : Thursday, March 21, 2019 - 2:16:32 PM

Identifiers

Citation

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⟩

Share

Metrics

Record views

76