Correctness of events in event processing systems and applications

作者： Skarbovsky Inna , Etzion Opher , Yatzkar-Haham Tali , Elior Malul

DOI:

关键词: Process (computing) 、 Carry (arithmetic) 、 Complex event processing 、 Component (UML) 、 Correctness 、 Real-time computing 、 Computer science

摘要: A method of adapting an event processing component. The comprises designating component having a plurality agents which carry out rules to process events, selecting at least one correctness requirement, and automatically adjusting, using processor, the comply with requirement.