Skip to main content
SpringerLink
Log in

On the Concurrency of Inter-organizational Business Processes

  • Conference paper
On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops (OTM 2006)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 4277))

  • 965 Accesses

Abstract

Within organizations, workflow systems can automate business processes by centrally coordinating activity sequences. But outside their borders, organizations are autonomous entities that cannot be subject to centralized process control. Their internal processes are autonomously defined and controlled, and what they need is to synchronize those concurrent processes. Just like Petri nets are a valuable tool to model activity sequencing in local business processes, π-calculus becomes a useful tool to model concurrency in inter-organizational processes. After a review of the main developments in cross-organizational workflow management, this paper illustrates the use of π-calculus to model the interactions between business processes running concurrently in different organizations. These interactions range from invoking external services to more complex patterns such as contract negotiation and partner search and selection. The paper concludes with a case study that illustrates the application of the proposed approach in a more realistic business scenario.

An erratum to this chapter can be found at http://dx.doi.org/10.1007/11915034_125.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Hollingsworth, D.: The Workflow Reference Model. Document Number TC00-1003, WfMC (1995)

    Google Scholar 

  2. Anzböck, R., Dustdar, S.: Interorganizational Workflow in the Medical Imaging Domain. In: ICEIS 2003, Angers, France, April 23-26, pp. 292–300. Kluwer, Dordrecht (2003)

    Google Scholar 

  3. van der Aalst, W.: Process-oriented architectures for electronic commerce and interorganizational workflow. Information Systems 24(9) (December 1999)

    Google Scholar 

  4. Geppert, A., Kradolfer, M., Tombros, D.: Federating heterogeneous workflow systems, Technical Report 05, University of Zurich (1998)

    Google Scholar 

  5. Lindert, F., Deiters, W.: Modelling Inter-Organizational Processes with Process Model Fragments. In: Informatik 1999, Paderborn, Germany (October 1999)

    Google Scholar 

  6. Reichert, M., Bauer, T., Dadam, P.: Enterprise-Wide and Cross-Enterprise Workflow Management: Challenges and Research Issues for Adaptive Workflows. In: Informatik 1999, Paderborn, Germany (October 1999)

    Google Scholar 

  7. Blake, M.: An Agent-Based Cross-Organizational Workflow Architecture in Support of Web Services. In: 11th WETICE, IEEE Comp. Soc. Press, Los Alamitos (2002)

    Google Scholar 

  8. Kwak, M., Han, D., Shim, J.: A Framework Supporting Dynamic Workflow Interoperation and Enterprise Application Integration. In: 35th HICSS, IEEE, Los Alamitos (2002)

    Google Scholar 

  9. Stricker, C., Riboni, S., Kradolfer, M., Taylor, J.: Market-based Workflow Management for Supply Chains of Services. In: 33rd HICSS, IEEE, Los Alamitos (2000)

    Google Scholar 

  10. Yan, S.-B., Wang, F.-J.: CA-PLAN, an Inter-Organizational Workflow Model. In: FTDCS 2004, IEEE Computer Society, Los Alamitos (2004)

    Google Scholar 

  11. Grefen, P., Aberer, K., Hoffner, Y., Ludwig, H.: CrossFlow: cross-organizational workflow management in dynamic virtual enterprises. Comp. Sys. Sci. and Eng. 15(5), 277–290 (2000)

    Google Scholar 

  12. van den Heuvel, W., Weigand, H.: Cross-Organizational Workflow Integration with Contracts. In: Business Obj. Comp. Workshop (OOPSLA 2000), Springer, Heidelberg (2001)

    Google Scholar 

  13. Kafeza, E., Chiu, D., Kafeza, I.: View-based Contracts in an e-Service Cross-Organizational Workflow Environment. In: VLDB-TES, Rome, Italy (2001)

    Google Scholar 

  14. van der Aalst, W., Weske, M.: The P2P approach to Interorganizational Workflows. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol. 2068, pp. 140–156. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  15. van der Aalst, W., Basten, T.: Inheritance of Workflows: An Approach to Tackling Problems Related to Change. Theo. Comp. Sci. 270(1-2), 125–203 (2002)

    Article  MATH  Google Scholar 

  16. Chebbi, I., Dustdar, S., Tata, S.: The view-based approach to dynamic inter-organizational workflow cooperation. Data and Knowledge Eng. 56(2) (2006)

    Google Scholar 

  17. Chiu, D., Cheung, S., Till, S., Karlapalem, K., Li, Q., Kafeza, E.: Workflow View Driven Cross-Organizational Interoperability in a Web Service Environment. Information Technology and Management 5(3-4) (July-October 2004)

    Google Scholar 

  18. Cimpian, E., Mocan, A.: WSMX Process Mediation Based on Choreographies. In: 1st Intl. Workshop on Web Service Choreography and Orchestration for Business Process Management, Nancy, France (September 2005)

    Google Scholar 

  19. Smith, H., Fingar, P.: Workflow is just a Pi process. BPTrends (January 2004)

    Google Scholar 

  20. van der Aalst, W.: Pi Calculus Versus Petri Nets: Let Us Eat Humble Pie Rather Than Further Inflate the Pi Hype. BPTrends 3(5), 1–11 (2005)

    Google Scholar 

  21. Puhlmann, F., Weske, M.: Using the Pi-Calculus for Formalizing Workflow Patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 153–168. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  22. Yang, D., Zhang, S.: Approach for workflow modeling using pi-calculus. Journal of Zhejiang University Science 4(6), 643–650 (2003)

    Article  Google Scholar 

  23. Padget, J., Bradford, J.: A pi-calculus Model of a Spanish Fish Market - Preliminary Report. In: Noriega, P., Sierra, C. (eds.) AMET 1998 and AMEC 1998. LNCS (LNAI), vol. 1571, pp. 166–188. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  24. Ferreira, D., Pinto Ferreira, J.J.: Developing a Reusable Workflow Engine. Journal of Systems Architecture 50(6), 309–324 (2004)

    Article  Google Scholar 

  25. van der Aalst, W.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)

    Article  Google Scholar 

  26. Ferreira, D.: Workflow Management Systems Supporting the Engineering of Business Networks, PhD Thesis, University of Porto (February 2004)

    Google Scholar 

  27. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, Part I. Information and Computation 100(1), 1–40 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  28. Ferreira, D., Pinto Ferreira, J.J.: Essential Services for P2P e-Marketplaces. In: CARS&FOF 2002, Porto, Portugal, July 3-5 (2002)

    Google Scholar 

  29. Ferreira, D., Pinto Ferreira, J.J.: Building an e-marketplace on a peer-to-peer infrastructure. Intl. J. of Comp. Int. Manufact. 17(3), 254–264 (2004)

    Article  Google Scholar 

  30. Ferreira, D., Pinto Ferreira, J.J.: Towards a workflow-based integration architecture for business networking. Business Process Management Journal 11(5), 517–531 (2005)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Organizational Engineering Center, INESC and, IST, Technical University of Lisbon, Avenida Prof. Dr. Cavaco Silva, 2780-990, Porto Salvo, Portugal

    Diogo R. Ferreira

Authors
  1. Diogo R. Ferreira
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. STARLab, Vrije Universiteit Brussel (VUB), Bldg G/10, Pleinlaan 2, 1050, Brussels, Belgium

    Robert Meersman

  2. School of Computer Science and Information Technology, RMIT University, Bld 10.10, 376-392 Swanston Street, 3001, Melbourne, VIC, Australia

    Zahir Tari

  3. Facultad de Informática, Universidad Politécnica de Madrid, Campus de Montegancedo S/N, 28660, Boadilla del Monte, Madrid, Spain

    Pilar Herrero

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ferreira, D.R. (2006). On the Concurrency of Inter-organizational Business Processes. In: Meersman, R., Tari, Z., Herrero, P. (eds) On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops. OTM 2006. Lecture Notes in Computer Science, vol 4277. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11915034_108

Download citation

  • DOI: https://doi.org/10.1007/11915034_108

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-48269-7

  • Online ISBN: 978-3-540-48272-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation