Interval logic for design and maintenance of complex event processing systems (short paper)

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). © 2012 Springer-Verlag.