{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:25:51Z","timestamp":1742934351278,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319082592"},{"type":"electronic","value":"9783319082608"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-08260-8_10","type":"book-chapter","created":{"date-parts":[[2014,6,24]],"date-time":"2014-06-24T07:13:31Z","timestamp":1403594011000},"page":"168-187","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Operational Semantics for Model Checking Long Running Transactions"],"prefix":"10.1007","author":[{"given":"Hengbiao","family":"Yu","sequence":"first","affiliation":[]},{"given":"Zhenbang","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Ji","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,6,25]]},"reference":[{"key":"10_CR1","unstructured":"Alves, A., Arkin, A., Askary, S., Bloch, B., Curbera, F., Goland, Y., Kartha, N., Sterling, K\u00f6nig, D., Mehta, V., Thatte, S., van der Rijn, D., Yendluri, P., Yiu, A.: Web services business process execution language version 2.0. OASIS Committee Draft, May 2006"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-540-39958-2_9","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"L Bocchi","year":"2003","unstructured":"Bocchi, L., Laneve, C., Zavattaro, G.: A calculus for long-running transactions. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol. 2884, pp. 124\u2013138. Springer, Heidelberg (2003)"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Bruni, R., Melgratti, H.C., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: Proceedings of POPL 2005, pp. 209\u2013220. ACM Press (2005)","DOI":"10.1145\/1047659.1040323"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-24634-3_9","volume-title":"Coordination Models and Languages","author":"M Butler","year":"2004","unstructured":"Butler, M., Ferreira, C.: An operational semantics for StAC, a language for modelling long-running. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949, pp. 87\u2013104. Springer, Heidelberg (2004)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/11423348_8","volume-title":"Communicating Sequential Processes","author":"M Butler","year":"2005","unstructured":"Butler, M., Hoare, S.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. 3525, pp. 133\u2013150. Springer, Heidelberg (2005)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/11549970_18","volume-title":"Formal Techniques for Computer Systems and Business Processes","author":"M Butler","year":"2005","unstructured":"Butler, M., Ripon, S.: Executable semantics for compensating CSP. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW\/WS-EM 2005. LNCS, vol. 3670, pp. 243\u2013256. Springer, Heidelberg (2005)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-642-14808-8_9","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2010","author":"Z Chen","year":"2010","unstructured":"Chen, Z., Liu, Z.: An extended cCSP with stable failures semantics. In: Cavalcanti, A., Deharbe, D., Gaudel, M.-C., Woodcock, J. (eds.) ICTAC 2010. LNCS, vol. 6255, pp. 121\u2013136. Springer, Heidelberg (2010)"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-642-21437-0_21","volume-title":"FM 2011: Formal Methods","author":"Z Chen","year":"2011","unstructured":"Chen, Z., Liu, Z., Wang, J.: Failure-divergence refinement of compensating communicating processes. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol. 6664, pp. 262\u2013277. Springer, Heidelberg (2011)"},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.tcs.2012.04.040","volume":"455","author":"Z Chen","year":"2012","unstructured":"Chen, Z., Liu, Z., Wang, J.: Failure-divergence semantics and refinement of long running transactions. Theor. Comput. Sci. 455, 31\u201365 (2012)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-540-69738-1_2","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"M Emmi","year":"2007","unstructured":"Emmi, M., Majumdar, R.: Verifying compensating transactions. In: Cook, B., Podelski, A. (eds.) VMCAI 2007. LNCS, vol. 4349, pp. 29\u201343. Springer, Heidelberg (2007)"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Garcia-Molina, H., Salem, K.: SAGAS. In: Proceedings of SIGMOD 1987, pp. 249\u2013259. ACM Press (1987)","DOI":"10.1145\/38714.38742"},{"key":"10_CR12","volume-title":"Transaction Processing: Concepts and Techniques","author":"J Gray","year":"1993","unstructured":"Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Mateo (1993)"},{"issue":"2","key":"10_CR13","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1006\/inco.2001.3122","volume":"173","author":"A Kucera","year":"2002","unstructured":"Kucera, A., Mayr, R.: Simulation preorder over simple process algebras. Inf. Comput. 173(2), 184\u2013198 (2002)","journal-title":"Inf. Comput."},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/978-3-540-31982-5_18","volume-title":"Foundations of Software Science and Computational Structures","author":"C Laneve","year":"2005","unstructured":"Laneve, C., Zavattaro, G.: Foundations of web transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, pp. 282\u2013298. Springer, Heidelberg (2005)"},{"issue":"10","key":"10_CR15","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/944217.944237","volume":"46","author":"MC Little","year":"2003","unstructured":"Little, M.C.: Transactions and web services. Commun. ACM 46(10), 49\u201354 (2003)","journal-title":"Commun. ACM"},{"issue":"1\u20132","key":"10_CR16","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/S0304-3975(00)00306-6","volume":"274","author":"D Lugiez","year":"2002","unstructured":"Lugiez, D., Schnoebelen, P.: The regular viewpoint on PA-processes. Theor. Comput. Sci. 274(1\u20132), 89\u2013115 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR17","volume-title":"Computation: Finite and Infinite Machines","author":"ML Minsky","year":"1967","unstructured":"Minsky, M.L.: Computation: Finite and Infinite Machines. Prentice-Hall, Englewood Cliffs (1967)"},{"issue":"11","key":"10_CR18","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/MC.2007.400","volume":"40","author":"MP Papazoglou","year":"2007","unstructured":"Papazoglou, M.P., Traverso, P., Dustdar, S., Leymann, F.: Service-oriented computing: state of the art and research challenges. IEEE Comput. 40(11), 38\u201345 (2007)","journal-title":"IEEE Comput."},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Ramalingam, G., Vaswani, K.: Fault tolerance via idempotence. In: Proceedings of POPL 2013, pp. 249\u2013262. ACM Press (2013)","DOI":"10.1145\/2480359.2429100"},{"key":"10_CR20","volume-title":"The Theory and Practice of Concurrency","author":"AW Roscoe","year":"1997","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall PTR, Upper Saddle River (1997)"},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1007\/978-3-642-02658-4_59","volume-title":"Computer Aided Verification","author":"J Sun","year":"2009","unstructured":"Sun, J., Liu, Y., Dong, J.S., Pang, J.: PAT: towards flexible verification under fairness. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 709\u2013714. Springer, Heidelberg (2009)"},{"key":"10_CR22","unstructured":"Thatte, S.: XLANG web services for business process design (2001)"},{"issue":"5","key":"10_CR23","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1016\/j.jlap.2012.04.002","volume":"81","author":"C Vaz","year":"2012","unstructured":"Vaz, C., Ferreira, C.: On the analysis of compensation correctness. J. Log. Algebr. Program. 81(5), 585\u2013605 (2012)","journal-title":"J. Log. Algebr. Program."}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08260-8_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T05:17:31Z","timestamp":1676870251000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-08260-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319082592","9783319082608"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08260-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"25 June 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}