Information Systems Frontiers

, Volume 12, Issue 4, pp 457–479 | Cite as

Specification and verification of harmonized business-process collaborations

  • Alex NortaEmail author
  • Rik Eshuis


In the area of business-to-business (B2B) collaboration, original equipment manufacturers (OEMs) are confronted with the problem of spending a considerable time and effort on coordinating suppliers across multiple tiers of their supply chains. By supporting inter-organizational business-process collaborations with service-oriented technology, a scope for more efficient and effective supply-chain coordination is anticipated. This paper defines a formal framework, called eSourcing, for specifying structurally harmonized inter-organizational business-process collaborations. The framework permits verification of harmonized processes before their enactment. Moreover, the framework uses private and public layers to protect competitive knowledge of the individual partners. In the research project CrossWork, the eSourcing framework has been integral for harmonizing on an external level the intra-organizational business processes of a service-consuming and one or many service-providing organizations.


e-business b2b Collaboration Service orientation Supply chain Inter-organizational Business process Visibilities eSourcing 



We would like to thank the reviewers for their very valuable and helpful feedback. This research was partly conducted in the EU-FP6 research project CrossWork and partly in SOAMeS (Service Oriented Architecture in Multichannel e-Services). The latter project was financed by the Finnish Funding Agency for Technology and Innovation, VTT, Elisa Oyj, Kesko Oyj, Metsäteho Oy, and TietoEnator Processing & Network Oy.


  1. Alonso, G., Fiedler, SU., Hagen, C., Lazcano, A., Schuldt, H. & Weiler, N. (1999). WISE: business to business e-commerce. In Proc. of the 9th international workshop on research issues on data engineering (pp. 132–139). Sydney, Australia.Google Scholar
  2. Alves, A., Arkin, A., Askary, S., Barreto, C., Bloch, B., Curbera, F., et al. (2007). Web services business process execution language version 2.0 (OASIS standard). WS-BPEL TC OASIS,
  3. ATHENA (2009) Advanced technologies for interoperability of heterogenous enterprise networks and their application.
  4. Basten, T. (1998). In terms of nets: System design with Petri nets and process algebra. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands.Google Scholar
  5. Basten, T., & van der Aalst, W. M. P. (2001). Inheritance of behavior. Journal of Logic and Algebraic Programming, 47(2), 47–145.CrossRefGoogle Scholar
  6. Benatallah, B., Casati, F., & Toumani, F. (2006) Representing, analysing and managing web service protocols. Data & Knowledge Engineering, 58(3), 327–357.CrossRefGoogle Scholar
  7. Berthelot, G. (1987). Transformations and decompositions of nets. In W. Brauer, W. Reisig, & G. Rozenberg (Eds.), Advances in Petri nets 1986 part I: Petri nets, central models and their properties. Lecture notes in computer science (Vol. 254, pp. 360–376). Berlin: Springer.CrossRefGoogle Scholar
  8. Bonchi, F., Brogi, A., Corfini, S., & Gadducci, F. (2007). A behavioural congruence for web services. In F. Arbab, & M. Sirjani (Eds.), Proc. int. symposium on fundamentals of software engineering (FSEN 2007). Lecture notes in computer science (Vol. 4767, pp. 240–256). Berlin: Springer.Google Scholar
  9. Bravetti, M., & Zavattaro, G. (2007). Contract based multi-party service composition. In F. Arbab, & M. Sirjani (Eds.), Proc. int. symposium on fundamentals of software engineering (FSEN 2007) (Vol 4767, pp. 207–222). Berlin: Springer.Google Scholar
  10. Bussler, C. (Ed.) (2002a). B2B integration: Concepts and architecture. Berlin: Springer.Google Scholar
  11. Bussler, C. (2002b). The application of workflow technology in semantic B2B integration. Distributed and Parallel Databases, 12, 163–191.CrossRefGoogle Scholar
  12. Carbone, M., Honda, K., & Yoshida, N. (2007). Structured communication-centred programming for web services. In R. De Nicola (Ed.) Proc. 16th European symposium on programming (ESOP 2007). Lecture notes in computer science (Vol. 4421, pp. 2–17). Berlin: Springer.Google Scholar
  13. Chiu, D. K. W., Cheung, S. C., Till, S., Karlapalem, K., Li, Q., & Kafeza, E. (2004). Workflow view driven cross-organizational interoperability in a web service environment. Information Technology Management, 5(3–4), 221–250.CrossRefGoogle Scholar
  14. Colom, J. M. & Silva, M. (1990). Improving the linearly based characterization of P/T nets. In G. Rozenberg (Ed.), Advances in Petri nets 1990. Lecture notes in computer science (Vol. 483, pp. 113–146). Berlin: Springer.Google Scholar
  15. CrossWork (2009) Cross-organisational workflow formation and enactment, IST no. 507590.
  16. IBM (2009) IBM MQSeries workflow.
  17. IBM Research (1999). CrossFlow architecture description, Technical report, ESPRIT CrossFlow EP 28653.Google Scholar
  18. Ellis, C. A., & Nutt, G. J. (1993) Modelling and enactment of workflow systems. In M. A. Marsan (Ed.), Application and theory of Petri nets 1993. Lecture notes in computer science (Vol. 691, pp. 1–16). Berlin: Springer-Verlag.Google Scholar
  19. Eshuis, R., & Grefen, P. (2008). Constructing customized process views. Data and Knowledge Engineering, 64(2), 419–438.CrossRefGoogle Scholar
  20. Gomez, J. M., Haller, A., & Bussler, C. (2005). A conversation oriented language for B2B integration based on semantic web services. web service semantics. In Towards dynamic business integration workshop. In conjunction with the 14th international world wide web conference (WWW 2005), Chiba, Japan, May 2005.Google Scholar
  21. Grefen, P., Ludwig, H., & Angelov, S. (2003). A three-level framework for process and data management of complex e-services. International Journal of Cooperative Information Systems, 12(4), 487–531.CrossRefGoogle Scholar
  22. Grefen, P., Mehandjiev, N., Kouvas, G., Weichhart, G., & Eshuis, R. (2009). Dynamic business network process management in instant virtual enterprise. Computers in Industry, 60, 86–103.CrossRefGoogle Scholar
  23. Hoffner, Y., Ludwig, H., C. Gülcü, & Grefen, P. (2005). Architecture for cross-organizational business processes. In Procs. 2nd int. workshop on advanced issues of e-commerce and web-based Information systems (pp. 2–11). Milpitas, CA, USA.Google Scholar
  24. Jordan, D., Evdemon, J., Alves, A., & Arkin, A. (2007). Web services choreography description language 1.0.
  25. Kiepuszewski, B. (2002). Expressiveness and suitability of languages for control flow modelling in workflows. PhD thesis, Queensland University of Technology, Queensland University of Technology, Brisbane, Australia.Google Scholar
  26. Kiepuszewski, B., ter Hofstede, A. H. M., & van der Aalst, W. M. P. (2003). Fundamentals of control flow in workflows. Acta Informatica, 39(3), 143–209.CrossRefGoogle Scholar
  27. Kindler, E., Billington, J., & Christensen, S., et al. (2003a). The Petri net markup language: Concepts, technology, and tools. In W. M. P., van der Aalst, E. Best (Eds.), Proc. of the 24th international conference, ICATPN 2003. Lecture notes in computer science (Vol. 2679, pp. 483–505). Eindhoven: Springer.Google Scholar
  28. Kindler, E., et al. (2003b). Petri net markup language (PNML) home page.
  29. Lazcano, A., Schuldt, H., Alonso, G., & Schek, H. (2001). WISE: Process based e-commerce. IEEE Data Engineering Bulletin, 24(1), 46–51.Google Scholar
  30. Leymann, F., & Roller, D. (1999) Production workflow: Concepts and techniques. Upper Saddle River: Prentice-Hall PTR.Google Scholar
  31. Martens, A. (2003a). On compatibility of web services. Petri Net Newsletter, 65, 12–20.Google Scholar
  32. Martens, A. (2003b). On usability of web services. In C. Calero, O. Díaz, & M. Piattini (Eds.) Proc. of 1st web services quality workshop (WQW 2003). Rome, Italy.Google Scholar
  33. Mehandjiev, N., & Grefen, P. (Eds.) (2009). Dynamic business process formation for instant virtual enterprises. Berlin: Springer (in press).Google Scholar
  34. Milner, R. (1989). Communication and concurrency. Englewood Cliffs: Prentice-Hall.Google Scholar
  35. Norta, A. (2005). eSML (electronic Sourcing Markup Language). In R. Eshuis, & I. Stalker (Eds.) CrossWork: Requirements and concepts for agent-based workflowconfiguration, work package 2: Workflow modelling, task 2.2: Agent-based workflow configuration.Google Scholar
  36. Norta, A. (2007). eSourcing: Electronic sourcing for business to business.
  37. Norta, A. (2008). Exploring dynamic inter-organizational business process collaboration: Privacy protecting concepts for choreographing eSourcing in B2B with service-oriented computing. VDM.Google Scholar
  38. Reisig, W., & Rozenberg, G. (Eds.) (1998). Lectures on Petri nets I: Advances in Petri nets. Lecture notes in computer science (Vol. 1491). Berlin: Springer.Google Scholar
  39. Reisig, W., Schmidt, K., & Stahl, C. (2005). Kommunizierende Workflow-Services modellieren und analysieren. In Informatik - Forschung und Entwicklung (pp. 90–101).Google Scholar
  40. van der Aalst, W. M. P. (1997). Verification of workflow nets. In P. Azéma, & G. Balbo (Eds.), Application and theory of Petri nets 1997. Lecture notes in computer science (Vol. 1248, pp. 407–426). Berlin: Springer.Google Scholar
  41. van der Aalst, W. M. P. (1998). The application of Petri nets to workflow management. Journal of Circuits, Systems and Computers, 8(1), 21–66.CrossRefGoogle Scholar
  42. van der Aalst, W. M. P. (2002). Inheritance of interorganizational workflows: How to agree to disagree without loosing control? Information Technology and Management, 2(3).Google Scholar
  43. van der Aalst, W. M. P., & Basten, T. (2002). Inheritance of workflows: An approach to tackling problems related to change. Theoretical Computer Science, 270(1–2), 125–203.CrossRefGoogle Scholar
  44. van der Aalst, W. M. P., & Kumar, A. (2003). XML based schema definition for support of inter-organizational workflow. Information Systems Research, 14(1), 23–47.CrossRefGoogle Scholar
  45. van der Aalst, W. M. P., & van Hee, K. M. (2002). Workflow management: Models, methods, and systems. Cambridge: MIT.Google Scholar
  46. van der Aalst, W. M. P., ter Hofstede, A. H. M., Kiepuszewski, B., & Barros, A. P. (2000). Advanced workflow patterns. In O. Etzion & P. Scheuermann (Eds.) 7th international conference on cooperative information systems (CoopIS 2000). Lecture notes in computer science (Vol. 1901, pp. 18–29). Berlin: Springer.Google Scholar
  47. van der Aalst, W. M. P., Verbeek, H. M. W., & Kumar, A. (2001). XRL/Woflan: Verification of an XML/Petri-net based language for inter-organizational workflows (best paper award). In K. Altinkemer & K. Chari (Eds.) Proceedings of the 6th informs conference on information systems and technology (CIST-2001) (pp. 30–45). Linthicum: Informs.Google Scholar
  48. van der Aalst, W. M. P., ter Hofstede, A. H. M., Kiepuszewski, B., & Barros, A. P. (2007). Workflow patterns home page.
  49. van der Aalst, W. M. P., Lohmann, N., Massuthe, P., Stahl, C., & Wolf, K. (2008). From public views to private views – Correctness-by-design for services. In M. Dumas & R. Heckel (Eds.) Proc. WS-FM 2007. Lecture notes in computer science (Vol. 4937, pp. 139–153). Berlin: Springer.Google Scholar
  50. van Glabbeek, R. J., & Weijland, W. P. (1996). Branching time and abstraction in bisimulation semantics. Journal of the ACM, 43(3), 555–600.CrossRefGoogle Scholar
  51. Verbeek, H. M. W., & van der Aalst, W. M. P. (2000). Woflan 2.0: A Petri-net-based workflow diagnosis tool. In M. Nielsen & D. Simpson (Eds.) Application and theory of Petri nets 2000. Lecture notes in computer science (Vol. 1825, pp. 475–484). Berlin: Springer.CrossRefGoogle Scholar
  52. Verbeek, H. M. W., & van der Aalst, W. M. P. (2009). Woflan home page. Eindhoven, The Netherlands: Eindhoven University of Technology.
  53. Verbeek, H. M. W., Basten, T., & van der Aalst, W. M. P. (2001a). Diagnosing workflow processes using Woflan. The Computer Journal, British Computer Society, 44(4), 246–279.Google Scholar
  54. Verbeek, H. M. W., Basten, T., & van der Aalst, W. M. P. (2001b). Diagnosing workflow processes using Woflan. The Computer Journal, 44(4), 246–279.CrossRefGoogle Scholar
  55. Verbeek, H. M. W., Hirnschall, A., & van der Aalst, W. M. P. (2002). XRL/Flower: Supporting inter-organizational workflows using XML/Petri-net technology. In C. Bussler, R. Hull, S. McIlraith, M. E. Orlowska, B. Pernici, & J. Yang (Eds.) Web services, e-business, and the semantic web. CAiSE 2002 international workshop, WES 2002, Toronto, Canada (pp. 93–109). LNCS Springer, May 2002.Google Scholar
  56. Weber, M., & Kindler, E. (2003). The Petri net markup language. In H. Ehrig, W. Reisig, G. Rozenberg, & H. Weber (Eds.) Petri net technology for communication-based systems advances in Petri nets, Lecture notes in computer science (Vol. 2472, 455 p.). Berlin: Springer.Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2009

Authors and Affiliations

  1. 1.Department of Computer ScienceUniversity of HelsinkiHelsinkiFinland
  2. 2.Faculty of Technology and Management, Department of Information SystemsEindhoven University of TechnologyEindhovenThe Netherlands

Personalised recommendations