{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:13:02Z","timestamp":1743102782224,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319152004"},{"type":"electronic","value":"9783319152011"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-15201-1_26","type":"book-chapter","created":{"date-parts":[[2015,1,31]],"date-time":"2015-01-31T14:31:11Z","timestamp":1422714671000},"page":"389-404","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Antonio","family":"Mateo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valent\u00edn","family":"Valero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hermenegilda","family":"Maci\u00e0","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregorio","family":"D\u00edaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,2,1]]},"reference":[{"key":"26_CR1","unstructured":"Andrews, T., et al.: BPEL4WS - Business Process Execution Language for Web Services, Version 1.1 (2003). http:\/\/www.ibm.com\/developerworks\/library\/specification\/ws-bpel\/"},{"key":"26_CR2","unstructured":"Banks, T.: Web Services Resource Framework (WSRF) - Primer, OASIS (2006)"},{"key":"26_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/11596141_18","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"N Busi","year":"2005","unstructured":"Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration: a synergic approach for system design. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 228\u2013240. Springer, Heidelberg (2005)"},{"key":"26_CR4","unstructured":"CPNTools website. http:\/\/cpntools.org\/"},{"key":"26_CR5","unstructured":"Czajkowski, K., Ferguson, D., Foster, I., Frey, J., Graham, S., Sedukhin, I., Snelling, D., Tuecke, S., Vambenepe, W.: The WS-Resource Framework Version 1.0 (2004). http:\/\/www.globus.org\/wsrf\/specs\/ws-wsrf.pdf"},{"key":"26_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-14458-5_6","volume-title":"Web Services and Formal Methods","author":"N Dragoni","year":"2010","unstructured":"Dragoni, N., Mazzara, M.: A formal semantics for the WS-BPEL recovery framework. In: Laneve, C., Su, J. (eds.) WS-FM 2009. LNCS, vol. 6194, pp. 92\u2013109. Springer, Heidelberg (2010)"},{"key":"26_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-79230-7_6","volume-title":"Web Services and Formal Methods","author":"N Lohmann","year":"2008","unstructured":"Lohmann, N.: A feature-complete petri net semantics for WS-BPEL\u00a02.0. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 77\u201391. Springer, Heidelberg (2008)"},{"key":"26_CR8","unstructured":"Ezenwoye, O., Sadjadi, S.M., Cary, A., Robinson, M.: Orchestrating WSRF-based GridServices. Technical report FIU-SCIS-2007-04-01 (2007)"},{"key":"26_CR9","unstructured":"Farahbod, R., Gl\u00e4sser, U., Vajihollahi, M.; A formal semantics for the business process execution language for Web services. In: Joint Workshop on Web Services and Model-Driven Enterprise Information Services (WSMDEIS), pp. 122\u2013133 (2005)"},{"key":"26_CR10","unstructured":"Foster, I., Frey, J., Graham, S., Tuecke, S., Czajkowski, K., Ferguson, D., Leymann, F., Nally, M., Storey, T., Weerawaranna, S.: Modeling Stateful Resources with Web Services, Globus Alliance (2004)"},{"key":"26_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets - Modelling and Validation of Concurrent Systems","author":"K Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009)"},{"issue":"10","key":"26_CR12","doi-asserted-by":"publisher","first-page":"1201","DOI":"10.1002\/cpe.996","volume":"18","author":"F Leyman","year":"2006","unstructured":"Leyman, F.: Choreography for the grid: towards fitting BPEL to the resource framework. J. Concurrency Comput. Pract. Exp. 18(10), 1201\u20131217 (2006)","journal-title":"J. Concurrency Comput. Pract. Exp."},{"key":"26_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-642-29834-9_7","volume-title":"Web Services and Formal Methods","author":"JA Mateo","year":"2012","unstructured":"Mateo, J.A., Valero, V., D\u00edaz, G.: An operational semantics of BPEL orchestrations integrating Web services resource framework. In: Carbone, M., Petit, J.-M. (eds.) WS-FM 2011. LNCS, vol. 7176, pp. 79\u201394. Springer, Heidelberg (2012)"},{"issue":"2\u20133","key":"26_CR14","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.scico.2007.03.002","volume":"67","author":"C Ouyang","year":"2007","unstructured":"Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: Formal semantics and analysis of control flow in WS-BPEL. Sci. Comput. Program. 67(2\u20133), 162\u2013198 (2007)","journal-title":"Sci. Comput. Program."},{"key":"26_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/11526841_24","volume-title":"FM 2005: Formal Methods","author":"Z Qiu","year":"2005","unstructured":"Qiu, Z., Wang, S.-L., Pu, G., Zhao, X.: Semantics of BPEL4WS-like fault and compensation handling. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 350\u2013365. Springer, Heidelberg (2005)"},{"key":"26_CR16","doi-asserted-by":"publisher","first-page":"1229","DOI":"10.1002\/cpe.1004","volume":"18","author":"A Slomiski","year":"2006","unstructured":"Slomiski, A.: On using BPEL extensibility to implement OGSI and WSRF grid workflows. J. Concurrency Comput. Pract. Exp. 18, 1229\u20131241 (2006)","journal-title":"J. Concurrency Comput. Pract. Exp."}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15201-1_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T04:13:50Z","timestamp":1676434430000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-15201-1_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319152004","9783319152011"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15201-1_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"1 February 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}