{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T15:52:09Z","timestamp":1778860329179,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540287018","type":"print"},{"value":"9783540319030","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11549970_4","type":"book-chapter","created":{"date-parts":[[2005,11,11]],"date-time":"2005-11-11T12:53:44Z","timestamp":1131713624000},"page":"35-50","source":"Crossref","is-referenced-by-count":32,"title":["Life After BPEL?"],"prefix":"10.1007","author":[{"given":"W. M. P.","family":"van der Aalst","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Dumas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. H. M.","family":"ter Hofstede","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Russell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H. M. W.","family":"Verbeek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Wohed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"4_CR1","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1023\/A:1025182201690","volume":"4","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P.: Inheritance of Interorganizational Workflows: How to agree to disagree without loosing control? Information Technology and Management Journal\u00a04(4), 345\u2013389 (2003)","journal-title":"Information Technology and Management Journal"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"van der Aalst., W.M.P.: Business Alignment: Using Process Mining as a Tool for Delta Analysis and Conformance Testing. Requirements Engineering Journal (2005) (to appear)","DOI":"10.1007\/s00766-005-0001-x"},{"key":"4_CR3","first-page":"298","volume-title":"Proceeding of the 29th EUROMICRO Conference: New Waves in System Architecture","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Web Service Composition Languages: Old Wine in New Bottles? In: Proceeding of the 29th EUROMICRO Conference: New Waves in System Architecture, pp. 298\u2013305. IEEE Computer Society, Los Alamitos (2003)"},{"key":"4_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management: Models, Methods, and Systems","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)"},{"issue":"1","key":"4_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distributed and Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"key":"4_CR6","series-title":"BETA Working Paper Series","volume-title":"Translating Workflow Nets to BPEL4WS","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., Lassen, K.B.: Translating Workflow Nets to BPEL4WS. BETA Working Paper Series. Eindhoven University of Technology, Eindhoven (2005)"},{"issue":"2","key":"4_CR7","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/S0169-023X(03)00066-1","volume":"47","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., van Dongen, B.F., Herbst, J., Maruster, L., Schimm, G., Weijters, A.J.M.M.: Workflow Mining: A Survey of Issues and Approaches. Data and Knowledge Engineering\u00a047(2), 237\u2013267 (2003)","journal-title":"Data and Knowledge Engineering"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11678564_11","volume-title":"Business Process Management Workshops","author":"M. Altenhofen","year":"2006","unstructured":"Altenhofen, M., Boerger, E., Lemcke, J.: An execution semantics for mediation patterns. In: Bussler, C.J., Haller, A. (eds.) BPM 2005. LNCS, vol.\u00a03812. Springer, Heidelberg (2006)"},{"key":"4_CR9","unstructured":"Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services, Version 1.1. Standards proposal by BEA Systems, International Business Machines Corporation, and Microsoft Corporation (2003)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Barros, A., Dumas, M., ter Hofstede, A.H.M.: Service Interaction Patterns: Towards a Reference Framework for Service-based Business Process Interconnection. QUT Technical report, FIT-TR-2005-012, Queensland University of Technology, Brisbane (To appear in BPM (2005)","DOI":"10.1007\/11538394_20"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/11431855_29","volume-title":"Advanced Information Systems Engineering","author":"B. Benatallah","year":"2005","unstructured":"Benatallah, B., Casati, F., Grigori, D., Motahari-Nezhad, H., Toumani, F.: Developing Adapters for Web Services Integration. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 415\u2013429. Springer, Heidelberg (2005)"},{"key":"4_CR12","unstructured":"Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL) 1.1 (2001), http:\/\/www.w3.org\/TR\/wsdl"},{"key":"4_CR13","doi-asserted-by":"publisher","DOI":"10.1002\/0471741442","volume-title":"Process-Aware Information Systems","author":"M. Dumas","year":"2005","unstructured":"Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Process-Aware Information Systems. Wiley, Chichester (2005)"},{"key":"4_CR14","unstructured":"Dustdar, S., Gombotz, R., Baina, K.: Web Services Interaction Mining. Technical Report TUV-1841-2004-16, Information Systems Institute, Vienna University of Technology, Wien, Austria (2004)"},{"key":"4_CR15","first-page":"225","volume-title":"Proceedings of the Conference on Simulation, Measurement and Modeling of Computer Systems","author":"C.A. Ellis","year":"1979","unstructured":"Ellis, C.A.: Information Control Nets: A Mathematical Model of Office Information Flow. In: Proceedings of the Conference on Simulation, Measurement and Modeling of Computer Systems, Boulder, Colorado, pp. 225\u2013240. ACM Press, New York (1979)"},{"key":"4_CR16","unstructured":"Fahland, D., Reisig, W.: ASM-based semantics for BPEL: The negative control flow. In: Proc. 12th International Workshop on Abstract State Machines, Paris, France, pp. 131\u2013151 (2005)"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","first-page":"79","volume-title":"Abstract State Machines 2004. Advances in Theory and Practice","author":"R. Farahbod","year":"2004","unstructured":"Farahbod, R., Gl\u00e4sser, U., Vajihollahi, M.: Specification and validation of the business process execution language for web services. In: Zimmermann, W., Thalheim, B. (eds.) ASM 2004. LNCS, vol.\u00a03052, pp. 79\u201394. Springer, Heidelberg (2004)"},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1145\/1035167.1035202","volume-title":"Proceedings of the 2nd international conference on Service oriented computing","author":"A. Ferrara","year":"2004","unstructured":"Ferrara, A.: Web services: A process algebra approach. In: Proceedings of the 2nd international conference on Service oriented computing, pp. 242\u2013251. ACM Press, New York (2004)"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-540-30077-9_8","volume-title":"E-Commerce and Web Technologies","author":"J.A. Fisteus","year":"2004","unstructured":"Fisteus, J.A., Fern\u00e1ndez, L.S., Kloos, C.D.: Formal verification of BPEL4WS business collaborations. In: Bauknecht, K., Bichler, M., Pr\u00f6ll, B. (eds.) EC-Web 2004. LNCS, vol.\u00a03182, pp. 79\u201394. Springer, Heidelberg (2004)"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based Verification of Web Service Composition. In: Proceedings of 18th IEEE International Conference on Automated Software Engineering (ASE), Montreal, Canada, October 2003, pp. 152\u2013161 (2003)","DOI":"10.1109\/ASE.2003.1240303"},{"key":"4_CR21","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1145\/988672.988756","volume-title":"International World Wide Web Conference: Proceedings of the 13th international conference on World Wide Web","author":"X. Fu","year":"2004","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: International World Wide Web Conference: Proceedings of the 13th international conference on World Wide Web, pp. 621\u2013630. ACM Press, New York (2004)"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-540-30468-5_3","volume-title":"On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE","author":"W. Gaaloul","year":"2004","unstructured":"Gaaloul, W., Bhiri, S., Godart, C.: Discovering Workflow Transactional Behavior from Event-Based Log. In: Meersman, R., Tari, Z. (eds.) OTM 2004. LNCS, vol.\u00a03290, pp. 3\u201318. Springer, Heidelberg (2004)"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1109\/ASE.2001.989841","volume-title":"Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001)","author":"D. Giannakopoulou","year":"2001","unstructured":"Giannakopoulou, D., Havelund, K.: Automata-Based Verification of Temporal Properties on Running Programs. In: Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), pp. 412\u2013416. IEEE Computer Society Press, Providence (2001)"},{"key":"4_CR24","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1109\/ASE.2001.989799","volume-title":"Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001)","author":"K. Havelund","year":"2001","unstructured":"Havelund, K., Rosu, G.: Monitoring Programs Using Rewriting. In: Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), pp. 135\u2013143. IEEE Computer Society Press, Providence (2001)"},{"key":"4_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/3-540-46002-0_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K. Havelund","year":"2002","unstructured":"Havelund, K., Rosu, G.: Synthesizing Monitors for Safety Properties. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 342\u2013356. Springer, Heidelberg (2002)"},{"key":"4_CR26","volume-title":"Enterprise Integration Patterns","author":"G. Hohpe","year":"2003","unstructured":"Hohpe, G., Woolf, B.: Enterprise Integration Patterns. Addison-Wesley Professional, Reading (2003)"},{"key":"4_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/BFb0016217","volume-title":"Advances in Petri Nets 1985","author":"A.W. Holt","year":"1986","unstructured":"Holt, A.W.: Coordination Technology and Petri Nets. In: Rozenberg, G. (ed.) APN 1985. LNCS, vol.\u00a0222, pp. 278\u2013296. Springer, Heidelberg (1986)"},{"key":"4_CR28","volume-title":"Proceedings of the Fifth IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)","author":"H.W. Schmidt","year":"2002","unstructured":"Schmidt, H.W., Reussner, R.H.: Generating adapters for concurrent component protocol synchronisation. In: Proceedings of the Fifth IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Enschede, The Netherlands, March 2002. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"4_CR29","unstructured":"Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y.: Web Services Choreography Description Language, Version 1.0. W3C Working Draft 17-12-04 (2004)"},{"key":"4_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-540-30468-5_10","volume-title":"On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE","author":"J. Koehler","year":"2004","unstructured":"Koehler, J., Hauser, R.: Untangling Unstructured Cyclic Flows A Solution Based on Continuations. In: Meersman, R., Tari, Z. (eds.) OTM 2004. LNCS, vol.\u00a03290, pp. 121\u2013138. Springer, Heidelberg (2004)"},{"key":"4_CR31","unstructured":"Koshkina, M., van Breugel, F.: Verification of Business Processes for Web Services. Technical report CS-2003-11, York University (October 2003), Available from, http:\/\/www.cs.yorku.ca\/techreports\/2003\/"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Leymann, F.: Web Services Flow Language, Version 1.0 (2001)","DOI":"10.1007\/3-540-45752-6_1"},{"key":"4_CR33","volume-title":"Production Workflow: Concepts and Techniques","author":"F. Leymann","year":"1999","unstructured":"Leymann, F., Roller, D.: Production Workflow: Concepts and Techniques. Prentice-Hall PTR, Upper Saddle River (1999)"},{"key":"4_CR34","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Z. Manna","year":"1991","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, New York (1991)"},{"key":"4_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-31984-9_3","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Martens","year":"2005","unstructured":"Martens, A.: Analyzing Web Service Based Business Processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 19\u201333. Springer, Heidelberg (2005)"},{"key":"4_CR36","volume-title":"Communicating and Mobile Systems: The Pi-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"4_CR37","volume-title":"Workflow-based Process Controlling: Foundation, Design and Application of workflow-driven Process Information Systems","author":"M.Z. Muehelen","year":"2004","unstructured":"Muehelen, M.Z.: Workflow-based Process Controlling: Foundation, Design and Application of workflow-driven Process Information Systems. Logos, Berlin (2004)"},{"key":"4_CR38","series-title":"BETA Working Paper Series, WP 139","volume-title":"Patterns in Colored Petri Nets","author":"N.A. Mulyar","year":"2005","unstructured":"Mulyar, N.A., van der Aalst, W.M.P.: Patterns in Colored Petri Nets. BETA Working Paper Series, WP 139. Eindhoven University of Technology, Eindhoven (2005)"},{"key":"4_CR39","unstructured":"Ouyang, C., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M., Verbeek, H.M.W.: Formal Semantics and Analysis of Control Flow in WS-BPEL. BPM Center Report BPM-05-13, BPMcenter.org (2005)"},{"key":"4_CR40","first-page":"46","volume-title":"Proceedings of the 18th IEEE Annual Symposium on the Foundations of Computer Science","author":"A. Pnueli","year":"1977","unstructured":"Pnueli, A.: The Temporal Logic of Programs. In: Proceedings of the 18th IEEE Annual Symposium on the Foundations of Computer Science, pp. 46\u201357. IEEE Computer Society Press, Providence (1977)"},{"key":"4_CR41","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Petri Nets I: Basic Models","year":"1998","unstructured":"Reisig, W., Rozenberg, G. (eds.): APN 1998. LNCS, vol.\u00a01491. Springer, Heidelberg (1998)"},{"key":"4_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/11431855_16","volume-title":"Advanced Information Systems Engineering","author":"N. Russell","year":"2005","unstructured":"Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Workflow resource patterns: Identification, representation and tool support. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 216\u2013232. Springer, Heidelberg (2005)"},{"key":"4_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/11568322_23","volume-title":"Conceptual Modeling \u2013 ER 2005","author":"N. Russell","year":"2005","unstructured":"Russell, N., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Workflow Data Patterns: Identification, Representation and Tool Support. In: Delcambre, L.M.L., Kop, C., Mayr, H.C., Mylopoulos, J., Pastor, \u00d3. (eds.) ER 2005. LNCS, vol.\u00a03716, pp. 353\u2013368. Springer, Heidelberg (2005)"},{"key":"4_CR44","unstructured":"Stahl, C.: Transformation von BPEL4WS in Petrinetze. Master\u2019s thesis, Humboldt University, Berlin, Germany (2004) (in German)"},{"key":"4_CR45","unstructured":"Thatte, S.: XLANG Web Services for Business Process Design (2001)"},{"issue":"3","key":"4_CR46","first-page":"1","volume":"3","author":"S. White","year":"2005","unstructured":"White, S.: Using BPMN to Model a BPEL Process. BPTrends\u00a03(3), 1\u201318 (2005)","journal-title":"BPTrends"},{"key":"4_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-39648-2_18","volume-title":"Conceptual Modeling - ER 2003","author":"P. Wohed","year":"2003","unstructured":"Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Analysis of Web Services Composition Languages: The Case of BPEL4WS. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol.\u00a02813, pp. 200\u2013215. Springer, Heidelberg (2003)"},{"key":"4_CR48","unstructured":"Zisman, M.D.: Representation, Specification and Automation of Office Procedures. PhD thesis, University of Pennsylvania, Warton School of Business (1977)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Computer Systems and Business Processes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11549970_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T12:35:34Z","timestamp":1736080534000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11549970_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540287018","9783540319030"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/11549970_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}