{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T17:48:21Z","timestamp":1772041701044,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540881933","type":"print"},{"value":"9783540881940","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88194-0_22","type":"book-chapter","created":{"date-parts":[[2008,10,17]],"date-time":"2008-10-17T10:56:21Z","timestamp":1224240981000},"page":"355-374","source":"Crossref","is-referenced-by-count":95,"title":["A Process Semantics for BPMN"],"prefix":"10.1007","author":[{"given":"Peter Y. H.","family":"Wong","sequence":"first","affiliation":[]},{"given":"Jeremy","family":"Gibbons","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Bolton, C., Davies, J.: Activity graphs and processes. In: Proceedings of the Second International Conference on Integrated Formal Methods, pp. 77\u201396 (2000)","DOI":"10.1007\/3-540-40911-4_6"},{"key":"22_CR2","unstructured":"Business Process Execution Language for Web Services, Version 1.1 (May 2003), http:\/\/www.ibm.com\/developerworks\/library\/ws-bpel"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Communicating Sequential Processes. The First 25 Years","author":"M. Butler","year":"2005","unstructured":"Butler, M., Hoare, T., Ferreira, C.: A trace semantics for long-running transactions. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol.\u00a03525. Springer, Heidelberg (2005)"},{"key":"22_CR4","unstructured":"Dijkman, R.M.: Choreography-Based Design of Business Collaborations. BETA Working Paper WP-181, Eindhoven University of Technology (2006)"},{"key":"22_CR5","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and automated analysis of BPMN process models. Technical Report Preprint 5969, Queensland University of Technology (2007)"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Property Specification Patterns for Finite-state Verification. In: 2nd Workshop on Formal Methods in Software Practice (1998)","DOI":"10.1145\/298595.298598"},{"key":"22_CR7","unstructured":"Formal Systems (Europe) Ltd. Failures-Divergences Refinement, FDR2 User Manual (1998), www.fsel.com"},{"key":"22_CR8","unstructured":"Foster, H.: Mapping BPEL4WS to FSP. Technical report, Imperial College, London (2003)"},{"key":"22_CR9","unstructured":"ILOG JViews BPMN Modeler, http:\/\/www.ilog.com\/"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"J. C\u00e1mara","year":"2005","unstructured":"C\u00e1mara, J., Canal, C., Cubo, J., Vallecillo, A.: Formalizing WSBPEL Business Processes using Process Algebra. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.\u00a03653. Springer, Heidelberg (2005)"},{"key":"22_CR11","unstructured":"Koshkina, M.: Verification of business processes for web services. Master\u2019s thesis, York University, Toronto (October 2003)"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Lucchi, R., Mazzara, M.: A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming\u00a070(1) (January 2007)","DOI":"10.1016\/j.jlap.2006.05.007"},{"key":"22_CR13","unstructured":"OMG. Business Process Modeling Notation (BPMN) Specification (February 2006), www.bpmn.org"},{"key":"22_CR14","unstructured":"Ouyang, C., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Translating BPMN to BPEL. Technical Report BPM-06-02, BPM Center (2006)"},{"key":"22_CR15","unstructured":"Recker, J., Mendling, J.: On the Translation between BPMN and BPEL: Conceptual Mismatch between Process Modeling Languages. In: Proceedings 18th International Conference on Advanced Information Systems Engineering, pp. 521\u2013532 (2006)"},{"key":"22_CR16","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"22_CR17","unstructured":"W3C. Web Service Choreography Interface (WSCI) 1.0 (November 2002), http:\/\/www.w3.org\/TR\/wsci"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Wong, P.Y.H., Gibbons, J.: A Process Semantics for BPMN (extended version) (2007), www.comlab.ox.ac.uk\/peter.wong\/pub\/bpmnsem.pdf","DOI":"10.1007\/978-3-540-88194-0_22"},{"key":"22_CR19","unstructured":"Woodcock, J.C.P., Davies, J.: Using Z: Specification, Proof and Refinement. Prentice Hall International Series in Computer Science (1996)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88194-0_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T15:08:07Z","timestamp":1557846487000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88194-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540881933","9783540881940"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88194-0_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}