Abstract
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus for specifying and simulating workflows. The proposed framework maintains a representation of the dynamic world being modeled on the basis of user supplied axioms about preconditions and effects of events and the initial state of the world. The net effect is that a workflow specification can be made at a higher level of abstraction. Within this framework it is possible to model sequential and concurrent activities with synchronization when necessary. It is also possible to model agent assignment and concurrent workflow instances.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alonsa, G., D. Agrawal, A.El Abdabi, and C. Mohan. Functionalities and Limitations of Current Workflow Management Systems. In IEEE-Expert (Special Issue on Cooperative Information Systems), 1997.
Baral C, J. Lobo. Formalizing workflows as collections of condition-action rules. Dynamics’ 97, Workshop in ILPS, 1997..
Barbara, D., S. Mehrotra and M. Rusinkiewicz. INCAs: Managing Dynamic Workflows in Distributed Environments. In Journal of Database Management, vol. 7, no. 1, 1996.
Cicekli-Kesim, N. A Temporal Reasoning Approach to Model Workflow Activities, Lecture Notes in Computer Science, no. 1649, ed. R.Y. Pinter and S. Tsur, NGITS’99, Zikhron-Yaakov, Israel, July 1999.
Kesim, N. and M. Sergot. A Logic Programming Framework for Modelling Temporal Objects. In the IEEE Transactions on Knowledge and Data Engineering, vol. 8, no. 5, October 1996.
Kesim, F.N. and M. Sergot. Implementing an Object-Oriented Deductive Database Using Temporal Reasoning. In the Journal of Database Management, Vol. 7, No. 4, 1996.
Davulcu, H., M. Kifer, C.R. Ramakrishnan, and I.V. Ramakrishnan. Logic Based Modeling and Analysis of Workflows. In ACM Symposium on Principles of Database Systems; Seattle, Washington, ACM Press, 1998.
Dayal, U., M. Hsu and R. Ladin. Organizing Long_Running Activities With Triggers and Transactions. In ACM SIGMOD Conference on Management of Data, 1990.
Evans C. The Macro-Event Calculus: Representing Temporal Granularity. Technical Report, Imperial College, London, 1989.
Harel, D. StateCharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8:231–274, 1987.
Kowalski, R.A. and M. J. Sergot. A Logic-based calculus of events. New Generation Computing, 4, pp. 67–95, 1986.
Kowalski, R.A. Database Updates in the Event Calculus. Journal of Logic Programming 12(1–2): 121–146 (1992).
Krishnakumar, N. and A. Sheth. Managing Heterogeneous Multi-System Tasks to Support Enterprise-wide Operations. In Distributed and Parallel Databases, Vol. 3, No. 2, April 1995.
Mohan, C, G. Alanso, R. Gunthor and M. Kamath. Exotica: A Research Perspective on Workflow Management Systems. In Data Engineering, Vol. 18, No. 1, March 1995.
Shanahan, M. Representing Continuous Change in the Event Calculus. ECAI, pp. 598–603, Stockholm, Sweden, 1990.
Shanahan, M. A Simple Logical Framework for Prediction Problems, Technical Report, Logic Programming Group, Imperial College, November 1988.
Singh, M.P. Semantical Considerations on Workflows: An algebra for Intertask Dependencies. In Proceedings of the International Workshop on Database Programming Languages, Gubbio, Umbria, Italy, September 6–8 1995.
Singh, M.P. Synthesizing Distributed Constrained Events From Transactional Workflow Specifications. In proceedings of 12-th IEEE Intl. Conference on Data Engineering, pp. 616–623, New Orleans, LA, February 1996.
Wachter, H. and A. Reuter. The ConTract Model. In Transaction Models for Advanced Database Applications, Chapter 7, Morgan_Kaufmann, February 1992.
Workflow Management Coalition. Terminology and Glossary. Technical Report (WFMC-TC-1011), Workflow Management Coalition, Brussels, 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cicekli, N.K., Yildirim, Y. (2000). Formalizing Workflows Using the Event Calculus. In: Ibrahim, M., Küng, J., Revell, N. (eds) Database and Expert Systems Applications. DEXA 2000. Lecture Notes in Computer Science, vol 1873. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44469-6_21
Download citation
DOI: https://doi.org/10.1007/3-540-44469-6_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67978-3
Online ISBN: 978-3-540-44469-5
eBook Packages: Springer Book Archive