Abstract:An important problem to be addressed within Event-Driven Architecture (EDA) is how to correctly and efficiently capture and process the event/action-based logic. This paper endeavors to bridge the gap between the Knowledge Representation (KR) approaches based on durable events/actions and such formalisms as event calculus, on one hand, and event-condition-action (ECA) reaction rules extending the approach of active databases that view events as instantaneous occurrences and/or sequences of events, on the other. We propose formalism based on reaction rules (ECA rules) and a novel interval-based event logic and present concrete RuleML-based syntax, semantics and implementation. We further evaluate this approach theoretically, experimentally and on an example derived from common industry use cases and illustrate its benefits.
Artificial Intelligence,Logic in Computer Science,Multiagent Systems,Software Engineering
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is how to correctly and efficiently capture and process event/action - based logic, especially in the Event - Driven Architecture (EDA). Specifically, the author aims to bridge the gap between two different approaches:
1. **Knowledge Representation (KR) methods based on persistent events/actions**: These methods mainly originate from the fields of artificial intelligence (AI), knowledge representation, and logic programming. They emphasize formalizing actions/events and their causal relationships in the form of axioms and focus on the information inferred from known events.
2. **Event - Condition - Action (ECA) reaction rules**: This method extends the concept of active databases, regarding events as instantaneous occurrences or event sequences and triggering corresponding actions when specific events are detected.
### Core problems of the paper
- **Instantaneous events vs. persistent events**: Traditional methods usually consider complex events as instantaneous events that occur at a certain point in time, which may lead to some logical problems and unexpected semantics. For example, in some cases, complex event combinations will lead to unexpected results.
- **Lack of formal semantics**: Many pure event - driven architectures, active database systems, production rule systems, or message - driven notification systems often only implement procedural semantics and lack precise formal semantics. This is a serious problem for real - world applications that need to verify and track the effects of events and triggered actions.
### Solutions
To address the above challenges, the author proposes a new method that combines ECA rules with KR event/action logic based on time intervals and transaction update logic. Specifically:
- **Introduce event logic based on time intervals**: Different from the traditional instantaneous event processing method, the new method regards events as facts that exist continuously over a period of time, so that the effects of events can be described more accurately.
- **Formalized syntax, semantics, and implementation**: Based on the RuleML standard, a new syntax and semantics definition is proposed to ensure the reliability and traceability of rules.
- **Theoretical and experimental evaluation**: Through theoretical analysis and experimental verification, the effectiveness of the new method is proved, and its practical application value is demonstrated through industrial cases.
### Conclusion
By combining these two different event - processing methods, the paper provides a more comprehensive and reliable framework for handling complex event - driven applications, especially those application scenarios that require precise verification and tracking of event effects.