Skip to main content
Log in

From Centralized Workflow Specification to Distributed Workflow Execution

Journal of Intelligent Information Systems Aims and scope Submit manuscript

Abstract

Current workflow management systems fall short of supporting large-scale distributed, enterprise-wide applications. We present a scalable, rigorously founded approach to enterprise-wide workflow management, based on the distributed execution of state and activity charts. By exploiting the formal semantics of state and activity charts, we develop an algorithm for transforming a centralized state and activity chart into a provably equivalent partitioned one, suitable for distributed execution. A synchronization scheme is developed that guarantees an execution equivalent to a non-distributed one. This basic solution is further refined in order to reduce communication overhead and exploit parallelism between partitions whenever possible. The developed synchronization schemes are compared in terms of the number and size of synchronization messages.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  • Alonso, G., Agrawal, D., El Abbadi, A., Kamath, M., Günthör, R., and Mohan, C. (1996). Advanced transaction models in workflow system configurations. IEEE Int. Conf. on Data Engineering, New Orleans.

  • Alonso, G., Mohan, C., Günthör, R., Agrawal, D., El Abbadi, A., and Kamath, M. (1995). Exotica/FMQM: A persistent message-based architecture for distributed workflow management. Proc. IFIP WG8.1 Working Conference on Information Systems for Decentralized Organizations, Trondheim.

  • Barbara, D., Mehrotra, S., and Rusinkiewicz, M. (1996). INCAs: Managing Dynamic Workflows in Distributed Environments, Journal of Database Management, Special Issue on Multidatabases, 7(1).

  • Bernstein, A., Dellacros, C., Malone, T.W., and Quimby, J. (1995). Software Tools for a Process Handbook, Bulletin of the Technical Committee on Data Engineering, 18(1).

  • Bernstein, P.A. and Newcomer, E. (1997). Principles of Transaction Processing, Morgan Kaufmann Publishers.

  • Blakeley, B., Harris, H., and Lewis, J.R.T. (1995). Messaging and Queuing Using the MQI: Concepts and Analysis. Design and Development, McGraw-Hill.

  • Das, S., Kochut, K., Miller, J., Sheth, A., and Worah, D. (1997).ORBWork: A Reliable Distributed CORBA-Based Workflow Enactment System for METEOR2, Technical Report UGA-CS-TR-97-001, University of Georgia.

  • Dayal, U., Garcia-Molina, H., Hsu, M., Kao, B., and Shan, M.-C. (1993). Third generation TP monitors. A Database Challenge, ACM SIGMOD Conference.

  • Dayal, U., Hsu, M., and Ladin, R. (1991). A transactional model for long running activities. VLDB Conference.

  • Ellis, C.A. and Nutt, G.J. (1993). Modeling and enactment of workflow systems. Invited Paper, 14th Int. Conf. on Application and Theory of Petri Nets.

  • Forst, A., Kühn, E., and Bukhres, O. (1995). General Purpose Work Flow Languages, Distributed and Parallel Databases, 3(2).

  • Gawlick, D. (1994). High Performance TP-Monitors—Do We Still Need to Develop Them?, IEEE Bulletin of the Technical Committee on Data Engineering, 17(1), 16–21.

    Google Scholar 

  • Georgakopoulos, D. and Hornick, M.F. (1994). A Framework for Enforceable Specification of Extended Transaction Models and Transactional Workflows, International Journal of Intelligent and Cooperative Information Systems, 3(3).

  • Georgakopoulos, D., Hornick, M., and Sheth, A. (1995). An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure, Distributed and Parallel Databases, 3(2).

  • Gray, J. and Reuter, A. (1993). Transaction Processing: Concepts and Techniques, Morgan Kaufmann.

  • Harel, D. (1987a). State Charts: A Visual Formalism for Complex Systems, Science of Computer Programming, 8, 231–274.

    Google Scholar 

  • Harel, D. (1987b). On the formal semantics of state charts. Symposium on Logics in Computer Science, Ithaca, New York.

  • Harel, D. (1988). On Visual Formalisms, Communications of the ACM, 31(5).

  • Harel, D. et al. (1990). STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Transactions on Software Engineering, 16(4).

  • Harel, D. and Naamad, A. (1995). The STATEMATE Semantics of State Charts, Technical Report, i-Logix Inc.

  • Harel, D. and Gery, E. (1997). Executable Object Modeling with Statecharts, IEEE Computer, 30(7).

  • Helbig, J. and Kelb, P. (1994). An OBDD—Representation of state charts. Proc. European Design and Test Conf.

  • IBM Corp. (1994). FlowMark Rel. 1, Programming Guide and Modelling Guide.

  • IONA Technologies Ltd. (1995). Orbix Programming Guide.

  • Jablonski, S. (1994). MOBILE: A modular workflow model and architecture. Proc. of the 4th Int. Working Conf. on Dynamic Modelling and Information Systems, Nordwijkerhout.

  • Jablonski, S. and Bussler, C. (1996). Workflow Management, Modeling Concepts, Architecture, and Implementation, International Thomson Computer Press.

  • Kamath, M., Alonso, G., Günthör, R., and Mohan, C. (1996). Providing high availability in very large workflow management systems. Int. Conf. on Extending Database Technology, Avignon.

  • Kappel, G. and Schrefl, M. (1991). Object/behavior diagrams, IEEE Int. Conf. on Data Engineering, Kobe.

  • Kappel, G., Lang, P., Rausch-Schott, S., and Retschitzegger, W. (1995).Workflow Management Based on Objects, Rules, and Roles. Bulletin of the IEEE Technical Committee on Data Engineering, 18(1).

  • Lang, S. (1993). Algebra, Third edition, Addison-Wesley.

  • McMillan, K.L. (1993). Symbolic Model Checking, Kluwer.

  • Mohan, C. (1994). Tutorial: Advanced transaction models—Survey and critique. Presented at ACM SIGMOD Int. Conf. on Management of Data, Minneapolis, Minnesota.

  • Mowbray, T.J. and Zahavi, R. (1995). The Essential Corba, John Wiley and Sons.

  • Oberweis, A., Scherrer, G., and Stucky, W. (1994). INCOME/STAR: Methodology and Tools for the Development of Distributed Information Systems, Information Systems, 19(8).

  • OMG, CORBA services (1995a). Common Object Services Specification, Technical Report, Object Management Group.

  • OMG (1995b). The Common Object Request Broker: Architecture and Specification, Rev. 2.0, Technical Report, Object Management Group.

  • Primatesta, F. (1994). TUXEDO, An Open Approach to OLTP, Prentice Hall.

  • Reuter, A. and Schwenkreis, F. (1995). ConTracts—A Low-Level Mechanism for Building General Purpose Workflow Management Systems, IEEE Data Engineering Bulletin, 18(1).

  • Rusinkiewicz, M. and Sheth, A. (1994). Specification and Execution of Transactional Workflows. In W. Kim (Ed.), Modern Database Systems: The Object Model, Interoperability, and Beyond, ACM Press.

  • Schwenkreis, F. (1993). APRICOTS—A prototype implementation of a conTract system—Management of the control flow and the communication system. 12th Symposium on Reliable Distributed Systems.

  • Sheth, A. (Ed.) (1996). Proc. of the NSF Workshop on Workflow and Process Automation in Information Systems, Athens, GA. http://lsdis.cs.uga.edu/activities/NSF-workflow/proc cover.html.

  • Sheth, A., Kochut, K., Miller, J., Worah, D., Das, S., and Lin, C. (1996). Supporting state-wide immunization tracking using multi-paradigm workflow technology, VLDB Conference.

  • TUXEDO System 5 (1994). System Documentation, Novell.

  • Vossen, G. and Becker, J. (Eds.) (1996). Busines Process Modelling and Workflow Managment: Models, Methods, and Tools, International Thomson Publishing, Bonn (in German).

    Google Scholar 

  • Wächter, H. and Reuter, A. (1992). The ConTract Model. In A.K. Elmagarmid (Ed.), Database Transaction Models for Advanced Applications, Morgan Kaufmann.

  • Weissenfels, J., Wodtke, D., Weikum, G., and Kotz Dittrich, A. (1996). The MENTOR architecture for enterprisewideworkflowmanagement. In A. Sheth (Ed.), Proc. of the NSF Workshop on Workflow and Process Automation in Information Systems, Athens, GA.

  • Widom, J., Ceri, S., and Dayal, U. (Eds.) (1995). Active Database Systems, Morgan Kaufmann.

  • Wodtke, D. (1997). Foundation and Architecture of Workflow Management Systems, Ph.D. Thesis, DISDBIS, Infix Verlag, 1997.

  • Wodtke, D., Weissenfels, J., Weikum, G., and Kotz Dittrich, A. (1996). The MENTOR project: Steps towards enterprise-wide workflow management. IEEE Int. Conf. on Data Engineering, New Orleans.

  • Wodtke, D. and Weikum, G. (1997). A formal foundation for distributed workflow execution based on state charts. Proc. of the Int. Conf. on Database Theory, Springer LNCS 1186, Delphi, Greece.

  • Workflow Management Coalition. (1995). http://www.aiai.ed.ac.uk/WfMC/.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Muth, P., Wodtke, D., Weissenfels, J. et al. From Centralized Workflow Specification to Distributed Workflow Execution. Journal of Intelligent Information Systems 10, 159–184 (1998). https://doi.org/10.1023/A:1008608810770

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1008608810770

Navigation