{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:18:35Z","timestamp":1725675515068},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642298332"},{"type":"electronic","value":"9783642298349"}],"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-29834-9_7","type":"book-chapter","created":{"date-parts":[[2012,4,18]],"date-time":"2012-04-18T05:48:22Z","timestamp":1334728102000},"page":"79-94","source":"Crossref","is-referenced-by-count":2,"title":["An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework"],"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":"Gregorio","family":"D\u00edaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Andrews, T., et al.: BPEL4WS \u2013 Business Process Execution Language for Web Services, Version 1.1 (2003), \n                  \n                    http:\/\/www.ibm.com\/developerworks\/library\/specification\/ws-bpel\/"},{"key":"7_CR2","unstructured":"Banks, T.: Web Services Resource Framework (WSRF) - Primer. OASIS (2006)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-68265-3_2","volume-title":"Coordination Models and Languages","author":"L. Bettini","year":"2008","unstructured":"Bettini, L., De Nicola, R., Loreti, M.: Implementing Session Centered Calculi. In: Wang, A.H., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol.\u00a05052, pp. 17\u201332. Springer, Heidelberg (2008)"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-642-20401-2_7","volume-title":"Rigorous Software Engineering for Service-Oriented Systems","author":"R. Bruni","year":"2011","unstructured":"Bruni, R., Foster, H., Lluch Lafuente, A., Montanari, U., Tuosto, E.: A Formal Support to Business and Architectural Design for Service-Oriented Systems. In: Wirsing, M., H\u00f6lzl, M. (eds.) SENSORIA. LNCS, vol.\u00a06582, pp. 133\u2013152. Springer, Heidelberg (2011)"},{"key":"7_CR5","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.\u00a03826, pp. 228\u2013240. Springer, Heidelberg (2005)"},{"key":"7_CR6","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), \n                  \n                    http:\/\/www.globus.org\/wsrf\/specs\/ws-wsrf.pdf"},{"key":"7_CR7","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 - The \u03c0-Calculus Way. In: Laneve, C., Su, J. (eds.) WS-FM 2009. LNCS, vol.\u00a06194, pp. 92\u2013109. Springer, Heidelberg (2010)"},{"key":"7_CR8","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.\u00a04937, pp. 77\u201391. Springer, Heidelberg (2008)"},{"key":"7_CR9","unstructured":"Ezenwoye, O., Sadjadi, S.M., Cary, A., Robinson, M.: Orchestrating WSRF-based GridServices. Technical Report FIU-SCIS-2007-04-01 (2007)"},{"key":"7_CR10","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":"7_CR11","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":"7_CR12","doi-asserted-by":"crossref","unstructured":"Kitchin, D., Quark, A., Cook, W., Misra, J.: The Orc Programming Language. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS\/FORTE 2009. LNCS, vol.\u00a05522, pp. 1\u201325. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-02138-1_1"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-540-68265-3_13","volume-title":"Coordination Models and Languages","author":"A. Lapadula","year":"2008","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A Formal Account of WS-BPEL. In: Wang, A.H., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol.\u00a05052, pp. 199\u2013215. Springer, Heidelberg (2008)"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-71316-6_4","volume-title":"Programming Languages and Systems","author":"A. Lapadula","year":"2007","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A Calculus for Orchestration of Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 33\u201347. Springer, Heidelberg (2007)"},{"issue":"10","key":"7_CR15","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. Journal of Concurrency and Computation: Practice & Experience\u00a018(10), 1201\u20131217 (2006)","journal-title":"Journal of Concurrency and Computation : Practice & Experience"},{"issue":"1","key":"7_CR16","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1504\/IJBPIM.2009.026986","volume":"4","author":"N. Lohmann","year":"2009","unstructured":"Lohmann, N., Verbeek, E., Ouyang, C., Stahl, C.: Comparing and Evaluating Petri Net Semantics for BPEL. Journal of Business Process Integration and Management\u00a04(1), 60\u201373 (2009)","journal-title":"Journal of Business Process Integration and Management"},{"issue":"1","key":"7_CR17","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1016\/j.jlap.2006.05.007","volume":"70","author":"R. Lucchi","year":"2007","unstructured":"Lucchi, R., Mazzara, M.: A Pi-calculus Based Semantics for WS-BPEL. Journal of Logic and Algebraic Programming\u00a070(1), 96\u2013118 (2007)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"2-3","key":"7_CR18","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. Science of Computing Programming\u00a067(2-3), 162\u2013198 (2007)","journal-title":"Science of Computing Programming"},{"key":"7_CR19","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., 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.\u00a03582, pp. 350\u2013365. Springer, Heidelberg (2005)"},{"key":"7_CR20","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. Journal of Concurrency and Computation: Practice & Experience\u00a018, 1229\u20131241 (2006)","journal-title":"Journal of Concurrency and Computation : Practice & Experience"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","volume-title":"Rigorous Software Engineering for Service-Oriented Systems","year":"2011","unstructured":"Wirsing, M., H\u00f6lzl, M. (eds.): SENSORIA. LNCS, vol.\u00a06582. Springer, Heidelberg (2011)"},{"key":"7_CR22","unstructured":"Web Services Choreography Description Language Version 1.0 (WS-CDL), \n                  \n                    http:\/\/www.w3.org\/TR\/ws-cdl-10\/"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29834-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T00:38:03Z","timestamp":1558312683000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29834-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642298332","9783642298349"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29834-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}