Validating active rules by planning

Active Database System Realized by a Petri Net Approach

“…Very few work can be found on active rule base verification. References [9] and [8] tackled this topic by verifying the rule properties, such as triggerability, join applicability, rule coverage, rule cascading, and postcondition satisfaction of an active rule base, which are mainly focused on checking semantic correctness of active rules. Our approach can work together with their approaches to check both semantic correctness and structural errors.…”

Verification of Smart Homes Specifications which are based on ECA Rules

“…That is an extra motivation to ensure correctness of the ECA rules as a whole. There have been some reports on similar attempts in the literature, see for example [4], by using planning systems. While we address some of the properties considered in [4], here we offer an alternative solution to the problem that is closer to our framework and the methods and tools used in Software Engineering for verification and validation of software [2].…”

The Third International Workshop on Rules in Database Systems (RIDS'97)

“…rule con¯uence analysis, whichÐin the case that multiple rules can be ®red upon the occurrence of an eventÐdetermines whether rule execution reaches a unique ®nal state regardless of the execution order of rules (Comai & Tanca, 1997;Wang et al, 1997), . rule testing and validation, which develops and adapts software techniques for testing and validating active database applications (Chan et al, 1997;Fraternali et al, 1997). Comai & Tanca (1997) use properties of Datalog to prove termination and con¯uence in active databases.…”

“…Details about a test data generator for active rules are presented. Fraternali et al (1997) introduce a technique for active rule validation based on planning. The approach is based on two key concepts: ®rst, the generic core model has been adopted as a framework for expressing updates and active rule semantics.…”