{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T14:22:01Z","timestamp":1770474121880,"version":"3.49.0"},"reference-count":57,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2009,4,1]],"date-time":"2009-04-01T00:00:00Z","timestamp":1238544000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Inf Syst Front"],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1007\/s10796-009-9164-1","type":"journal-article","created":{"date-parts":[[2009,3,31]],"date-time":"2009-03-31T09:22:27Z","timestamp":1238491347000},"page":"457-479","source":"Crossref","is-referenced-by-count":31,"title":["Specification and verification of harmonized business-process collaborations"],"prefix":"10.1007","volume":"12","author":[{"given":"Alex","family":"Norta","sequence":"first","affiliation":[]},{"given":"Rik","family":"Eshuis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,4,1]]},"reference":[{"key":"9164_CR1","doi-asserted-by":"crossref","unstructured":"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\u2013139). Sydney, Australia.","DOI":"10.1109\/RIDE.1999.758645"},{"key":"9164_CR2","unstructured":"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, http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.html ."},{"key":"9164_CR3","unstructured":"ATHENA (2009) Advanced technologies for interoperability of heterogenous enterprise networks and their application. http:\/\/www.athena-ip.org\/index.php ."},{"key":"9164_CR4","unstructured":"Basten, T. (1998). In terms of nets: System design with Petri nets and process algebra. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands."},{"issue":"2","key":"9164_CR5","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S1567-8326(00)00004-7","volume":"47","author":"T Basten","year":"2001","unstructured":"Basten, T., & van der Aalst, W. M. P. (2001). Inheritance of behavior. Journal of Logic and Algebraic Programming, 47(2), 47\u2013145.","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"3","key":"9164_CR6","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1016\/j.datak.2005.07.006","volume":"58","author":"B Benatallah","year":"2006","unstructured":"Benatallah, B., Casati, F., & Toumani, F. (2006) Representing, analysing and managing web service protocols. Data & Knowledge Engineering, 58(3), 327\u2013357.","journal-title":"Data & Knowledge Engineering"},{"key":"9164_CR7","series-title":"Lecture notes in computer science","first-page":"360","volume-title":"Advances in Petri nets 1986 part I: Petri nets, central models and their properties","author":"G Berthelot","year":"1987","unstructured":"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\u2013376). Berlin: Springer."},{"key":"9164_CR8","doi-asserted-by":"crossref","unstructured":"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\u2013256). Berlin: Springer.","DOI":"10.1007\/978-3-540-75698-9_16"},{"key":"9164_CR9","doi-asserted-by":"crossref","unstructured":"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\u2013222). Berlin: Springer.","DOI":"10.1007\/978-3-540-75698-9_14"},{"key":"9164_CR10","volume-title":"B2B integration: Concepts and architecture","year":"2002","unstructured":"Bussler, C. (Ed.) (2002a). B2B integration: Concepts and architecture. Berlin: Springer."},{"key":"9164_CR11","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1023\/A:1016551101731","volume":"12","author":"C Bussler","year":"2002","unstructured":"Bussler, C. (2002b). The application of workflow technology in semantic B2B integration. Distributed and Parallel Databases, 12, 163\u2013191.","journal-title":"Distributed and Parallel Databases"},{"key":"9164_CR12","doi-asserted-by":"crossref","unstructured":"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\u201317). Berlin: Springer.","DOI":"10.1007\/978-3-540-71316-6_2"},{"issue":"3\u20134","key":"9164_CR13","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1023\/B:ITEM.0000031580.57966.d4","volume":"5","author":"DKW Chiu","year":"2004","unstructured":"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\u20134), 221\u2013250.","journal-title":"Information Technology Management"},{"key":"9164_CR14","series-title":"Lecture notes in computer science","first-page":"113","volume-title":"Advances in Petri nets 1990","author":"JM Colom","year":"1990","unstructured":"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\u2013146). Berlin: Springer."},{"key":"9164_CR15","unstructured":"CrossWork (2009) Cross-organisational workflow formation and enactment, IST no. 507590. http:\/\/www.crosswork.info\/ ."},{"key":"9164_CR16","unstructured":"IBM (2009) IBM MQSeries workflow. http:\/\/www-4.ibm.com\/software\/mqseries\/workflow ."},{"key":"9164_CR17","unstructured":"IBM Research (1999). CrossFlow architecture description, Technical report, ESPRIT CrossFlow EP 28653."},{"key":"9164_CR18","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-56863-8_36","volume-title":"Application and theory of Petri nets 1993","author":"CA Ellis","year":"1993","unstructured":"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\u201316). Berlin: Springer-Verlag."},{"issue":"2","key":"9164_CR19","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1016\/j.datak.2007.07.003","volume":"64","author":"R Eshuis","year":"2008","unstructured":"Eshuis, R., & Grefen, P. (2008). Constructing customized process views. Data and Knowledge Engineering, 64(2), 419\u2013438.","journal-title":"Data and Knowledge Engineering"},{"key":"9164_CR20","unstructured":"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."},{"issue":"4","key":"9164_CR21","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1142\/S0218843003000838","volume":"12","author":"P Grefen","year":"2003","unstructured":"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\u2013531.","journal-title":"International Journal of Cooperative Information Systems"},{"key":"9164_CR22","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1016\/j.compind.2008.06.006","volume":"60","author":"P Grefen","year":"2009","unstructured":"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\u2013103.","journal-title":"Computers in Industry"},{"key":"9164_CR23","unstructured":"Hoffner, Y., Ludwig, H., C. G\u00fclc\u00fc, & 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\u201311). Milpitas, CA, USA."},{"key":"9164_CR24","unstructured":"Jordan, D., Evdemon, J., Alves, A., & Arkin, A. (2007). Web services choreography description language 1.0. http:\/\/www.w3.org\/TR\/2004\/WD-ws-cdl-10-20041217\/ ."},{"key":"9164_CR25","unstructured":"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."},{"issue":"3","key":"9164_CR26","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s00236-002-0105-4","volume":"39","author":"B Kiepuszewski","year":"2003","unstructured":"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\u2013209.","journal-title":"Acta Informatica"},{"key":"9164_CR27","doi-asserted-by":"crossref","unstructured":"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\u2013505). Eindhoven: Springer.","DOI":"10.1007\/3-540-44919-1_31"},{"key":"9164_CR28","unstructured":"Kindler, E., et al. (2003b). Petri net markup language (PNML) home page. http:\/\/www.informatik.hu-berlin.de\/top\/pnml\/ ."},{"issue":"1","key":"9164_CR29","first-page":"46","volume":"24","author":"A Lazcano","year":"2001","unstructured":"Lazcano, A., Schuldt, H., Alonso, G., & Schek, H. (2001). WISE: Process based e-commerce. IEEE Data Engineering Bulletin, 24(1), 46\u201351.","journal-title":"IEEE Data Engineering Bulletin"},{"key":"9164_CR30","volume-title":"Production workflow: Concepts and techniques","author":"F Leymann","year":"1999","unstructured":"Leymann, F., & Roller, D. (1999) Production workflow: Concepts and techniques. Upper Saddle River: Prentice-Hall PTR."},{"key":"9164_CR31","first-page":"12","volume":"65","author":"A Martens","year":"2003","unstructured":"Martens, A. (2003a). On compatibility of web services. Petri Net Newsletter, 65, 12\u201320.","journal-title":"Petri Net Newsletter"},{"key":"9164_CR32","doi-asserted-by":"crossref","unstructured":"Martens, A. (2003b). On usability of web services. In C. Calero, O. D\u00edaz, & M. Piattini (Eds.) Proc. of 1st web services quality workshop (WQW 2003). Rome, Italy.","DOI":"10.1109\/WISEW.2003.1286801"},{"key":"9164_CR33","volume-title":"Dynamic business process formation for instant virtual enterprises","year":"2009","unstructured":"Mehandjiev, N., & Grefen, P. (Eds.) (2009). Dynamic business process formation for instant virtual enterprises. Berlin: Springer (in press)."},{"key":"9164_CR34","volume-title":"Communication and concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R. (1989). Communication and concurrency. Englewood Cliffs: Prentice-Hall."},{"key":"9164_CR35","unstructured":"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."},{"key":"9164_CR36","unstructured":"Norta, A. (2007). eSourcing: Electronic sourcing for business to business. http:\/\/www.cs.helsinki.fi\/u\/anorta\/research\/eSourcing\/ ."},{"key":"9164_CR37","unstructured":"Norta, A. (2008). Exploring dynamic inter-organizational business process collaboration: Privacy protecting concepts for choreographing eSourcing in B2B with service-oriented computing. VDM."},{"key":"9164_CR38","unstructured":"Norta, A. (2009). XRL home page. http:\/\/www.cs.helsinki.fi\/u\/anorta\/research\/XRL\/xrlHome.html ."},{"key":"9164_CR39","series-title":"Lecture notes in computer science","volume-title":"Lectures on Petri nets I: Advances in Petri nets","year":"1998","unstructured":"Reisig, W., & Rozenberg, G. (Eds.) (1998). Lectures on Petri nets I: Advances in Petri nets. Lecture notes in computer science (Vol. 1491). Berlin: Springer."},{"key":"9164_CR40","doi-asserted-by":"crossref","unstructured":"Reisig, W., Schmidt, K., & Stahl, C. (2005). Kommunizierende Workflow-Services modellieren und analysieren. In Informatik - Forschung und Entwicklung (pp. 90\u2013101).","DOI":"10.1007\/s00450-005-0209-5"},{"key":"9164_CR41","series-title":"Lecture notes in computer science","first-page":"407","volume-title":"Application and theory of Petri nets 1997","author":"WMP Aalst van der","year":"1997","unstructured":"van der Aalst, W. M. P. (1997). Verification of workflow nets. In P. Az\u00e9ma, & G. Balbo (Eds.), Application and theory of Petri nets 1997. Lecture notes in computer science (Vol. 1248, pp.\u00a0407\u2013426). Berlin: Springer."},{"issue":"1","key":"9164_CR42","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP Aalst van der","year":"1998","unstructured":"van der Aalst, W. M. P. (1998). The application of Petri nets to workflow management. Journal of Circuits, Systems and Computers, 8(1), 21\u201366.","journal-title":"Journal of Circuits, Systems and Computers"},{"key":"9164_CR43","unstructured":"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)."},{"issue":"1\u20132","key":"9164_CR44","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/S0304-3975(00)00321-2","volume":"270","author":"WMP Aalst van der","year":"2002","unstructured":"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\u20132), 125\u2013203.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"9164_CR45","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1287\/isre.14.1.23.14768","volume":"14","author":"WMP Aalst van der","year":"2003","unstructured":"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\u201347.","journal-title":"Information Systems Research"},{"key":"9164_CR46","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow management: Models, methods, and systems","author":"WMP Aalst van der","year":"2002","unstructured":"van der Aalst, W. M. P., & van Hee, K. M. (2002). Workflow management: Models, methods, and systems. Cambridge: MIT."},{"key":"9164_CR47","doi-asserted-by":"crossref","unstructured":"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\u201329). Berlin: Springer.","DOI":"10.1007\/10722620_2"},{"key":"9164_CR48","unstructured":"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\u201345). Linthicum: Informs."},{"key":"9164_CR49","unstructured":"van der Aalst, W. M. P., ter Hofstede, A. H. M., Kiepuszewski, B., & Barros, A. P. (2007). Workflow patterns home page. http:\/\/www.workflowpatterns.com ."},{"key":"9164_CR50","unstructured":"van der Aalst, W. M. P., Lohmann, N., Massuthe, P., Stahl, C., & Wolf, K. (2008). From public views to private views \u2013 Correctness-by-design for services. In M. Dumas & R. Heckel (Eds.) Proc. WS-FM 2007. Lecture notes in computer science (Vol. 4937, pp. 139\u2013153). Berlin: Springer."},{"issue":"3","key":"9164_CR51","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1145\/233551.233556","volume":"43","author":"RJ Glabbeek van","year":"1996","unstructured":"van Glabbeek, R. J., & Weijland, W. P. (1996). Branching time and abstraction in bisimulation semantics. Journal of the ACM, 43(3), 555\u2013600.","journal-title":"Journal of the ACM"},{"key":"9164_CR52","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1007\/3-540-44988-4_28","volume-title":"Application and theory of Petri nets 2000","author":"HMW Verbeek","year":"2000","unstructured":"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\u2013484). Berlin: Springer."},{"key":"9164_CR53","unstructured":"Verbeek, H. M. W., & van der Aalst, W. M. P. (2009). Woflan home page. Eindhoven, The Netherlands: Eindhoven University of Technology. http:\/\/www.tm.tue.nl\/it\/woflan ."},{"issue":"4","key":"9164_CR54","first-page":"246","volume":"44","author":"HMW Verbeek","year":"2001","unstructured":"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\u2013279.","journal-title":"The Computer Journal, British Computer Society"},{"issue":"4","key":"9164_CR55","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1093\/comjnl\/44.4.246","volume":"44","author":"HMW Verbeek","year":"2001","unstructured":"Verbeek, H. M. W., Basten, T., & van der Aalst, W. M. P. (2001b). Diagnosing workflow processes using Woflan. The Computer Journal, 44(4), 246\u2013279.","journal-title":"The Computer Journal"},{"key":"9164_CR56","doi-asserted-by":"crossref","unstructured":"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\u2013109). LNCS Springer, May 2002.","DOI":"10.1007\/3-540-36189-8_8"},{"key":"9164_CR57","series-title":"Lecture notes in computer science","first-page":"455","volume-title":"Petri net technology for communication-based systems advances in Petri nets","author":"M Weber","year":"2003","unstructured":"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."}],"container-title":["Information Systems Frontiers"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10796-009-9164-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10796-009-9164-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10796-009-9164-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,8]],"date-time":"2025-02-08T19:43:30Z","timestamp":1739043810000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10796-009-9164-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4,1]]},"references-count":57,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,9]]}},"alternative-id":["9164"],"URL":"https:\/\/doi.org\/10.1007\/s10796-009-9164-1","relation":{},"ISSN":["1387-3326","1572-9419"],"issn-type":[{"value":"1387-3326","type":"print"},{"value":"1572-9419","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,4,1]]}}}