{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T06:31:58Z","timestamp":1743057118547,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642024139"},{"type":"electronic","value":"9783642024146"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02414-6_5","type":"book-chapter","created":{"date-parts":[[2009,6,17]],"date-time":"2009-06-17T13:46:26Z","timestamp":1245246386000},"page":"69-86","source":"Crossref","is-referenced-by-count":12,"title":["Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support"],"prefix":"10.1007","author":[{"given":"Junguo","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiangping","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gang","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hong","family":"Mei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franck","family":"Chauvel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Workshop on Architecting Dependable Systems, http:\/\/www.cs.kent.ac.uk\/wads\/"},{"key":"5_CR2","volume-title":"Fault Tolerance: Principles and Practice","author":"T. Anderson","year":"1981","unstructured":"Anderson, T., Lee, P.A.: Fault Tolerance: Principles and Practice. Prentice-Hall, Englewood Cliffs (1981)"},{"issue":"1","key":"5_CR3","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. on Dependable and Secure Computing\u00a01(1), 11\u201333 (2004)","journal-title":"IEEE Trans. on Dependable and Secure Computing"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1002\/stvr.258","volume":"12","author":"C. Bernardeschi","year":"2002","unstructured":"Bernardeschi, C., Fantechi, A., Gnesi, S.: Model checking fault tolerant systems. Software Testing Verification and Reliability\u00a012, 251\u2013275 (2002)","journal-title":"Software Testing Verification and Reliability"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1109\/ASE.1999.802135","volume-title":"Proceedings of the 14th IEEE Int\u2019l Conference on Automated Software Engineering","author":"P. Bose","year":"1999","unstructured":"Bose, P.: Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN. In: Proceedings of the 14th IEEE Int\u2019l Conference on Automated Software Engineering, pp. 102\u2013109. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Brito, P.H.S., Lemos, R., Rubira, C.M.F.: Verification of Exception Control Flows and Handlers Based on Architectural Scenarios. In: Proceeding of the 11th IEEE High Assurance Systems Engineering Symposium (HASE), pp.177\u2013186 (2008)","DOI":"10.1109\/HASE.2008.11"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Candea, G., et al.: JAGR: an autonomous self-recovering application server. In: Proc. of the 5th Int\u2019l Workshop on Active Middleware Services, Seattle, USA, pp. 168\u2013177 (2003)","DOI":"10.1109\/ACW.2003.1210217"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Ebnenasir, A., Cheng, B.H.C.: Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance. In: 10th IEEE International Symposium on High Assurance System Engineering (HASE), Dallas, Texas, USA, November 14\u201316 (2007)","DOI":"10.1109\/HASE.2007.47"},{"key":"5_CR9","unstructured":"ECperf webpage, http:\/\/java.sun.com\/developer\/earlyAccess\/j2ee\/ecperf\/download.html"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45177-3_3","volume-title":"Architecting Dependable Systems","author":"D. Garlan","year":"2003","unstructured":"Garlan, D., Chung, S., Schmerl, B.: Increasing system dependability through architecture based self-repair. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems. LNCS, vol.\u00a02677. Springer, Heidelberg (2003)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"de Guerra, P.A.C., Rubira, C.F., Romanovsky, A., de Lemos, R.: A fault-tolerant software architecture for COTS-based software systems. In: Proc. of ESEC\/FSE-11, Helsinki, Finland, pp. 375\u2013378 (2003)","DOI":"10.1145\/949952.940125"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Holzmann, G.J.: The Model Checker SPIN. IEEE Trans. on Software Engineering\u00a023(5) (1997)","DOI":"10.1109\/32.588521"},{"key":"5_CR13","unstructured":"Issarny, V., Banatre, J.: Architecture-Based Exception Handling. In: Proc. of the 34th Annual Hawaii International Conference on System Sciences, vol.\u00a09, p. 9058 (2001)"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Lan, L., Huang, G., Wang, W., Mei, H.: A Middleware-based Approach to Model Refactoring at Runtime. In: Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007) (2007)","DOI":"10.1109\/ASPEC.2007.45"},{"issue":"2","key":"5_CR15","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1109\/MS.2006.35","volume":"23","author":"R. Lemos de","year":"2006","unstructured":"de Lemos, R., Guerra, P., Rubira, C.: A fault-tolerant architectural approach for dependable systems. IEEE Software\u00a023(2), 80\u201387 (2006)","journal-title":"IEEE Software"},{"key":"5_CR16","unstructured":"Mei, H., Huang, G.: PKUAS: An Architecture-based Reflective Component Operating Platform. In: IEEE Int\u2019l Workshop on Future Trends of Distributed Computing Sys. (2004)"},{"issue":"1","key":"5_CR17","first-page":"101","volume":"1","author":"H. Mei","year":"2007","unstructured":"Mei, H., Huang, G., Liu, T., Li, J.: Coordinated Recovery of Middleware Services: A Framework and Experiments. Int. J. Software Informatics\u00a01(1), 101\u2013128 (2007)","journal-title":"Int. J. Software Informatics"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Muccini, H., Romanovsky, A.: Architecting Fault Tolerant Systems. Technical report, University of Newcastle upon Tyne, CS-TR-1051 (2007)","DOI":"10.1109\/WICSA.2007.10"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S., Zave, P.: Matching and Merging of Statecharts Specifications. In: Proc. 29th Int\u2019l Conference on Software Engineering, pp. 54\u201364 (2007)","DOI":"10.1109\/ICSE.2007.50"},{"key":"5_CR20","unstructured":"Object Management Group, UML(TM) Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms, http:\/\/www.omg.org\/docs\/ptc\/04-09-01.pdf"},{"issue":"4","key":"5_CR21","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/141874.141884","volume":"17","author":"D.E. Perry","year":"1992","unstructured":"Perry, D.E., Wolf, A.L.: Foundations for the study of software architecture. SIGSOFT Software Engineering Notes\u00a017(4), 40\u201352 (1992)","journal-title":"SIGSOFT Software Engineering Notes"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Pottinger, R.A., Bernstein, P.A.: Merging models based on given correspondences. In: Proc. 29th int\u2019l Conference on Very Large Data Bases, pp. 862\u2013873 (2003)","DOI":"10.1016\/B978-012722442-8\/50081-1"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Romanovsky, A.: A Looming Fault Tolerance Software Crisis? ACM SIGSOFT Software Engineering Notes\u00a032(2) (2007)","DOI":"10.1145\/1234741.1234767"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Salatge, N., Fabre, J.C.: Fault Tolerance Connectors for Unreliable Web Services. In: Proc. of 37th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN 2007), Edinburgh, UK, pp. 51\u201360 (2007)","DOI":"10.1109\/DSN.2007.48"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Seo, C., et al.: Exploring the Role of Software Architecture in Dynamic and Fault Tolerant Pervasive Systems. In: Proc. of SEPCASE 2007, Minneapolis, MN, USA (2007)","DOI":"10.1109\/SEPCASE.2007.6"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"S\u00f6zer, H., Tekinerdogan, B.: Introducing Recovery Style for Modeling and Analyzing System Recovery. In: Proc. of 7th IEEE\/IFIP Working Conference on Software Architecture, Vancouver, Canada, pp. 167\u2013176 (2008)","DOI":"10.1109\/WICSA.2008.9"},{"issue":"3","key":"5_CR27","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1109\/TR.2006.879605","volume":"55","author":"L. Yuan","year":"2006","unstructured":"Yuan, L., Dong, J.S., Sun, J., Basit, H.A.: Generic Fault Tolerant Software Architecture Reasoning and Customization. IEEE Trans. on Reliability.\u00a055(3), 421\u2013435 (2006)","journal-title":"IEEE Trans. on Reliability."}],"container-title":["Lecture Notes in Computer Science","Component-Based Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02414-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T05:38:24Z","timestamp":1739165904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02414-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642024139","9783642024146"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02414-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}