A formal foundation for distributed workflow execution based on state charts

  • Dirk Wodtke
  • Gerhard Weikum
Contributed Papers Session 4: New Applications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1186)


This paper provides a formal foundation for distributed workflow executions. The state chart formalism is adapted to the needs of a workflow model in order to establish a basis for both correctness reasoning and run-time support for complex and large-scale workflow applications. To allow for the distributed execution of a workflow across different workflow servers, which is required for scalability and organizational decentralization, a method for the partitioning of workflow specifications is developed. It is proven that the partitioning preserves the original state chart's behavior.


System Configuration Operational Semantic Condition Component Business Unit State Configuration 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Em90]
    E.A. Emerson, Temporal and Modal Logic, in: J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, Elsevier, 1990Google Scholar
  2. [GHS95]
    D. Georgakopoulos, M. Hornick, A. Sheth, An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure Distributed and Parallel Databases, 3(2), 1995Google Scholar
  3. [Ha87a]
    D. Harel, On the Formal Semantics of Statecharts, Proc. Symposium on Logics in Computer Science, Ithaca, New York, 1987Google Scholar
  4. [Ha87b]
    D. Harel, Statecharts: A Visual Formalism for Complex Systems, Science of Computer Programming Vol.8, 1987Google Scholar
  5. [Ha88]
    D. Harel, On Visual Formalisms, Communications of the ACM, 31(5), 1988Google Scholar
  6. [Ha90]
    D. Harel et al., STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Transactions on Software Engineering, 16(4), 1990Google Scholar
  7. [HN95]
    D. Harel, A. Naamad, The STATEMATE Semantics of Statecharts, Technical Report, i-Logix Inc., October 1995Google Scholar
  8. [HK94]
    J. Helbig, P. Kelb, An OBDD-Representation of Statecharts, Proc. European Design and Test Conference, 1994Google Scholar
  9. [Ho91]
    R.P. Hopkins, Distributable nets, in: Rozenberg (ed.), Advances in Petrinets, LNCS 524, Springer, 1991Google Scholar
  10. [Hu88]
    C. Huizing, Modelling Statecharts in a fully abstract way, in: Proc. CAAP, LNCS 299, Springer, 1988Google Scholar
  11. [i-Log91]
    i-Logix Inc., Documentation for the Statemate System, 1991Google Scholar
  12. [MP92]
    Z. Manna, A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer, 1992Google Scholar
  13. [McM93]
    K.L. McMillan, Symbolic Model Checking, Kluwer, 1993Google Scholar
  14. [Mil89]
    R. Milner, Communication and Concurrency, Prentice Hall, 1989Google Scholar
  15. [Mo96]
    C. Mohan, Workflow Management Systems: State of the Art on Research and Products, Tutorial Notes, Int. Conf. on Extending Database Technology, Avignon, 1996Google Scholar
  16. [Sh96]
    A. Sheth (ed.), Proc. NSF Workshop on Workflow and Process Automation in Information Systems, Athens, 1996, Scholar
  17. [vB94]
    M. von der Beeck, A Comparison of Statechart Variants, in: Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, Springer, 1994Google Scholar
  18. [VB96]
    G. Vossen, J. Becker (eds.), Business Process Modelling and Workflow Management-Models, Methods, Tools (in German), International Thomson, 1996Google Scholar
  19. [WW96]
    D. Wodtke, G. Weikum, A Formal Foundation for Distributed Workflow Execution Based on State Charts, Technical Report, University of Saarbruecken, 1996Google Scholar
  20. [WWWK96a]
    D. Wodtke, J. Weissenfels, G. Weikum, A. Kotz Dittrich, The Mentor Project: Steps Towards Enterprise-wide Workflow Management, Proc. 11th International Conference on Data Engineering, New Orleans, 1996Google Scholar
  21. [WWWK96b]
    J. Weissenfels, D. Wodtke, G. Weikum, A. Kotz Dittrich, The Mentor Architecture for Enterprise-wide Workflow Management, in: [Sh96]Google Scholar
  22. [WfMC95]
    Workflow Management Coalition, 1995, Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Dirk Wodtke
    • 1
  • Gerhard Weikum
    • 1
  1. 1.Department of Computer ScienceUniversity of the SaarlandSaarbrueckenGermany

Personalised recommendations