On the Concurrency of Inter-organizational Business Processes

  • Diogo R. Ferreira
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4277)


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.


Business Process Business Partner Concurrent Process Contract Negotiation Service Link 
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. 1.
    Hollingsworth, D.: The Workflow Reference Model. Document Number TC00-1003, WfMC (1995)Google Scholar
  2. 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. 3.
    van der Aalst, W.: Process-oriented architectures for electronic commerce and interorganizational workflow. Information Systems 24(9) (December 1999)Google Scholar
  4. 4.
    Geppert, A., Kradolfer, M., Tombros, D.: Federating heterogeneous workflow systems, Technical Report 05, University of Zurich (1998)Google Scholar
  5. 5.
    Lindert, F., Deiters, W.: Modelling Inter-Organizational Processes with Process Model Fragments. In: Informatik 1999, Paderborn, Germany (October 1999)Google Scholar
  6. 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. 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. 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. 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. 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. 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. 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. 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. 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)CrossRefGoogle Scholar
  15. 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)MATHCrossRefGoogle Scholar
  16. 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. 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. 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. 19.
    Smith, H., Fingar, P.: Workflow is just a Pi process. BPTrends (January 2004)Google Scholar
  20. 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. 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)CrossRefGoogle Scholar
  22. 22.
    Yang, D., Zhang, S.: Approach for workflow modeling using pi-calculus. Journal of Zhejiang University Science 4(6), 643–650 (2003)CrossRefGoogle Scholar
  23. 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)CrossRefGoogle Scholar
  24. 24.
    Ferreira, D., Pinto Ferreira, J.J.: Developing a Reusable Workflow Engine. Journal of Systems Architecture 50(6), 309–324 (2004)CrossRefGoogle Scholar
  25. 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)CrossRefGoogle Scholar
  26. 26.
    Ferreira, D.: Workflow Management Systems Supporting the Engineering of Business Networks, PhD Thesis, University of Porto (February 2004)Google Scholar
  27. 27.
    Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, Part I. Information and Computation 100(1), 1–40 (1992)MATHCrossRefMathSciNetGoogle Scholar
  28. 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. 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)CrossRefGoogle Scholar
  30. 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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Diogo R. Ferreira
    • 1
  1. 1.Organizational Engineering Center, INESC and, ISTTechnical University of LisbonPorto SalvoPortugal

Personalised recommendations