A visualization and explanation tool for debugging ECA rules in active databases

Abstract

Using ECA rules in active database systems for real-life applications involves implementing, debugging, and maintaining large numbers of rules. Experience in developing large production rule systems has amply demonstrated the need for understanding the behavior of rules especially when their execution is non-deterministic. Availability of rules in active database systems and their semantics creates additional complexity for both modeling and verifying the correctness of such systems. As part of Sentinel — an Object-Oriented Active DBMS, we have developed a visualization tool to help understand the behavior of rules defined as part of an active database application. This is especially important in active databases as rules are invoked (as a side effect) based on event occurrences (both primitive and composite) and are executed concurrently based on user-provided priority information. In this paper, we describe the rationale for the development of the tool, how it has been implemented exploiting the architecture of Sentinel, functionality of the resulting tool, and show several screen dumps to provide a feel for the information presented by the visualization tool.

This work is supported by the Office of Naval Research and the Navy Command, Control and Ocean Surveillance Center RDT&E Division, and by the Rome Laboratory.