Active Database System Realized by a Petri Net Approach

Lorena Chavarría-Báez, Xiaoou Li

2008

Abstract

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.

References

  1. Paton, N. , Díaz, O.: Active Database Systems. ACM Computing Surveys, Vol. 31. No. 1. (1999) 62-103
  2. Li, X., Medina-Marín, J., Chapa, S.: Applying Petri nets on active database systems. IEEE Trans. on System, Man, and Cybernetics, Part C: Applications and Reviews, Vol. 37, No. 4. (2007) 482-493
  3. Chavarría-Báez, L., Li, X.: Knowledge Verification of Active Rule-Based Systems. In D.S. Huang, K. Li, and G.W. Irwin (Eds.): ICIC2006: Intelligent Control and Automation. Lecture Notes in Control and Information Sciences, Vol. 344 Springer-Verlag, Berlin Heidelberg (2006) 676-687
  4. Chavarría Baez, L., Li, X.: Static Verification of Active Rule-Based System, In 10th IASTED Intl. Conf. on SoftwareEngineering and Applications. Dallas, Texas, USA, (2006) 514-084.
  5. Chavarría-Báez, L., Li, X.: Verification of ECA Rule Base via Conditional Colored Petri Nets, In IEEE Intl. Conf. on Systems, Man, and Cybernetics. Montreal, Canada. (2007) 7-10
  6. Widom, J., The Starburst Rule System. In: J. Widom (ed.): Active Database Systems Triggers and Rules For Advanced Database Processing. Morgan Kaufmann Publishers, San Francisco, California (1996)
  7. He, X., Chu, W., Yang, H., A New Approach to Verify Rule-Based Systems Using Petri Nets, Inf. and Soft. Tech., vol. 45, no. 10, pp. 663-670, 2003
  8. Augusto, J. C., and Nugent, C., A New Architecture for Smart Homes Based on ADB and Temporal Reasoning, In Toward a Human Friendly Assistive Environment (Proc. of 2nd Intl. Conf. on Smart homes and health Telematic, ICOST2004), Assistive Technology Research Series, Vol. 14, pp. 106-113, IOS Press, Singapore, Sept. 15-17, 2004.
  9. Fraternali, P., Teniente, E., Urpí, T., Validating Active Rules by Planning, In Proc. of the 3rd Intl. Workshop on Rules in Database Systems, Springer LNCS Vol. 1312, 1997, pp. 181-196.
  10. Yang, S., Fuzzy Rule Base Systems Verification Using High-Level Petri Nets, IEEE Trans. on Knowledge and Data Engineering, vol. 15, no. 2, 2003, 457-473.
  11. Wu, C. and Lee, S., A Token-Flow Paradigm for Verification of Rule-Based Expert Systems, IEEE Trans. on Systems, Man and Cybernetics- Part B: Cybernetics, vol. 30, no. 4, 2000, 616-624
  12. M. Ramaswamy, S. Sarkar, and Y.S. Chen, ”Using Directed Hypergraphs to Verify RuleBased Expert Systems”, IEEE Trans. on Knowl. and Data Eng., vol. 9, no. 2, 1997, pp. 221-237
Download


Paper Citation


in Harvard Style

Chavarría-Báez L. and Li X. (2008). Active Database System Realized by a Petri Net Approach . In Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2008) ISBN 978-989-8111-43-2, pages 150-159. DOI: 10.5220/0001730501500159


in Bibtex Style

@conference{msvveis08,
author={Lorena Chavarría-Báez and Xiaoou Li},
title={Active Database System Realized by a Petri Net Approach},
booktitle={Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2008)},
year={2008},
pages={150-159},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001730501500159},
isbn={978-989-8111-43-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2008)
TI - Active Database System Realized by a Petri Net Approach
SN - 978-989-8111-43-2
AU - Chavarría-Báez L.
AU - Li X.
PY - 2008
SP - 150
EP - 159
DO - 10.5220/0001730501500159