Pre-automata and complex event processing

Abstract

In the paper complex event processing systems are considered. The survey of problems and approaches to their solutions associated with this technology is contained in the paper. Based on this survey a mathematical model for complex event processing systems is proposed. Samples of such a model are called a CEP-machines. Authors have demonstrated that this model is closely related with the notion of a preautomaton introduced in their earlier papers. The proposed model provides rigorous formulations of problems associated with complex event processing. Authors have proved that processing ability of such systems is determined by some compromise between the class of processed event stream and a number of complex events. Further in the paper the problem of CEP-machine synthesis basing on the formal specification has been solved. Authors have established the conditions ensuring possibility of algorithmic realisation for CEP-machines.