{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:40:16Z","timestamp":1743118816588,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319076010"},{"type":"electronic","value":"9783319076027"}],"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-07602-7_9","type":"book-chapter","created":{"date-parts":[[2014,6,12]],"date-time":"2014-06-12T11:29:08Z","timestamp":1402572548000},"page":"119-136","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards a Failure Model of Software Components"],"prefix":"10.1007","author":[{"given":"Ruzhen","family":"Dong","sequence":"first","affiliation":[]},{"given":"Naijun","family":"Zhan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,6,13]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F Arbab","year":"2004","unstructured":"Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14, 329\u2013366 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"0","key":"9_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.entcs.2004.04.028","volume":"97","author":"F Arbab","year":"2004","unstructured":"Arbab, F., Baier, C., Rutten, J., Sirjani, M.: Modeling component connectors in reo by constraint automata: (extended abstract). Electron. Notes Theor. Comput. Sci. 97(0), 25\u201346 (2004)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"5","key":"9_CR3","doi-asserted-by":"publisher","first-page":"19:1","DOI":"10.1145\/1538917.1538920","volume":"31","author":"G Castagna","year":"2009","unstructured":"Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts for web services. ACM Trans. Program. Lang. Syst. 31(5), 19:1\u201319:61 (2009)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"4","key":"9_CR4","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1016\/j.scico.2008.08.003","volume":"74","author":"Z Chen","year":"2009","unstructured":"Chen, Z., Liu, Z., Ravn, A.P., Stolz, V., Zhan, N.: Refinement and verification in component-based model-driven design. Science of Computer Programming 74(4), 168\u2013196 (2009). (special Issue on the Grand Challenge)","journal-title":"Science of Computer Programming"},{"issue":"5","key":"9_CR5","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/503271.503226","volume":"26","author":"L De Alfaro","year":"2001","unstructured":"De Alfaro, L., Henzinger, T.: Interface automata. ACM SIGSOFT Softw. Eng. Notes 26(5), 109\u2013120 (2001)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/1-4020-3532-2_3","volume":"195","author":"L De Alfaro","year":"2005","unstructured":"De Alfaro, L., Henzinger, T.: Interface-based design. Eng. Theor. Softw.-Intensive Syst. 195, 83\u2013104 (2005)","journal-title":"Eng. Theor. Softw.-Intensive Syst."},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-45449-7_11","volume-title":"Embedded Software","author":"L de Alfaro","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface theories for component-based design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 148\u2013165. Springer, Heidelberg (2001)"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-39721-9_1","volume-title":"Unifying Theories of Programming and Formal Engineering Methods","author":"R Dong","year":"2013","unstructured":"Dong, R., Faber, J., Ke, W., Liu, Z.: rCOS: defining meanings of component-based software architectures. In: Liu, Z., Woodcock, J., Zhu, H. (eds.) Unifying Theories of Programming and Formal Engineering Methods. LNCS, vol. 8050, pp. 1\u201366. Springer, Heidelberg (2013)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Dong, R., Faber, J., Liu, Z., Srba, J., Zhan, N., Zhu, J.: Unblockable compositions of software components. In: Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, CBSE \u201912, pp. 103\u2013108. ACM, New York (2012)","DOI":"10.1145\/2304736.2304754"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-642-39718-9_10","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2013","author":"R Dong","year":"2013","unstructured":"Dong, R., Zhan, N., Zhao, L.: An interface model of software components. In: Liu, Z., Woodcock, J., Zhu, H. (eds.) ICTAC 2013. LNCS, vol. 8049, pp. 159\u2013176. Springer, Heidelberg (2013)"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-540-68237-0_10","volume-title":"FM 2008: Formal Methods","author":"M Emmi","year":"2008","unstructured":"Emmi, M., Giannakopoulou, D., P\u0103s\u0103reanu, C.S.: Assume-guarantee verification for interface automata. In: Cuellar, J., Maibaum, T., Sere, K. (eds.) FM 2008. LNCS, vol. 5014, pp. 116\u2013131. Springer, Heidelberg (2008)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Giannakopoulou, D., Pasareanu, C.S., Barringer, H.: Assumption generation for software component verification. In: ASE, pp. 3\u201312. IEEE Computer Society (2002)","DOI":"10.1109\/ASE.2002.1114984"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/11560647_5","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2005","author":"H Jifeng","year":"2005","unstructured":"Jifeng, H., Li, X., Liu, Z.: Component-based software engineering. In: Van Hung, D., Wirsing, M. (eds.) ICTAC 2005. LNCS, vol. 3722, pp. 70\u201395. Springer, Heidelberg (2005)"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/j.entcs.2006.05.022","volume":"160","author":"J He","year":"2006","unstructured":"He, J., Li, X., Liu, Z.: A theory of reactive components. Electr. Notes Theor. Comput. Sci. 160, 173\u2013195 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"8","key":"9_CR15","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C Hoare","year":"1978","unstructured":"Hoare, C.: Communicating sequential processes. Commun. ACM 21(8), 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/11813040_7","volume-title":"FM 2006: Formal Methods","author":"KG Larsen","year":"2006","unstructured":"Larsen, K.G., Nyman, U., Wasowski, A.: Interface input\/output automata. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 82\u201397. Springer, Heidelberg (2006)"},{"key":"9_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-71316-6_6","volume-title":"Programming Languages and Systems","author":"KG Larsen","year":"2007","unstructured":"Larsen, K.G., Nyman, U., Wasowski, A.: Modal I\/O automata for interface and product line theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 64\u201379. Springer, Heidelberg (2007)"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-642-11623-0_3","volume-title":"Fundamentals of Software Engineering","author":"Z Liu","year":"2010","unstructured":"Liu, Z., Morisset, C., Stolz, V.: rCOS: theory and tool for component-based model driven development. In: Arbab, F., Sirjani, M. (eds.) FSEN 2009. LNCS, vol. 5961, pp. 62\u201380. Springer, Heidelberg (2010)"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-642-33475-7_19","volume-title":"Theoretical Computer Science","author":"G L\u00fcttgen","year":"2012","unstructured":"L\u00fcttgen, G., Vogler, W.: Modal interface automata. In: Baeten, J.C.M., Ball, T., de Boer, F.S. (eds.) TCS 2012. LNCS, vol. 7604, pp. 265\u2013279. Springer, Heidelberg (2012)"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Lynch, N.A., Tuttle, M.R.: Hierarchical correctness proofs for distributed algorithms. In: PODC, pp. 137\u2013151 (1987)","DOI":"10.1145\/41840.41852"},{"issue":"3","key":"9_CR21","first-page":"219","volume":"2","author":"NA Lynch","year":"1989","unstructured":"Lynch, N.A., Tuttle, M.R.: An introduction to input\/output automata. CWI Quarterly 2(3), 219\u2013246 (1989)","journal-title":"CWI Quarterly"},{"key":"9_CR22","unstructured":"Mcilroy, D.: Mass-produced software components. In: Buxton, J.M., Naur, P., Randell, B. (eds.) Proceedings of Software Engineering Concepts and Techniques, pp. 138\u2013155. NATO Science Committee, January 1969"},{"key":"9_CR23","volume-title":"Communication and Concurrency","author":"R Milner","year":"1995","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall International (UK) Ltd., Hertfordshire (1995)"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Raclet, J., Badouel, E., Benveniste, A., Caillaud, B., Legay, A., Passerone, R.: Modal interfaces: unifying interface automata and modal specifications. In: Proceedings of the Seventh ACM International Conference on Embedded Software, pp. 87\u201396. ACM (2009)","DOI":"10.1145\/1629335.1629348"},{"issue":"1\u20132","key":"9_CR25","first-page":"119","volume":"108","author":"JB Raclet","year":"2011","unstructured":"Raclet, J.B., Badouel, E., Benveniste, A., Caillaud, B., Legay, A., Passerone, R.: A modal interface theory for component-based design. Fundam. Inf. 108(1\u20132), 119\u2013149 (2011)","journal-title":"Fundam. Inf."},{"key":"9_CR26","volume-title":"The Theory and Practice of Concurrency","author":"A Roscoe","year":"1998","unstructured":"Roscoe, A.: The Theory and Practice of Concurrency. Prentice Hall, Upper Saddle River (1998)"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Sifakis, J.: A framework for component-based construction. In: Third IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005, pp. 293\u2013299. IEEE (2005)","DOI":"10.1109\/SEFM.2005.3"},{"key":"9_CR28","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C Szyperski","year":"1997","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley, Boston (1997)"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07602-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,27]],"date-time":"2024-05-27T17:52:23Z","timestamp":1716832343000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-07602-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319076010","9783319076027"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07602-7_9","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":"13 June 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}