Skip to main content
SpringerLink
Log in

Synchronization of Concurrent Workflows Using Interaction Expressions and Coordination Protocols

  • Conference paper
  • First Online:
On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE (OTM 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2519))

Abstract

Current workflow management systems, whether they are commercial products or research prototypes, do not provide adequate means for inter-workflow coordination as concurrently executing workflows are considered completely independent. As this simplified view is not sufficient for many realworld application scenarios, interaction expressions and graphs have been developed as a simple yet powerful formalism for the specification and implementation of synchronization conditions in general and inter-workflow dependencies in particular. In this paper, different coordination protocols as well as an accompanying subscription protocol are introduced as a means to actually employ interaction expressions to efficiently synchronize concurrent workflows.

This work has been performed while the author was a member of the Dept. Databases and Information Systems at the University of Ulm.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P. C. Attie, M. P. Singh, A. Sheth, M. Rusinkiewicz: “Specifying and Enforcing Intertask Dependencies.” In: R. Agrawal, S. Baker, D. Bell (eds.): Proc. 19th Int. Conf. on Very Large Data Bases (VLDB) (Dublin, Ireland, August 1993). 1993, 134–145.

    Google Scholar 

  2. P. A. Bernstein, M. Hsu, B. Mann: “Implementing Recoverable Requests Using Queues.” In: Proc. ACM SIGMOD Int. Conf. on Management of Data. 1990, 112–122.

    Google Scholar 

  3. R. H. Campbell, A. N. Habermann: “The Specification of Process Synchronization by Path Expressions.” In: E. Gelenbe, C. Kaiser (eds.): Operating Systems (International Symposium; Rocquencourt, France, April 1974; Proceedings). Lecture Notes in Computer Science 16, Springer-Verlag, Berlin, 1974, 89–102.

    Chapter  Google Scholar 

  4. F. Casati, S. Ceri, B. Pernici, G. Pozzi: “Semantic WorkFlow Interoperability.” In: P. Apers, M. Bouzeghoub, G. Gardarin (eds.): Advances in Database Technology-EDBT’96 (5th Int. Conf. on Extending Database Technology; Avignon, France, March 1996; Proceedings). Lecture Notes in Computer Science 1057, Springer-Verlag, Berlin, 1996, 443–462.

    Chapter  Google Scholar 

  5. H. Garcia-Molina, K. Salem: “Sagas.” In: U. Dayal, I. Traiger (eds.): Proc. ACM SIGMOD Int. Conf. on Management of Data (San Francisco, CA, May 1987), 249–259.

    Google Scholar 

  6. J. Gray, A. Reuter: Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers, San Mateo, CA, 1993.

    MATH  Google Scholar 

  7. L. Guo, K. Salomaa, S. Yu: “On Synchronization Languages.” Fundamenta Informaticae 25 (3+4) March 1996, 423–436.

    MATH  MathSciNet  Google Scholar 

  8. C. Heinlein: Workflow and Process Synchronization with Interaction Expressions and Graphs. Ph. D. Thesis (in German), Fakultät für Informatik, Universität Ulm, 2000.

    Google Scholar 

  9. C. Heinlein: “Workflow and Process Synchronization with Interaction Expressions and Graphs.” In: Proc. 17th Int. Conf. on Data Engineering (ICDE) (Heidelberg, Germany, April 2001). IEEE Computer Society, 2001, 243–252.

    Google Scholar 

  10. C. Heinlein: “Advanced Thread Synchronization in Java.” In: Net.ObjectDays 2002 (Erfurt, Germany, October 2002).

    Google Scholar 

  11. J. E. Hopcroft, J. D. Ullman: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading, MA, 1979.

    MATH  Google Scholar 

  12. M. Kamath, K. Ramamritham: “Failure Handling and Coordinated Execution of Concurrent Workflows.” In: Proc. 14th Int. Conf. on Data Engineering (ICDE) (Orlando, FL, February 1998). IEEE Computer Society, 1998, 334–341.

    Google Scholar 

  13. J. Klein: “Advanced Rule Driven Transaction Management.” (Extended Abstract). In: Proc. 36th IEEE Computer Society Int. Conf. (COMPCON) (San Francisco, CA, March 1991). 1991, 562–567.

    Google Scholar 

  14. M. H. Nodine, S. Ramaswamy, S. B. Zdonik: “A Cooperative Transaction Model for Design Databases.” In: A. K. Elmagarmid (ed.): Database Transaction Models for Advanced Applications. Morgan Kaufmann Publishers, San Mateo, CA, 1992, 53–85.

    Google Scholar 

  15. M. T. Özsu, P. Valduriez: Principles of Distributed Database Systems. Prentice-Hall, Englewood Cliffs, NJ, 1991.

    Google Scholar 

  16. R. Rastogi, S. Mehrotra, H. F. Korth, A. Silberschatz: “Transcending the Serializability Requirement.” IEEE Data Engineering Bulletin 16 (2) June 1993, 8–11.

    Google Scholar 

  17. W. E. Riddle: “An Approach to Software System Behavior Description.” Computer Languages 4, 1979, 29–47.

    Article  MATH  Google Scholar 

  18. A. C. Shaw: “On the Specification of Graphics Command Languages and Their Processors.” In: R. A. Guedj, P. J. W. ten Hagen, F. R. A. Hopgood, H. A. Tucker, D. A. Duce (eds.): Methodology of Interaction (IFIP Workshop on Methodology of Interaction; Seillac, France, May 1979). North-Holland Publishing Company, Amsterdam, 1980, 377–392.

    Google Scholar 

  19. D. Skeen: “Nonblocking Commit Protocols.” In: Proc. ACM SIGMOD Int. Conf. on Management of Data (Ann Arbor, MI, April/May 1981), 133–142.

    Google Scholar 

  20. J. Tang, J. Veijalainen: “Enforcing Inter-Task Dependencies in Transactional Workflows.” In: S. Laufmann, S. Spaccapietra, T. Yokoi (eds.): Proc. 3rd Int. Conf. on Cooperative Information Systems (CoopIS) (Vienna, Austria, May 1995). 1995, 72–86.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Structures, University of Ulm, Germany

    Christian Heinlein

Authors
  1. Christian Heinlein
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. DOA Institute, p/a Leeuwlantstraat 83, 2100, Antwerp, Belgium

    Robert Meersman

  2. RMIT University School of Computer Science and IT, GPO Box 2476V, VIC 3001, Melbourne, Australia

    Zahir Tari

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Heinlein, C. (2002). Synchronization of Concurrent Workflows Using Interaction Expressions and Coordination Protocols. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE. OTM 2002. Lecture Notes in Computer Science, vol 2519. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36124-3_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-36124-3_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00106-5

  • Online ISBN: 978-3-540-36124-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation