Semantics of reactive components in event-driven workflow execution

  • Dimitrios Tombros
  • Andreas Geppert
  • Klaus R. Dittrich
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1250)


The exact semantics of workflows and involved processing entities is an open yet urgent problem. This paper considers the semantics and correctness of event-driven workflow execution. The basis for the formalization in our approach is provided by an event history which records all events that have occurred during the execution of workflows. Workflows are executed by reactive components which operate on top of that history. Based on the history it is possible to determine the semantics of these reactive components (and consequently, the semantics of workflows) as well as to check whether their observable behavior is correct.


workflow management ECA-rules distributed systems 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    F. Casati, S. Ceri, B. Pernici, G. Pozzi. Deriving Active Rules for Workflow Management. Proc. 7 th DEXA, Zurich, Switzerland, September 1996.Google Scholar
  2. 2.
    S. Chakravarthy, V. Krishnaprasad, E. Answaar, S.-K. Kim. Composite Events for Active Databases: Semantics, Contexts and Detection. Proc. VLDB, Santiago, Chile, September 1994.Google Scholar
  3. 3.
    P.K. Chrysanthis, K. Ramamritham. ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior. Proc. ACM SIGMOD, 1990.Google Scholar
  4. 4.
    A.A.A. Fernandes, M.H. Williams, N.W. Paton. A Logic-Based Integration of Active and Deductive Databases. New Generation Computing, 1996.Google Scholar
  5. 5.
    S. Gatziu, K.R. Dittrich. Detecting Composite Events in Active Database Systems Using Petri Nets. Proc. RIDE-ADS, Houston, TX, February 1994.Google Scholar
  6. 6.
    A. Geppert, K.R. Dittrich. Rule-Based Implementation of Transaction Model Specifications. In N.W. Paton, H.W. Williams (eds.). Proc. 1 st Intl. Workshop on Rules in Database Systems, Edinburgh, UK, August–September 1993.Google Scholar
  7. 7.
    A. Geppert, M. Kradolfer, D. Tombros. EvE, an Event Engine for Workflow Enactment in Distributed Environments. Technical Report 96.05, Department of Computer Science, University of Zurich, May 1996.Google Scholar
  8. 8.
    S. Jablonski, C. Bussler. Workflow Management. Modeling Concepts, Architecture, and Implementation. International Thomson Computer Press, London 1996.Google Scholar
  9. 9.
    H.V. Jagadish, O. Shmueli. Composite Events in a Distributed Object-Oriented Database. In M.T. Oezsu, U. Dayal, P. Valduriez (eds.). Distributed Object Management. Morgan Kaufmann, 1994.Google Scholar
  10. 10.
    C.S. Jensen, J. Clifford, R. Elmasri, S.K. Gadia, P. Hayes, S. Jajodia (eds.). A consensus glossary of temporal database concepts. SIGMOD Record, 23(1), 1994.Google Scholar
  11. 11.
    J. Klein. Advanced Rule Driven Transaction Management. Proc. IEEE COMPCON, San Francisco, CA, March 1991.Google Scholar
  12. 12.
    I. Motakis, C. Zaniolo. Composite Temporal Events in Active Database Rules: A Logic-Oriented Approach. Proc. 4 th Intl. Conf. on Deductive and Object-Oriented Databases, Singapore, December 1995.Google Scholar
  13. 13.
    S. Schwiderski. Monitoring the Behavior of Distributed Systems. PhD Thesis, University of Cambridge, 1996.Google Scholar
  14. 14.
    D. Tombros, A. Geppert, K.R. Dittrich. Design and Implementation of Process-Oriented Environments with Brokers and Services. In B. Freitag, C.B. Jones, C. Lengauer and H.-J. Schek (eds.), Object-Orientation with Parallelism and Persistence, Kluwer Academic Publishers, 1996.Google Scholar
  15. 15.
    D. Wodtke, G. Weikum. A Formal Foundation for Distributed Workflow Execution Based on State Charts. Proc. International Conference on Database Theory, Delphi, Greece, January 1997.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Dimitrios Tombros
    • 1
  • Andreas Geppert
    • 1
  • Klaus R. Dittrich
    • 1
  1. 1.Institut für InformatikUniversität ZürichZürichSwitzerland

Personalised recommendations