Verification of active rule base via conditional colored Petri nets

Chavarría-Báez, Lorena; Li, Xiaoou

doi:10.1109/icsmc.2007.4414028

Cited by 4 publications

(2 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Verification concerns the correctness and appropriateness of the structure of a rule base, and must be an essential part of the whole system development. In our previous works [2] - [5], we have tackled active rule base verification issues.…”

Section: Rule Base Developmentmentioning

confidence: 99%

Active Database System Realized by a Petri Net Approach

Chavarría-Báez¹,

2008

Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information S

View full text Add to dashboard Cite

An active database system executes actions automatically in response to events that are taking place either inside or outside the database. Developing an active database system, especially an active rule base, is not an easy task because some (unnoticed) errors may be introduced during its construction. In this paper, we present a Petri net-based approach to integrate active rules into traditional database system. We implemented our approach as a software system called ECAPNSim which not only has verification and simulation functionality but also allows us to develop multi-platform applications, i.e., a unique active rule base can work independently of the DBMS.

show abstract

Section: Rule Base Developmentmentioning

confidence: 99%

Active Database System Realized by a Petri Net Approach

Chavarría-Báez¹,

2008

Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information S

View full text Add to dashboard Cite

show abstract

“…Baralis (1999) proposed a technique, based on relational algebra, to check if active rules are terminated or confluent. Other results Choi et al (2006b); Chavarría-Báez and Li (2007) addressed both termination and confluence properties using model checking techniques. One important property that has not received much attention is data constraint property of a system.…”

Section: Introductionmentioning

confidence: 99%

Formal Analysis of Database Trigger Systems Using Event-B

Khanh

Thuan

2021

International Journal of Software Innovation

View full text Add to dashboard Cite

Most modern relational database systems use triggers to implement automatic tasks in response to specific events happening inside or outside a system. A database trigger is a human readable block code without any formal semantics. Frequently, people can check if a trigger is designed correctly after it is executed or by manual checking. In this article, the authors introduce a new method to model and verify database trigger systems using Event-B formal method at design phase. First, the authors make use of similar mechanism between triggers and Event-B events to propose a set of rules translating a database trigger system into Event-B constructs. Then, the authors show how to verify data constraint preservation properties and detect infinite loops of trigger execution with RODIN/Event-B. The authors also illustrate the proposed method with a case study. Finally, a tool named Trigger2B which partly supports the automatic modeling process is presented.

show abstract

Trigger2B: A Tool Generating Event-B Models from Database Triggers

2021

Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering

View full text Add to dashboard Cite

Verification of active rule base via conditional colored Petri nets

Cited by 4 publications

References 15 publications

Active Database System Realized by a Petri Net Approach

Active Database System Realized by a Petri Net Approach

Formal Analysis of Database Trigger Systems Using Event-B

Trigger2B: A Tool Generating Event-B Models from Database Triggers

Contact Info

Product

Resources

About