Semantics of Reactive Components in Event-Driven Workflow Execution

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.

[1]  Klaus R. Dittrich,et al.  Detecting composite events in active database systems using Petri nets , 1994, Proceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems.

[2]  Fabio Casati,et al.  Deriving Active Rules for Workflow Enactment , 1996, DEXA.

[3]  Klaus R. Dittrich,et al.  Design and Implementation of Process-Oriented Environments with Brokers and Services , 1996, Object Orientation with Parallelism and Persistence.

[4]  Carlo Zaniolo,et al.  Composite Temporal Events in Active Database Rules: A Logic-Oriented Approach , 1995, DOOD.

[5]  Christoph Bussler,et al.  Workflow Management: Modeling Concepts, Architecture and Implementation , 1996 .

[6]  Sandra Heiler,et al.  Distributed Object Management , 1992, Int. J. Cooperative Inf. Syst..

[7]  Arie Segev,et al.  A consensus glossary of temporal database concepts , 1994, SIGMOD 1994.

[8]  Klaus R. Dittrich,et al.  Rule-Based Implementation of Transaction Model Specifications , 1993, Rules in Database Systems.

[9]  H. V. Jagadish,et al.  Composite Events in a Distributed Object-Oriented Database , 1992, IWDOM.

[10]  Ramez Elmasri,et al.  A consensus glossary of temporal database concepts , 1994, SGMD.

[11]  Hans-Jörg Schek,et al.  Object Orientation with Parallelism and Persistence , 1996 .

[12]  Gerhard Weikum,et al.  A Formal Foundation for Distributed Workflow Execution Based on State Charts , 1997, ICDT.

[13]  Sharma Chakravarthy,et al.  Composite Events for Active Databases: Semantics, Contexts and Detection , 1994, VLDB.

[14]  Johannes Klein.  Advanced rule driven transaction management , 1991, COMPCON Spring '91 Digest of Papers.

[15]  Panos K. Chrysanthis,et al.  ACTA: a framework for specifying and reasoning about transaction structure and behavior , 1990, SIGMOD '90.