Loading...
Please wait, while we are loading the content...
Similar Documents
A Formal Semantics for Composite Temporal Events in Active Database Rules (1995)
| Content Provider | CiteSeerX |
|---|---|
| Author | Motakis, Iakovos Zaniolo, Carlo |
| Abstract | A major thrust of current research in active databases is allowing complex patterns of temporal events to serve as preconditions for rule triggering. Currently, there is no common formalism for specifying the semantics of composite events specification languages and different systems use an assortment of approaches including Finite State Machines, Petri Nets and Petri Nets. In this paper, we propose a unifying approach, which is based on a syntax-directed translation of the composite event expressions into Datalog 1S , whose formal semantics is then used to define the meaning of the original event expressions. |
| File Format | |
| Volume Number | 7 |
| Journal | Journal of Systems Integration |
| Language | English |
| Publisher Date | 1995-01-01 |
| Access Restriction | Open |
| Subject Keyword | Formal Semantics Active Database Rule Composite Temporal Event Petri Net Composite Event Specification Language Common Formalism Finite State Machine Original Event Expression Current Research Major Thrust Temporal Event Different System Syntax-directed Translation Unifying Approach Complex Pattern Active Database Composite Event Expression |
| Content Type | Text |
| Resource Type | Article |
