{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,8]],"date-time":"2025-02-08T22:40:25Z","timestamp":1739054425928,"version":"3.37.0"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2009,3,1]],"date-time":"2009-03-01T00:00:00Z","timestamp":1235865600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. Technol."],"published-print":{"date-parts":[[2009,3]]},"DOI":"10.1007\/s11390-009-9220-9","type":"journal-article","created":{"date-parts":[[2009,4,8]],"date-time":"2009-04-08T18:56:37Z","timestamp":1239216997000},"page":"238-249","source":"Crossref","is-referenced-by-count":1,"title":["Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling"],"prefix":"10.1007","volume":"24","author":[{"given":"Chao","family":"Cai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zong-Yan","family":"Qiu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hong-Li","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiang-Peng","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,4,12]]},"reference":[{"issue":"8","key":"9220_CR1","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1002\/(SICI)1097-024X(19990710)29:8<677::AID-SPE251>3.0.CO;2-Z","volume":"29","author":"A F Zorzo","year":"1999","unstructured":"Zorzo A F, Romanovsky A B, Xu J, Randell B, Stroud R J, Welch I. Using coordinated atomic actions to design safety-critical systems: A production cell case study. Softw. Pract. Exper., 1999, 29(8): 677\u2013697.","journal-title":"Softw. Pract. Exper."},{"key":"9220_CR2","doi-asserted-by":"crossref","unstructured":"Capozucca A, Guelfi N, Pelliccione P. The Fault-Tolerant Insulin Pump Therapy. RODIN Book, Springer-Verlag, 2006, pp.59\u201379.","DOI":"10.1007\/11916246_3"},{"issue":"4","key":"9220_CR3","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1145\/506106.506109","volume":"34","author":"D M Beder","year":"2000","unstructured":"Beder D M, Romanovsky A B, Randell B, Snow C R, Stroud R J. An application of fault tolerance patterns and coordinated atomic actions to a problem in railway scheduling. SIGOPS Oper. Syst. Rev., October 2000, 34(4): 21\u201331.","journal-title":"SIGOPS Oper. Syst. Rev."},{"issue":"8","key":"9220_CR4","doi-asserted-by":"crossref","first-page":"811","DOI":"10.1109\/TSE.1986.6312984","volume":"12","author":"R H Campbell","year":"1986","unstructured":"Campbell R H, Randell B. Error recovery in asynchronous systems. IEEE Trans. Softw. Eng., August 1986, 12(8): 811\u2013826.","journal-title":"IEEE Trans. Softw. Eng."},{"key":"9220_CR5","unstructured":"Ban\u00e2tre J-P, Issarny V. Exception handling in communication sequential processes. Technical Report 660, INRIA-Rennes, IRISA, 1992."},{"issue":"10","key":"9220_CR6","first-page":"1019","volume":"PDS-11","author":"J Xu","year":"2000","unstructured":"Xu J, Romanovsky A B, Randell B. Concurrent exception handling and resolution in distributed object systems. IEEE Trans. Parallel and Distributed Systems, October 2000, PDS-11(10): 1019\u20131032.","journal-title":"IEEE Trans. Parallel and Distributed Systems"},{"issue":"2","key":"9220_CR7","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1109\/12.980006","volume":"51","author":"J Xu","year":"2002","unstructured":"Xu J, Randell B, Romanovsky A B, Stroud R J, Zorzo A F, Canver E, von Henke F W. Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions. IEEE Trans. Computers, 2002, 51(2): 164\u2013179.","journal-title":"IEEE Trans. Computers"},{"key":"9220_CR8","unstructured":"Vachon J, Buchs D, Buffo M, Marzo G D, Randell S B, Romanovsky S, Stroud R, Xu J. Coala \u2014 A formal language for coordinated atomic actions. Technical Report, third year report, ESPRIT Long Term Research Project 20072 on Design for Validation, 1998."},{"key":"9220_CR9","doi-asserted-by":"crossref","unstructured":"Issarny V. Concurrent exception handling. In Proc. Advances in Exception Handling Techniques, 2001, LNCS 2022, Springer-Verlag, pp.111\u2013127.","DOI":"10.1007\/3-540-45407-1_7"},{"key":"9220_CR10","doi-asserted-by":"crossref","unstructured":"Hoare C A R. Communicating Sequential Processes. Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"issue":"12","key":"9220_CR11","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1145\/361227.361230","volume":"18","author":"J B Goodenough","year":"1975","unstructured":"Goodenough J B. Exception handling: Issues and a proposed notation. Communications of ACM, December 1975, 18(12): 683\u2013696.","journal-title":"Communications of ACM"},{"key":"9220_CR12","unstructured":"Xu J, Randell B, Romanovsky A B, Rubira C M F, Stroud R J, Wu Z. Fault tolerance in concurrent object-oriented software through coordinated error recovery. In Proc. the 25th Int. Symp. Fault-Tolerant Computing, Pasadena, CA, USA, June 27\u201330, 1995, pp.499\u2013509."},{"key":"9220_CR13","doi-asserted-by":"crossref","unstructured":"Qiu Z, Zhao X, Cai C, Yang H. Towards the theoretical foundation of choreography. In Proc. WWW 2007, Banff, Canada, May 8\u201312, 2007, pp.973\u2013982.","DOI":"10.1145\/1242572.1242704"},{"key":"9220_CR14","unstructured":"Cai C, Qiu Z, Yang H, Zhao X. Coordinated exception handling in Web service. Technical Report, Institute of Mathematics, Peking University, 2007. Available as Preprint 2007\u201323, http:\/\/www.math.pku.edu.cn:8000\/en\/preindex.php ."},{"key":"9220_CR15","doi-asserted-by":"crossref","unstructured":"Zhang L, Krintz C, Nagpurkar P. Supporting exception handling for futures in Java. In Proc. the 5th Int. Symp. Principles and Practice of Programming in Java, Lisboa, Portugal, ACM International Conference Proceeding Series, Vol. 272, 2007, pp.175\u2013184.","DOI":"10.1145\/1294325.1294349"},{"issue":"2","key":"9220_CR16","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1109\/TSE.1975.6312842","volume":"SE\u20131","author":"B Randell","year":"1975","unstructured":"Randell B. System structure for software fault tolerance. IEEE Trans. Soft. Eng., 1975, SE\u20131(2): 220\u2013232.","journal-title":"IEEE Trans. Soft. Eng."},{"key":"9220_CR17","doi-asserted-by":"crossref","unstructured":"Romanovsky A. Looking ahead in atomic actions with exception handling. In Proc. the 20th Symposium on Reliable Distributed Systems, New Orleans, USA, IEEE Computer Society, Oct. 28\u201331, 2001, pp.142\u2013151.","DOI":"10.1109\/RELDIS.2001.969768"},{"key":"9220_CR18","doi-asserted-by":"crossref","unstructured":"Xu J, Romanovsky A B, Randell B. Coordinated exception handling in distributed object systems: From model to system implementation. In Proc. 18th Int. Conf. Distributed Computing Systems, Amsterdam, The Netherlands, May 29, 1998, pp.12\u201321.","DOI":"10.1109\/ICDCS.1998.679465"},{"key":"9220_CR19","doi-asserted-by":"crossref","unstructured":"Romanovsky A, Kienzle J. Action-oriented exception handling in cooperative and competitive concurrent object-oriented systems. In Proc. Advances in Exception Handling Techniques, LNCS 2022, Springer, 2001, pp.147\u2013164.","DOI":"10.1007\/3-540-45407-1_9"},{"issue":"9","key":"9220_CR20","doi-asserted-by":"crossref","first-page":"817","DOI":"10.1109\/TSE.2000.877843","volume":"26","author":"D E Perry","year":"2000","unstructured":"Perry D E, Romanovsky A, Tripathi A. Current trends in exception handling. IEEE Trans. Softw. Eng., 2000, 26(9): 817\u2013819.","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"10","key":"9220_CR21","doi-asserted-by":"crossref","first-page":"943","DOI":"10.1109\/32.879818","volume":"26","author":"C Hagen","year":"2000","unstructured":"Hagen C, Alonso G. Exception handling in workflow management systems. IEEE Trans. Softw. Eng., 2000, 26(10): 943\u2013958.","journal-title":"IEEE Trans. Softw. Eng."},{"key":"9220_CR22","doi-asserted-by":"crossref","unstructured":"Tartanoglu F, Issarny V, Romanovsky A B, L\u00e9vy N. Coordinated forward error recovery for composite Web services. In Proc. the 22nd Symposium on Reliable Distributed Systems, Florence, Italy, Oct. 6\u20138, 2003, pp.167\u2013176.","DOI":"10.1109\/RELDIS.2003.1238066"},{"key":"9220_CR23","doi-asserted-by":"crossref","unstructured":"Filho F C, Romanovsky A, Rubira C M F. Verification of coordinated exception handling. In Proc. SAC 2006, Dijon, France, April 23\u201327, 2006, pp.680\u2013685.","DOI":"10.1145\/1141277.1141434"},{"key":"9220_CR24","unstructured":"Carbone M, Honda K, Yoshida N, Milner R. A theoretical basis of communication-centred concurrent programming. Technical Report, W3C., 2006, Available at http:\/\/www.w3.org\/2002\/ws\/chor\/edcopies\/theory\/note.pdf ."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-009-9220-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11390-009-9220-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-009-9220-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,8]],"date-time":"2025-02-08T22:24:20Z","timestamp":1739053460000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11390-009-9220-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,3]]}},"alternative-id":["9220"],"URL":"https:\/\/doi.org\/10.1007\/s11390-009-9220-9","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"type":"print","value":"1000-9000"},{"type":"electronic","value":"1860-4749"}],"subject":[],"published":{"date-parts":[[2009,3]]}}}