{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T04:10:23Z","timestamp":1744258223334,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642281075"},{"type":"electronic","value":"9783642281082"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28108-2_29","type":"book-chapter","created":{"date-parts":[[2012,1,24]],"date-time":"2012-01-24T16:07:43Z","timestamp":1327421263000},"page":"293-305","source":"Crossref","is-referenced-by-count":6,"title":["A Verification Method for Collaborative Business Processes"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Roa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Omar","family":"Chiotti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pablo","family":"Villarreal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"Villarreal, P., Salomone, H., Chiotti, O.: Modeling and specifications of collaborative business processes using a MDA approach and a UML profile. In: Enterprise Modeling and Computing with UML, pp. 13\u201345. Idea Group Inc. (2007)","DOI":"10.4018\/978-1-59904-174-2.ch002"},{"key":"29_CR2","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/978-3-642-12186-9_30","volume-title":"Business Process Management Workshops","author":"P.D. Villarreal","year":"2010","unstructured":"Villarreal, P.D., Lazarte, I., Roa, J., Chiotti, O.: A Modeling Approach for Collaborative Business Processes Based on the UP-ColBPIP Language. In: Rinderle-Ma, S., Sadiq, S., Leymann, F. (eds.) BPM 2009. LNBIP, vol.\u00a043, pp. 318\u2013329. Springer, Heidelberg (2010)"},{"key":"29_CR3","unstructured":"OMG, BPMN 2.0: \n                      http:\/\/www.omg.org\/spec\/BPMN\/2.0\/"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"Huemer, C., Liegl, P., Motal, T., Schuster, R., Zapletal, M.: The development process of the UN\/CEFACT modeling methodology. In: ICEC, pp. 1\u201310. ACM (2008)","DOI":"10.1145\/1409540.1409589"},{"key":"29_CR5","first-page":"262","volume-title":"Proc. of the ACSD","author":"W.M.P. van der Aalst","year":"1998","unstructured":"van der Aalst, W.M.P.: Modeling and analyzing interorganizational workflows. In: Proc. of the ACSD, pp. 262\u2013272. IEEE Comp. Soc., Washington, DC (1998)"},{"key":"29_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-540-87405-8_2","volume-title":"Graph Transformations","author":"W.M. Aalst","year":"2008","unstructured":"Aalst, W.M.: Discovery, verification and conformance of workflows with cancellation. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 18\u201337. Springer, Heidelberg (2008)"},{"key":"29_CR7","unstructured":"van der Aalst, W., van Hee, K., ter Hofstede, A., Sidorova, N., Verbeek, H., Voorhoeve, M., Wynn, M.: Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects of Computing, 1\u201331 (2010)"},{"key":"29_CR8","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/s10796-009-9164-1","volume":"12","author":"A. Norta","year":"2010","unstructured":"Norta, A., Eshuis, R.: Specification and verification of harmonized business-process collaborations. Information Systems Frontiers\u00a012, 457\u2013479 (2010)","journal-title":"Information Systems Frontiers"},{"key":"29_CR9","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1142\/S0218843009002063","volume":"18","author":"M. Stuit","year":"2009","unstructured":"Stuit, M., Szirbik, N.: Towards Agent-Based Modeling and Verification of Collaborative Business Processes: an Approach Centered on Interactions and Behaviors. Int. Journal of Cooperative Information Systems (IJCIS)\u00a018, 423\u2013479 (2009)","journal-title":"Int. Journal of Cooperative Information Systems (IJCIS)"},{"key":"29_CR10","unstructured":"Breugel, F., Koshkina, M.: Models and Verification of BPEL, \n                      http:\/\/www.cse.yorku.ca\/~franck\/research\/drafts\/tutorial.pdf"},{"key":"29_CR11","doi-asserted-by":"crossref","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems, 1st edn. Springer Publishing Company, Incorporated Heidelberg (2009)","DOI":"10.1007\/b95112_1"},{"key":"29_CR12","unstructured":"Workflow Patterns: \n                      http:\/\/www.workflowpatterns.com"},{"key":"29_CR13","doi-asserted-by":"crossref","unstructured":"Lazarte, I., Tello-Leal, E., Roa, J., Chiotti, O., Villarreal, P.: Model-Driven Development Methodology for B2B Collaborations. In: EDOCW, pp. 69\u201378. IEEE (2010)","DOI":"10.1109\/EDOCW.2010.21"},{"key":"29_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-74974-5_4","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"J. Vanhatalo","year":"2007","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Leymann, F.: Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 43\u201355. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28108-2_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T06:33:22Z","timestamp":1744180402000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-28108-2_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642281075","9783642281082"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28108-2_29","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2012]]}}}