Skip to main content
SpringerLink
Log in

Formalizing Workflows Using the Event Calculus

  • Conference paper
  • First Online:
Database and Expert Systems Applications (DEXA 2000)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1873))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.

    Google Scholar 

  2. Baral C, J. Lobo. Formalizing workflows as collections of condition-action rules. Dynamics’ 97, Workshop in ILPS, 1997..

    Google Scholar 

  3. Barbara, D., S. Mehrotra and M. Rusinkiewicz. INCAs: Managing Dynamic Workflows in Distributed Environments. In Journal of Database Management, vol. 7, no. 1, 1996.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. Dayal, U., M. Hsu and R. Ladin. Organizing Long_Running Activities With Triggers and Transactions. In ACM SIGMOD Conference on Management of Data, 1990.

    Google Scholar 

  9. Evans C. The Macro-Event Calculus: Representing Temporal Granularity. Technical Report, Imperial College, London, 1989.

    Google Scholar 

  10. Harel, D. StateCharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8:231–274, 1987.

    Article  MathSciNet  Google Scholar 

  11. Kowalski, R.A. and M. J. Sergot. A Logic-based calculus of events. New Generation Computing, 4, pp. 67–95, 1986.

    Article  Google Scholar 

  12. Kowalski, R.A. Database Updates in the Event Calculus. Journal of Logic Programming 12(1–2): 121–146 (1992).

    Article  MathSciNet  Google Scholar 

  13. 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.

    Google Scholar 

  14. 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.

    Google Scholar 

  15. Shanahan, M. Representing Continuous Change in the Event Calculus. ECAI, pp. 598–603, Stockholm, Sweden, 1990.

    Google Scholar 

  16. Shanahan, M. A Simple Logical Framework for Prediction Problems, Technical Report, Logic Programming Group, Imperial College, November 1988.

    Google Scholar 

  17. 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.

    Google Scholar 

  18. 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.

    Google Scholar 

  19. Wachter, H. and A. Reuter. The ConTract Model. In Transaction Models for Advanced Database Applications, Chapter 7, Morgan_Kaufmann, February 1992.

    Google Scholar 

  20. Workflow Management Coalition. Terminology and Glossary. Technical Report (WFMC-TC-1011), Workflow Management Coalition, Brussels, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Engineering, METU, Ankara, Turkey

    Nihan Kesim Cicekli & Yakup Yildirim

Authors
  1. Nihan Kesim Cicekli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yakup Yildirim
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computing and Mathematical Sciences, Maritime Greenwich University Campus, 30 Park Row, London, SE10 9LS, UK

    Mohamed Ibrahim

  2. University of Linz, FAW, Altenbergerstr. 69, 4040, Linz, Austria

    Josef Küng

  3. Middlesex University, Bounds Green, London, UK

    Norman Revell

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation