Abstract
Today's workflow management systems (WFMSs) are only applicable in a secure and safe manner if the business process (BP) to be supported is well-structured and there is no need for ad hoc deviations at run-time. As only few BPs are static in this sense, this significantly limits the applicability of current workflow (WF) technology. On the other hand, to support dynamic deviations from premodeled task sequences must not mean that the responsibility for the avoidance of consistency problems and run-time errors is now completely shifted to the (naive) end user. In this paper we present a formal foundation for the support of dynamic structural changes of running WF instances. Based upon a formal WF model (ADEPT), we define a complete and minimal set of change operations (ADEPTflex) that support users in modifying the structure of a running WF, while maintaining its (structural) correctness and consistency. The correctness properties defined by ADEPT are used to determine whether a specific change can be applied to a given WF instance or not. If these properties are violated, the change is either rejected or the correctness must be restored by handling the exceptions resulting from the change. We discuss basic issues with respect to the management of changes and the undoing of temporary changes at the instance level. Recently we have started the design and implementation of ADEPTworkflow, the ADEPT workflow engine, which will make use of the change facilities presented in this paper.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Alonso, G., Agrawal, D., Abbadi, A.El., Kamath, M., Günthör, R., and Mohan, C. (1996). Advanced transaction models in workflow contexts. Proc. 12th Int. Conf. on Data Engineering. New Orleans, Louisiana: IEEE Computer Society Press.
Antunes, P., Guimaraes, N., Segovia, J., and Cardenosa, J. (1995). Beyond formal processes: Augmenting work-flow with group interaction techniques. Proc. Conf. on Organizational Computing Systems. Milpitas, CA: ACM Press.
Attie, P.C., Singh, M.P., Sheth, A., and Rusinkiewicz, M. (1993). Specifying and enforcing intertask dependencies. Proc. 19th Int. Conf. on Very Large Databases. (pp. 134–145). Dublin, Ireland: Morgan Kaufmann Publishers.
Barthelmess, P. and Wainer, J. (1995). Workflow systems: A few definitions and a few suggestions. Proc. Conf. on Organizational Computing Systems. (pp. 138–147). Milpitas, CA: ACM Press.
Bauer, Th. and Dadam, P. (1997). A distributed execution environment for large-scale workflow management systems with subnets and server migration. Proc. 2nd IFCIS Conf. on Cooperative Inf. Sys. (pp. 99–108). Kiawah Island, South Carolina, USA: IEEE Computer Society Press.
Blaser, R. (1996). Composing Processes by the Reuse of Application Components (in German). Masters Thesis, University of Ulm, Germany.
Blumenthal, R. and Nutt, G.J. (1995). Supporting unstructured workflow activities in the bramble ICN system. Proc. Conf. on Organizational Computing Systems. (pp. 130–137). Milpitas, CA: ACM Press.
Casati, F., Ceri, S., Pernici, B., and Pozzi, G. (1996). Workflow evolution. Proc. 15th Int. Conf. on Conceptual Modeling. (pp. 438–455). Cottbus, Germany: Springer.
Casati, F., Grefen, P., Pernici, B., Pozzi, G., and Sánchez, G. (1997). WIDE Workflow Model and Architecture. Technical Report, University of Milano, Italy.
Davis Jr., C.T. (1978). Data Processing Spheres of Control, IBM Systems Journal, 17, 179–198.
Eder, J. and Liebhart, W. (1995). The workflow activity model WAMO. Proc. 3rd Int. Conf. on Cooperative Inf. Sys. (pp. 87–98). Vienna, Austria.
Ellis, C.A. and Nutt, G.J. (1993). Modeling and enactment of workflow systems. Proc. 14th Int. Conf. on Application and Theory of Petri Nets. (pp. 1–16). Chicago, WA: Springer.
Ellis, C.A., Keddara, K., and Rozenberg, G. (1995). Dynamic change within workflow systems. Proc. Conf. on Organizational Computing Systems. (pp. 10–21). Milpitas, CA: ACM Press.
Elmargarmid, A.K. (Ed.) (1992). Database Transaction Models for Advanced Applications, Morgan Kaufmann Publishers.
Georgakopoulos, D., Hornick, M., and Sheth, A. (1995). An Overview of Workflow Management, Distributed and Parallel Databases, 3, 119–153.
Grimm, M. (1997). ADEPTtime—DealingWith Temporal Dependencies in Flexible WFMSs (in German). Masters Thesis, University of Ulm, Germany.
Han, Y., Himminghofer, J., Schaaf, T., and Wikarski, D. (1996). Management of workflow resources to support runtime adaptability and system evolution. Proc. Int. Conf. on Practical Aspects of Knowledge Management. Basel, Switzerland.
Heimann, P., Joeris, G., Krapp, C., and Westfechtel, B. (1996). DYNAMITE: Dynamic task nets for software process management. Proc. 18th Int. Conf. Software Engineering. (pp. 331–341). Berlin, Germany.
Heinl, P., Schuster, H., and Stein, K. (1996). Behandlung von Ad-hoc-Workflows im MOBILE workflow-modell. Proc. Softwaretechnik in Automation und Kommunikation—Rechnergesttzte Teamarbeit. (pp. 229–242). Munich, Germany.
Heinlein, C. and Dadam, P. (1997). Interaction Expressions—A Powerful Formalism for Describing Inter-Workflow Dependencies. Technical Report No. 97–04, Department for Computer Science, University of Ulm, Germany.
Hennessy, M. (1989). Algebraic Theory of Processes, Cambridge: The MIT Press.
Hensinger, C. (1997). ADEPTflex—Dynamic Modification of Workflows and Exception Handling in WFMSs (in German). Masters Thesis, University of Ulm, Germany.
Hofstede, A., Orlowska, M., and Rajapaks, J. (1996). Verification problems in conceptual workflow specifications. Proc. 15th Int. Conf. on Conceptual Modeling. (pp. 73–88). Cottbus, Germany: Springer.
Hsu, M. (Ed.) (1993). Special Issue on Workflow and Extended Transaction Systems, IEEE Bulletin of the Technical Commitee on Data Engineering, 16(2).
Hsu, M. (Ed.) (1995). Special Issue on Workflow Systems, IEEE Bulletin of the Technical Commitee on Data Engineering, 18(1).
Hsu, M. and Kleissner, C. (1996). ObjectFlow: Towards a Process Management Infrastructure, Distributed and Parallel Databases, 4, 169–194.
Kamath, M. and Ramamritham, K. (1996). Bridging the gap between transaction management and workflow management. Proc. NSF Workshop on Workflow and Process Automation Inf. Sys. Athens, Georgia.
Karbe, B., Ramsperger, N., and Weiss, P. (1990). Support of Cooperative Work by Electronic Circulation Folders, SIGOIS Bulletin, 11, 109–117.
Kirsch, M. (1996). Design and Implementation of a Graphical Tool for the Modeling and Animation of Flexible Workflows (in German). Masters Thesis, University of Ulm, Germany.
Kreifelts, T., Hinrichs, E., Klein, K.-H., Seuffert, P., and Woetzel, G. (1991). Experiences with the DOMINO office procedure system. Proc. 2nd European Conf. on CSCW. (pp. 117–130). Amsterdam, The Netherlands.
Kuhn, K., Reichert, M., Nathe, M., Beuter, T., and Dadam, P. (1994). An infrastructure for cooperation and communication in an advanced clinical information system. Proc. 18th Symp. on Comp. in Med. Care. (pp. 519–523). Washington: Hanley & Belfus, Medical Publisher.
Leymann, F. (1995). Supporting business transactions via partial recovery in workflow management systems. Proc. Datenbanksysteme in Büro, Technik und Wissenschaft. (pp. 51–70). Dresden, Germany: Springer.
Leymann, F. and Altenhuber, W. (1994). Managing Business Processes as an Information Resource, IBM Systems Journal, 33, 326–348.
Manna, Z. and Pnueli, A. (1992). The Temporal Logic of Reactive and Concurrent Systems-Specification, Springer.
Meyer, J. (1996). Requirements for Future WFMSs: Flexibility, Exception Handling and Dynamic Changes in Clinical Processes (in German). Masters Thesis, University of Ulm, Germany.
Nastansky, L. and Ott, M. (1996). Teambasiertes Workflowmanagement und Analyse Prozeorientierter Teamarbeit im Bereich Zwischen Kooperativer und Strukturierter Vorgangsbearbeitung.Technical Report, Workgroup Computing Competence Center Paderborn, University of Paderborn, Germany.
Reichert, M., Kuhn, K., and Dadam, P. (1996). Process reengineering and process automation in clinical application environments (in German). Proc. GMDS'96. (pp. 219–223). Bonn, Germany: MMV Medizin Verlag.
Reichert, M. and Dadam, P. (1997a). A framework for dynamic changes in workflow-management systems. Proc. 8th Int. Workshop on Database and Expert Systems Applications. (pp. 42–48). Toulouse, France: IEEE Computer Society Press.
Reichert, M., Schultheiß, B., and Dadam, P. (1997b). Experiences with the development of process-oriented clinical application systems based on process-oriented workflow technology (in German). Proc. GMDS'97. (pp. 181–187). Ulm, Germany: MMV Medizin Verlag.
Reinwald, B. (1993). Workflow-Management in Verteilten Systemen, Stuttgart: Teubner.
Reuter, A. and Schwenkreis, F. (1995). ConTracts—A Low-Level Mechanism for Building General-Purpose Workflow Management Systems, IEEE Bulletin of the Technical Committee on Data Engineering, 18, 4–10.
Sheth, A., Georgakopoulos, D., Joosten, S., Rusinkiewicz, M., Scacchi, W., Wileden, J., and Wolf, A. (1996). Report from the NSF Workshop on Workflow and Process Automation in Information Systems, Technical Report No. UGA-CS-TR-96-003, University of Georgia.
Sheth, A. and Kochut, K. (1997). Workflow applications to research agenda: Scalable and dynamic work coordination and collaboration systems. Proc. of the NATO Advanced Study Institute on WFMSs and Interoperability. Istanbul, Turkey.
Siebert, R. (1996). Adaptive workflow for the german public administration. Proc. 1st Int. Conf. on Practical Aspects of Knowledge Management—Workshop on Adaptive Workflow. Basel, Switzerland.
Strong, D.M. and Miller, S.M. (1995). Exceptions and Exception Handling in Computerized Information Processes, ACM Transactions on Inf. Sys., 13, 206–233.
Vogel, P. and Erfle, R. (1992). Backtracking office procedures. Proc. 15th Int. Conf. on Database and Expert Systems. (pp. 506–511). Valencia, Spain: Springer.
Weber, M., Partsch, G., Scheller-Huoy, A., Schweitzer, J., and Schneider, G. (1997). Flexible real-time meeting support for workflow management systems. Proc. 30th Int. Conf. on System Sciences. Maui, Hawaii: IEEE Computer Society Press.
Winograd, T. and Flores, F. (1986). Understanding Computers and Cognition: A New Foundation For Design, Norwood, NJ: Ablex Publishing Corporation.
Wodtke, D. and Weikum, G. (1997). A formal foundation for distributed workflow execution based on state charts. Proc. Int. Conf. on Database Theory. Delphi, Greece.
Worah, D. and Sheth, A. (1997). Transactions in Transactional Workflows. In S. Jajodia and L. Kerschberg (Eds.), Advanced Transaction Models and Architectures. Kluwer Academic Publishers.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Reichert, M., Dadam, P. Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control. Journal of Intelligent Information Systems 10, 93–129 (1998). https://doi.org/10.1023/A:1008604709862
Issue Date:
DOI: https://doi.org/10.1023/A:1008604709862