An Active Rule Base Simulator based on Petri Nets

Joselito Medina-Mauın, Xiaoou Li

Abstract

Event-condition-action rules, in active database systems, should be performed carefully, because their firings can produce inconsistent states in database systems. In this paper, an ECA rule base simulator is described, named ECAPNSim, which uses a Conditional Colored Petri Net model to depict ECA rules. It can model ECA rules, simulate their behavior, and perform a static analysis.

References

  1. Zimmer, D.: ”Rule Termination Analysis based on a Rule Meta Model”. In: Cadlab Report 2, Cadlab, Bahnhofstr. 32, 33102 Paderborn, Germany, April 1995
  2. Schlesinger, M. and L örincze, G. : ”Rule modeling and simulation in ALFRED”. 3rd International workshop on Rules in Database (RIDS'97), Sk övde, Sweden, June, pp. 83-99, 1997
  3. Gatziu S., Dittrich K.R., “Detecting Composite Events in Active Database Systems Using Petri Nets”, Proc. 4th International Workshop on Research Issues in Data Engineering: Active Database Systems, Houston, Texas, February 1994
  4. Li X., Medina Marín J., and Chapa S. V., ”A Structural Model of ECA Rules in Active Database”, Mexican International Conference on Artificial Intelligence 02, Mérida, Yucatan, México, April 22-26, 2002
  5. Li X., Medina Marín J., ”Composite Event Specification in Active Database Systems: A Petri Net Approach”, IEEE International Conference on System, Man, and Cybernetics, The Hague, The Netherlands, Oct, 2004.
  6. Jensen K., ”An Introduction to the Theoretical Aspects of Colored Petri Nets”. Lecture Notes in Computer Science: A Decade of Concurrency, vol. 803, edited by J. W. de Bakker, W.-P. de Roever, G. Rozenberg , Springer-Verlag, 1994, pp. 230-272
  7. Hanson E.N., ”The Design and Implementación of the Ariel Active Database Rule System”, IEEE Transactions on Knowledge and Data Engineering, Vol. 8, No. 1, february 1996.
  8. Widom J., ”The Starburst Active Database Rule System”, IEEE Transactions on Knowledge and Data Engineering, Vol. 8, No. 4, August 1996.
Download


Paper Citation


in Harvard Style

Medina-Mauın J. and Li X. (2005). An Active Rule Base Simulator based on Petri Nets . In Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005) ISBN 972-8865-22-8, pages 96-101. DOI: 10.5220/0002566500960101


in Bibtex Style

@conference{msvveis05,
author={Joselito Medina-Mauın and Xiaoou Li},
title={An Active Rule Base Simulator based on Petri Nets},
booktitle={Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005)},
year={2005},
pages={96-101},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002566500960101},
isbn={972-8865-22-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005)
TI - An Active Rule Base Simulator based on Petri Nets
SN - 972-8865-22-8
AU - Medina-Mauın J.
AU - Li X.
PY - 2005
SP - 96
EP - 101
DO - 10.5220/0002566500960101