Design for Change: Evolving Workflow Specifications in ULTRAflow

Updating the specification of workflows on the fly in a workflow management system is currently considered an important topic in research as well as application. Yet, most approaches are either very simplistic, allowing only newly started workflows to take advantage of updated specifications, or they are complex, trying to transfer every active workflow from the old to the new schema.In the workflow management system ULTRAflow, updates to workflow specifications are handled by using a multi-version concurrency control protocol. This is facilitated by the specification language for workflows, which is rule based and therefore provides a natural partitioning of specifications into smaller units. The proposed method allows active, running workflows to partly use new specifications if this does not conflict with already executed sub-workflows. Moreover, an architecture which is also applicable in a distributed system is presented.While the method to update the specifications is discussed in the context of a workflow management system, it can also be applied in CORBA or EJB applications, or the now ubiquitous electronic services.

[1]  Thomi Pilioura,et al.  E-Services: Current Technology and Open Issues , 2001, TES.

[2]  Abraham Silberschatz,et al.  A Formal Approach to Recovery by Compensating Transactions , 1990, VLDB.

[3]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[4]  Gustavo Alonso,et al.  Exception Handling in Workflow Management Systems , 2000, IEEE Trans. Software Eng..

[5]  Gerhard Weikum,et al.  XML-enabled workflow management for e-services across heterogeneous platforms , 2001, The VLDB Journal.

[6]  Mark Klein,et al.  Towards adaptive workflow systems: CSCW-98 workshop report , 1999, SIGG.

[7]  Gustavo Alonso,et al.  Advanced transaction models in workflow contexts , 1996, Proceedings of the Twelfth International Conference on Data Engineering.

[8]  Carl-Alexander Wichert ULTRA - a logic transaction programming language , 2000 .

[9]  Burkhard Freitag,et al.  ULTRAflow - A Lightweight Workflow Management System , 2001 .

[10]  Clarence A. Ellis,et al.  ML-DEWS: Modeling Language to Support Dynamic Evolution within Workflow Systems , 2000, Computer Supported Cooperative Work (CSCW).

[11]  Nanjangud C. Narendra Adaptive workflow management—an integrated approach and system architecture , 2000, SAC '00.

[12]  Grzegorz Rozenberg,et al.  Dynamic change within workflow systems , 1995, COCS '95.

[13]  Andreas Reuter,et al.  Transaction Processing: Concepts and Techniques , 1992 .

[14]  Mark Klein,et al.  Towards Adaptive Workflow Systems , 1999 .

[15]  Mark Klein,et al.  Introduction to the Special Issue on Adaptive Workflow Systems , 2000, Computer Supported Cooperative Work (CSCW).

[16]  Arthur H. M. ter Hofstede,et al.  A reflective infrastructure for workflow adaptability , 2000, Data Knowl. Eng..

[17]  Burkhard Freitag,et al.  Logical Update Queries as Open Nested Transactions , 1999, FMLDO.

[18]  Wil M. P. van der Aalst,et al.  Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change , 2001, Inf. Syst. Frontiers.

[19]  Carl-alexander Wichert,et al.  A Logical Framework for the Specification of Transactions , 2000 .

[20]  J. Lloyd Foundations of Logic Programming , 1984, Symbolic Computation.

[21]  Fabio Casati,et al.  Workflow Evolution , 1996, ER.

[22]  Manfred Reichert,et al.  Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control , 1998, Journal of Intelligent Information Systems.

[23]  Philip A. Bernstein,et al.  Principles of Transaction Processing , 1996 .