Abstract
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.
Chapter PDF
Similar content being viewed by others
References
F. Casati, S. Ceri, B. Pernici, G. Pozzi. Deriving Active Rules for Workflow Management. Proc. 7 th DEXA, Zurich, Switzerland, September 1996.
S. Chakravarthy, V. Krishnaprasad, E. Answaar, S.-K. Kim. Composite Events for Active Databases: Semantics, Contexts and Detection. Proc. VLDB, Santiago, Chile, September 1994.
P.K. Chrysanthis, K. Ramamritham. ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior. Proc. ACM SIGMOD, 1990.
A.A.A. Fernandes, M.H. Williams, N.W. Paton. A Logic-Based Integration of Active and Deductive Databases. New Generation Computing, 1996.
S. Gatziu, K.R. Dittrich. Detecting Composite Events in Active Database Systems Using Petri Nets. Proc. RIDE-ADS, Houston, TX, February 1994.
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.
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.
S. Jablonski, C. Bussler. Workflow Management. Modeling Concepts, Architecture, and Implementation. International Thomson Computer Press, London 1996.
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.
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.
J. Klein. Advanced Rule Driven Transaction Management. Proc. IEEE COMPCON, San Francisco, CA, March 1991.
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.
S. Schwiderski. Monitoring the Behavior of Distributed Systems. PhD Thesis, University of Cambridge, 1996.
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.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tombros, D., Geppert, A., Dittrich, K.R. (1997). Semantics of reactive components in event-driven workflow execution. In: Olivé, A., Pastor, J.A. (eds) Advanced Information Systems Engineering. CAiSE 1997. Lecture Notes in Computer Science, vol 1250. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63107-0_29
Download citation
DOI: https://doi.org/10.1007/3-540-63107-0_29
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63107-1
Online ISBN: 978-3-540-69148-8
eBook Packages: Springer Book Archive