{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,20]],"date-time":"2025-07-20T03:32:37Z","timestamp":1752982357023},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2008,5,8]],"date-time":"2008-05-08T00:00:00Z","timestamp":1210204800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SOCA"],"published-print":{"date-parts":[[2008,7]]},"DOI":"10.1007\/s11761-008-0026-3","type":"journal-article","created":{"date-parts":[[2008,5,7]],"date-time":"2008-05-07T16:45:42Z","timestamp":1210178742000},"page":"111-144","source":"Crossref","is-referenced-by-count":4,"title":["Analysis and framework-based design of a fault-tolerant web information system for m-health"],"prefix":"10.1007","volume":"2","author":[{"given":"Florencia","family":"Balbastro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfredo","family":"Capozucca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Guelfi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,5,8]]},"reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"Pelliccione P, Muccini H, Guelfi N, Romanovsky A (2007) Software engineering and fault tolerance. World Scientific, Series on Software Engineering and Knowledge Engineering (to appear)","DOI":"10.1142\/6362"},{"issue":"2","key":"26_CR2","doi-asserted-by":"crossref","first-page":"e20","DOI":"10.2196\/jmir.3.2.e20","volume":"3","author":"G Eysenbach","year":"2001","unstructured":"Eysenbach G (2001). What is e-health. J Med Internet Res 3(2): e20","journal-title":"J Med Internet Res"},{"key":"26_CR3","unstructured":"Randell B, Romanovsky A, Stroud RJ, Xu J, Zorzo AF (1997) Coordinated atomic actions: from concept to implementation. Technical Report 595"},{"issue":"2","key":"26_CR4","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1109\/12.980006","volume":"51","author":"J Xu","year":"2002","unstructured":"Xu J, Romanovsky A, Stroud RJ, Zorzo AF, Canver E and von Henke F (2002). Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions. IEEE Trans Comput 51(2): 164\u2013179","journal-title":"IEEE Trans Comput"},{"key":"26_CR5","unstructured":"Di Marzo Serugendo G, Guelfi N, Romanovsky A, Zorzo A (1999) Formal development and validation of Java dependable distributed systems. In: Proceedings of ICECCS\u201999. pp 98\u2013108"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Romanovsky A, Periorelli P, Zorzo A (2003) On structuring integrated web applications for fault tolerance. In: Proceedings of ISADS. pp 99\u2013106","DOI":"10.1109\/ISADS.2003.1193937"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"Capozucca A, Guelfi N, Pelliccione P, Romanovsky A, Zorzo A (2006) CAA-DRIP: a framework for implementing coordinated atomic actions. In: The 17th IEEE International symposium on software reliability engineering (ISSRE), IEEE Computer Society, pp 385\u2013394","DOI":"10.1109\/ISSRE.2006.18"},{"key":"26_CR8","unstructured":"National Institute for Health and Clinical Excellence (2003) Guidance on the use of continuous subcutaneous insulin infusion for diabetes. http:\/\/www.nice.org.uk (Technology Appraisal 57)"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"Capozucca A, Guelfi N, Pelliccione P (2006) The fault-tolerant insulin pump therapy. Rigorous engineering of fault-tolerant systems Lecture Notes in Computer Sciences, vol 4157. Springer, Berlin, pp 59\u201379","DOI":"10.1007\/11916246_3"},{"issue":"2","key":"26_CR10","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1109\/TSE.1975.6312842","volume":"SE-1","author":"B Randell","year":"1975","unstructured":"Randell B (1975). System structure for software fault tolerance. IEEE Trans Softw Eng SE-1(2): 220\u2013232","journal-title":"IEEE Trans Softw Eng"},{"key":"26_CR11","unstructured":"Gray J and Reuter A (1993). Transaction processing: concepts and techniques. Morgan Kaufmann"},{"issue":"10","key":"26_CR12","doi-asserted-by":"crossref","first-page":"1019","DOI":"10.1109\/71.888642","volume":"11","author":"J Xu","year":"2000","unstructured":"Xu J, Romanovsky A and Randell B (2000). Concurrent exception handling and resolution in distributed object systems. IEEE Trans Parallel Distrib Syst 11(10): 1019\u20131032","journal-title":"IEEE Trans Parallel Distrib Syst"},{"key":"26_CR13","unstructured":"Tartanoglu F, Levy N, Issarny V, Romanovsky A (2003) Using the B method for the formalization of coordinated atomic actions. In: Proc ICSE 2003 workshop on software architectures for dependable system)"},{"key":"26_CR14","unstructured":"Vachon J (2000) COALA : a design language for reliable distributed systems. PhD thesis, Swiss Federal Institute of Technology Lausanne Thesis no. 2302"},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"Biberstein O, Buchs D, Guelfi N (1997) CO-OPN\/2: a concurrent object-oriented formalism. In: Proc Second IFIP conf. on formal methods for open object-based distributed systems (FMOODS), Chapman and Hall, London, pp 57\u201372","DOI":"10.1007\/978-0-387-35261-9_5"},{"key":"26_CR16","volume-title":"Service-oriented architecture, concepts, technology, and design","author":"T Erl","year":"2006","unstructured":"Erl T (2006). Service-oriented architecture, concepts, technology and design. Prentice Hall, New Jersey"},{"key":"26_CR17","unstructured":"Java Technology. http:\/\/java.sun.com"},{"key":"26_CR18","unstructured":"Java ME Platform. http:\/\/java.sun.com\/javame\/"},{"key":"26_CR19","unstructured":"Sun Developer Network. http:\/\/developers.sun.com\/techtopics\/mobility\/overview.html"},{"key":"26_CR20","unstructured":"J2ME RMI Optional Package Specification v1.0. http:\/\/java.sun.com\/javame\/reference\/apis\/"},{"key":"26_CR21","doi-asserted-by":"crossref","unstructured":"Shui A, Mustafiz S, Kienzle J, Dony C (2005) Exceptional use cases. In: MoDELS, pp 568\u2013583","DOI":"10.1007\/11557432_43"},{"key":"26_CR22","doi-asserted-by":"crossref","unstructured":"Dijkstra EW (1982) On the role of scientific thought. In: Selected writings on computing: a personal perspective. Springer, Heidelberg, pp 60\u201366","DOI":"10.1007\/978-1-4612-5695-3_12"},{"issue":"12","key":"26_CR23","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"DL Parnas","year":"1972","unstructured":"Parnas DL (1972). On the criteria to be used in decomposing systems into modules. Commun ACM 15(12): 1053\u20131058","journal-title":"Commun ACM"},{"key":"26_CR24","unstructured":"Eclipse SDK. http:\/\/www.eclipse.org"},{"key":"26_CR25","unstructured":"EclipseME. http:\/\/www.eclipseme.org"},{"key":"26_CR26","unstructured":"Sun Java Wireless Toolkit for CLDC. http:\/\/java.sun.com\/products\/sjwtoolkit\/"},{"key":"26_CR27","unstructured":"IEEE Std 610.12-1990 IEEE Standard Glossary of Software Engineering Terminology"},{"key":"26_CR28","unstructured":"Tao Group. http:\/\/tao-group.com\/"},{"key":"26_CR29","unstructured":"University of Cambridge. (2006) http:\/\/www.admin.cam.ac.uk\/news\/press\/dpp\/2006110102"},{"key":"26_CR30","unstructured":"CLINICIP Consortium. (2007) http:\/\/www.clinicip.org\/index.php?id=161"},{"key":"26_CR31","unstructured":"Medtronic, Inc. http:\/\/www.minimed.com\/products\/insulinpumps\/"},{"key":"26_CR32","unstructured":"Insignia Jeode Runtime Environment, Insignia Solutions. http:\/\/www.esmertec.com"},{"issue":"1","key":"26_CR33","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis A, Laprie JC, Randell B and Landwehr CE (2004). Basic concepts and taxonomy of dependable and secure computing. IEEE Trans Dependable Sec Comput 1(1): 11\u201333","journal-title":"IEEE Trans Dependable Sec Comput"},{"key":"26_CR34","doi-asserted-by":"crossref","unstructured":"Serugendo GDM, Fitzgerald J, Romanovsky A, Guelfi N (2007) A metadata-based architectural model for dynamically resilient systems. In: SAC \u201907: Proceedings of the 2007 ACM symposium on applied computing, New York, ACM. pp 566\u2013572","DOI":"10.1145\/1244002.1244132"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-008-0026-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11761-008-0026-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-008-0026-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T21:46:03Z","timestamp":1559425563000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11761-008-0026-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,8]]},"references-count":34,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2008,7]]}},"alternative-id":["26"],"URL":"https:\/\/doi.org\/10.1007\/s11761-008-0026-3","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"value":"1863-2386","type":"print"},{"value":"1863-2394","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,5,8]]}}}