Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
A graph-theoretic approach for timing analysis and its implementation
IEEE Transactions on Computers - Special Issue on Real-Time Systems
The HiPAC project: combining active databases and timing constraints
ACM SIGMOD Record - Special Issue on Real-Time Database Systems
Distributed and Parallel Databases - Special issue: Research topics in distributed and parallel databases
Snoop: an expressive event specification language for active databases
Data & Knowledge Engineering
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Temporal conditions and integrity constraints in active database systems
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Unbundling active functionality
ACM SIGMOD Record
ACM Computing Surveys (CSUR)
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
Active Database Systems: Triggers and Rules for Advanced Database Processing
Active Database Systems: Triggers and Rules for Advanced Database Processing
The Temporal Rover and the ATG Rover
Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
Ode as an Active Database: Constraints and Triggers
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Alert: An Architecture for Transforming a Passive DBMS into an Active DBMS
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Composite Event Specification in Active Databases: Model & Implementation
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Composite Events for Active Databases: Semantics, Contexts and Detection
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
A Designer's Benchmark for Active Database Management Systems: oo7 Meets the BEAST
RIDS '95 Proceedings of the Second International Workshop on Rules in Database Systems
Two Approaches to Event Definition
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
Efficient Run-Time Monitoring of Timing Constraints
RTAS '97 Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium (RTAS '97)
RTAS '98 Proceedings of the Fourth IEEE Real-Time Technology and Applications Symposium
Early detection of timing constraint violation at runtime
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
Is Point-Based Semantics Always Adequate for Temporal Databases?
TIME '00 Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning (TIME'00)
On the Semantics of Complex Events in Active Database Management Systems
ICDE '99 Proceedings of the 15th International Conference on Data Engineering
Real-Time Systems: Scheduling, Analysis, and Verification
Real-Time Systems: Scheduling, Analysis, and Verification
An event service architecture in distributed real-time systems
An event service architecture in distributed real-time systems
Optimizing Real-Time Equational Rule-Based Systems
IEEE Transactions on Software Engineering
The VLDB Journal — The International Journal on Very Large Data Bases
Inconsistency detection and resolution for context-aware middleware support
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Incremental consistency checking for pervasive context
Proceedings of the 28th international conference on Software engineering
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Seamless formal verification of complex event processing applications
Proceedings of the 2007 inaugural international conference on Distributed event-based systems
Monitoring of Timing Constraints with Confidence Threshold Requirements
IEEE Transactions on Computers
A metamodel for distributed event based systems
Proceedings of the second international conference on Distributed event-based systems
Partial constraint checking for context consistency in pervasive computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
A concept lattice-based event model for Cyber-Physical Systems
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
Ultra low latency market data feed on IBM PowerENTM
Computer Science - Research and Development
Processing flows of information: From data stream to complex event processing
ACM Computing Surveys (CSUR)
Adam: Identifying defects in context-aware adaptation
Journal of Systems and Software
| Hi-index | 0.01 |
Increasingly, business applications need to capture consumers' complex preferences interactively and monitor those preferences by translating them into Event-Condition-Action (ECA) rules and syntactically correct processing specification. An expressive event model to specify primitive and composite events that may involve timing constraints among events is critical to such applications. Relying on the work done in active databases and real-time systems, this research proposes a new composite event model based on Real-Time Logic (RTL). The proposed event model does not require fixed event consumption policies and allows the users to represent the exact correlation of event instances in defining composite events. It also supports a wide-range of domain-specific temporal events and constraints, such as future events, time-constrained events, and relative events. This event model is validated within an electronic brokerage architecture that unbundles the required functionalities into three separable components驴business rule manager, ECA rule manager, and event monitor驴with well-defined interfaces. A proof-of-concept prototype was implemented in the Java programming language to demonstrate the expressiveness of the event model and the feasibility of the architecture. The performance of the composite event monitor was evaluated by varying the number of rules, event arrival rates, and type of composite events.