Paper Info
Title
A Unified Approach for Specifying Timing Constraints and Composite Events in Active Real-Time Database Systems
Abstract
In active database systems, events are used in, ECA rules to specify the time to check: the conditions of the rules. Composite events can be constructed in an intuitive way by applying event operators, such as and, or, sequence, etc., to primitive events. Where timing is important, these event operators may introduce ambiguity if there is no formal semantics defining the occurrence of the composite events. In this paper, we propose a formalism to specify a wider range of composite events with formal semantics in the logic RTL which is especially amenable for specifying timing constraints in real-time systems. The use of RTL to define the formal semantics also allows us to exploit compilation methods which can be used to translate the enabling conditions of ECA rules into timing constraints. Thus the detection of composite events can be handled by monitoring the corresponding timing constraints, a subject which has been explored in our previous work [18, 19]. A prototype implementation of this approach, a Java package for composite event specification, compilation and detection, will be discussed in the paper.
Year
DOI
Venue
1998
10.1109/RTTAS.1998.683204
IEEE Real-Time Technology and Applications Symposium
Keywords
Field
DocType
composite events,unified approach,specifying timing constraints,active real-time database systems,prototypes,logic,real time,database systems,information management,real time systems,java,database system,formal specification,management information systems,formal semantics
Programming language,Real time database systems,Computer science,Real-time computing,Formal specification,Exploit,Operator (computer programming),Formalism (philosophy),Java package,Ambiguity,Semantics of logic
Conference
ISBN
Citations 
PageRank 
0-8186-8569-7
28
3.15
References 
Authors
13
3
Name
Order
Citations
PageRank
G. Liu1283.15
Aloysius K. Mok266286.52
P. Konana3293.72