{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T04:25:17Z","timestamp":1743827117619,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642173578"},{"type":"electronic","value":"9783642173585"}],"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-31875-7_22","type":"book-chapter","created":{"date-parts":[[2012,7,19]],"date-time":"2012-07-19T17:51:09Z","timestamp":1342720269000},"page":"195-200","source":"Crossref","is-referenced-by-count":1,"title":["Model Checking Inconsistency Recovery Costs"],"prefix":"10.1007","author":[{"given":"Gang","family":"Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-642-00596-1_25","volume-title":"Foundations of Software Science and Computational Structures","author":"P.A. Abdulla","year":"2009","unstructured":"Abdulla, P.A., Mayr, R.: Minimal Cost Reachability\/Coverability in Priced Timed Petri Nets. In: de Alfaro, L. (ed.) FOSSACS 2009. LNCS, vol.\u00a05504, pp. 348\u2013363. Springer, Heidelberg (2009)"},{"key":"22_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/11767589_5","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"B. Acu","year":"2006","unstructured":"Acu, B., Reisig, W.: Compensation in Workflow Nets. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol.\u00a04024, pp. 65\u201383. Springer, Heidelberg (2006)"},{"issue":"2","key":"22_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., et al.: A theory of timed automata. Theoretical Computer Science\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"22_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/3-540-45351-2_8","volume-title":"Hybrid Systems: Computation and Control","author":"R. Alur","year":"2001","unstructured":"Alur, R., La Torre, S., Pappas, G.J.: Optimal Paths in Weighted Timed Automata. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 49\u201362. Springer, Heidelberg (2001)"},{"key":"22_CR5","unstructured":"Andrews, T., et al.: Business process execution language for web services, version 1.1. Standards proposal by BEA Systems, International Business Machines Corporation, and Microsoft Corporation (2003)"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Beyer, D., Chakrabarti, A., Henzinger, T.A.: Web service interfaces, pp. 148\u2013159 (2005)","DOI":"10.1145\/1060745.1060770"},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/3-540-44919-1_31","volume-title":"Applications and Theory of Petri Nets 2003","author":"J. Billington","year":"2003","unstructured":"Billington, J., Christensen, S., van Hee, K.M., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M.: The Petri Net Markup Language: Concepts, Technology, and Tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 483\u2013505. Springer, Heidelberg (2003)"},{"key":"22_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-540-30581-1_7","volume-title":"Semantic Web Services and Web Process Composition","author":"D. Biswas","year":"2005","unstructured":"Biswas, D.: Compensation in the World of Web Services Composition. In: Cardoso, J., Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol.\u00a03387, pp. 69\u201380. Springer, Heidelberg (2005)"},{"key":"22_CR9","unstructured":"Bonet, P., et al.: PIPE v2. 5: A Petri net tool for performance modelling. In: Proc. 23rd Latin American Conference on Informatics (CLEI 2007). Citeseer (2007)"},{"key":"22_CR10","unstructured":"Bunting, D., et al.: Web Services Composite Application Framework (WS-CAF). Ver1. 0 (2003)"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Butler, M., Ferreira, C.: A process compensation language, pp. 61\u201376 (2000)","DOI":"10.1007\/3-540-40911-4_5"},{"key":"22_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/11423348_8","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.) CSP25. LNCS, vol.\u00a03525, pp. 133\u2013150. Springer, Heidelberg (2005)"},{"key":"22_CR13","unstructured":"Cabrera, F., Copeland, G., Cox, B., Freund, T., Klein, J., Storey, T., Thatte, S.: Web services transaction (WS-transaction). In: Microsoft, IBM etc (2002)"},{"issue":"7-8","key":"22_CR14","doi-asserted-by":"publisher","first-page":"684","DOI":"10.1016\/j.infsof.2007.07.001","volume":"50","author":"S. Choi","year":"2008","unstructured":"Choi, S., et al.: A framework for ensuring consistency of Web Services Transactions. Information and Software Technology\u00a050(7-8), 684\u2013696 (2008)","journal-title":"Information and Software Technology"},{"key":"22_CR15","unstructured":"Coleman, J.: Examining BPEL\u2019s compensation construct. In: Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), p. 122 (2005)"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Fischer, J., Majumdar, R.: Ensuring consistency in long running transactions. In: Proceedings of the Twenty-Second IEEE\/ACM International Conference on Automated Software Engineering, pp. 54\u201363. ACM (2007)","DOI":"10.1145\/1321631.1321642"},{"issue":"3","key":"22_CR17","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1145\/38714.38742","volume":"16","author":"H. Garcia-Molina","year":"1987","unstructured":"Garcia-Molina, H., Salem, K.: Sagas. ACM SIGMOD Record\u00a016(3), 249\u2013259 (1987)","journal-title":"ACM SIGMOD Record"},{"key":"22_CR18","unstructured":"Gray, J.: The transaction concept: Virtues and limitations. In: Proceedings of the Very Large Database Conference, pp. 144\u2013154. Citeseer (1981)"},{"key":"22_CR19","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1109\/EDOC.2003.1233852","volume-title":"Proceedings of the 7th International Conference on Enterprise Distributed Object Computing","author":"P. Greenfield","year":"2003","unstructured":"Greenfield, P., et al.: Compensation is not enough. In: Proceedings of the 7th International Conference on Enterprise Distributed Object Computing, p. 232. IEEE Computer Society, Washington, DC (2003)"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Holliday, M.A., et al.: A generalized timed Petri net model for performance analysis. IEEE Transactions on Software Engineering\u00a0(12), 1297\u20131310 (1987)","DOI":"10.1109\/TSE.1987.233141"},{"key":"22_CR21","unstructured":"Kramer, J., McGee, J.: Concurrency: State Models and Java Programs (1999)"},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"Li, J., Zhu, H., Pu, G., He, J.: Looking into compensable transactions. In: 31st IEEE Software Engineering Workshop, SEW 2007, pp. 154\u2013166. IEEE (2007)","DOI":"10.1109\/SEW.2007.62"},{"key":"22_CR23","unstructured":"Lin, L., Liu, F.: Compensation with dependency in web services compositions. In: International Conference on Next Generation Web Services Practices, NWeSP 2005, pp. 183\u2013188. IEEE (2006)"},{"key":"22_CR24","doi-asserted-by":"crossref","unstructured":"Massuthe, P., Schmidt, K.: Operating guidelines-an automata-theoretic foundation for the service-oriented architecture. In: Fifth International Conference on Quality Software (QSIC 2005), pp. 452\u2013457. IEEE (2005)","DOI":"10.1109\/QSIC.2005.47"},{"issue":"10","key":"22_CR25","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/944217.944233","volume":"46","author":"M.P. Papazoglou","year":"2003","unstructured":"Papazoglou, M.P., Georgakopoulos, D.: Service-oriented computing. Communications of the ACM\u00a046(10), 25\u201328 (2003)","journal-title":"Communications of the ACM"},{"key":"22_CR26","doi-asserted-by":"crossref","unstructured":"Pires, P.F., et al.: Webtransact: A framework for specifying and coordinating reliable web services compositions (2002)","DOI":"10.1007\/3-540-36560-5_5"},{"key":"22_CR27","unstructured":"Potts, M., et al.: Business Transaction Protocol Primer. OASIS Committee Supporting Document (2002)"},{"key":"22_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-02424-5_4","volume-title":"Applications and Theory of Petri Nets","author":"W. Reisig","year":"2009","unstructured":"Reisig, W.: Simple Composition of Nets. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol.\u00a05606, pp. 23\u201342. Springer, Heidelberg (2009)"},{"key":"22_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/3-540-60915-6_6","volume-title":"Logics for Concurrency","author":"M. Vardi","year":"1996","unstructured":"Vardi, M.: An Automata-Theoretic Approach to Linear Temporal Logic. In: Moller, F., Birtwistle, G. (eds.) Logics for Concurrency. LNCS, vol.\u00a01043, pp. 238\u2013266. Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31875-7_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,4]],"date-time":"2025-04-04T23:19:19Z","timestamp":1743808759000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31875-7_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642173578","9783642173585"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31875-7_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}