{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T03:49:26Z","timestamp":1770436166734,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642397172","type":"print"},{"value":"9783642397189","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-39718-9_10","type":"book-chapter","created":{"date-parts":[[2013,8,30]],"date-time":"2013-08-30T03:01:54Z","timestamp":1377831714000},"page":"159-176","source":"Crossref","is-referenced-by-count":3,"title":["An Interface Model of Software Components"],"prefix":"10.1007","author":[{"given":"Ruzhen","family":"Dong","sequence":"first","affiliation":[]},{"given":"Naijun","family":"Zhan","sequence":"additional","affiliation":[]},{"given":"Liang","family":"Zhao","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","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. Alfaro de","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.\u00a02211, pp. 148\u2013165. Springer, Heidelberg (2001)"},{"key":"10_CR2","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. Mathematical Structures in Computer Science\u00a014, 329\u2013366 (2004), http:\/\/portal.acm.org\/citation.cfm?id=992032.992035","journal-title":"Mathematical Structures in Computer Science"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"819","DOI":"10.1007\/978-3-540-69507-3_71","volume-title":"SOFSEM 2007: Theory and Practice of Computer Science","author":"X. Chen","year":"2007","unstructured":"Chen, X., Liu, Z., Mencl, V.: Separation of concerns and consistent integration in requirements modelling. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Pl\u00e1\u0161il, F. (eds.) SOFSEM 2007. Part I. LNCS, vol.\u00a04362, pp. 819\u2013831. Springer, Heidelberg (2007)"},{"issue":"4","key":"10_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\u00a074(4), 168\u2013196 (2009), http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167642308000890 , special Issue on the Grand Challenge","journal-title":"Science of Computer Programming"},{"issue":"5","key":"10_CR5","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/503271.503226","volume":"26","author":"L. Alfaro De","year":"2001","unstructured":"De Alfaro, L., Henzinger, T.: Interface automata. ACM SIGSOFT Software Engineering Notes\u00a026(5), 109\u2013120 (2001)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/1-4020-3532-2_3","volume":"195","author":"L. Alfaro De","year":"2005","unstructured":"De Alfaro, L., Henzinger, T.: Interface-based design. Engineering Theories of Software-intensive Systems\u00a0195, 83\u2013104 (2005)","journal-title":"Engineering Theories of Software-intensive Systems"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1145\/2304736.2304754","volume-title":"Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, CBSE 2012","author":"R. Dong","year":"2012","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 2012, pp. 103\u2013108. ACM, New York (2012), http:\/\/doi.acm.org\/10.1145\/2304736.2304754"},{"key":"10_CR8","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.\u00a05014, pp. 116\u2013131. Springer, Heidelberg (2008), http:\/\/dx.doi.org\/10.1007\/978-3-540-68237-0_10"},{"key":"10_CR9","unstructured":"Giannakopoulou, D., Pasareanu, C.S., Barringer, H.: Assumption generation for software component verification. In: ASE, pp. 3\u201312. IEEE Computer Society (2002), http:\/\/doi.ieeecomputersociety.org\/10.1109\/ASE.2002.1114984"},{"key":"10_CR10","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.\u00a03722, pp. 70\u201395. Springer, Heidelberg (2005)"},{"issue":"1-2","key":"10_CR11","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.tcs.2006.07.034","volume":"365","author":"J. He","year":"2006","unstructured":"He, J., Li, X., Liu, Z.: rcos: A refinement calculus of object systems. Theor. Comput. Sci.\u00a0365(1-2), 109\u2013142 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR12","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.\u00a0160, 173\u2013195 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"8","key":"10_CR13","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. Communications of the ACM\u00a021(8), 666\u2013677 (1978)","journal-title":"Communications of the ACM"},{"key":"10_CR14","unstructured":"Hopcroft, J., Motwani, R., Ullman, J.: Introduction to Automata Theory, Languages, and Computation, vol.\u00a02. Addison-Wesley (1979)"},{"key":"10_CR15","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":"K.G. Larsen","year":"2006","unstructured":"Larsen, K.G., Nyman, U., W\u0105sowski, A.: Interface input\/output automata. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 82\u201397. Springer, Heidelberg (2006), http:\/\/dx.doi.org\/10.1007\/11813040_7"},{"key":"10_CR16","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":"K.G. Larsen","year":"2007","unstructured":"Larsen, K.G., Nyman, U., W\u0105sowski, A.: Modal I\/O automata for interface and product line theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 64\u201379. Springer, Heidelberg (2007), http:\/\/dx.doi.org\/10.1007\/978-3-540-71316-6_6"},{"key":"10_CR17","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.\u00a05961, pp. 62\u201380. Springer, Heidelberg (2010)"},{"key":"10_CR18","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":"10_CR19","first-page":"219","volume":"2","author":"N.A. Lynch","year":"1989","unstructured":"Lynch, N.A., Tuttle, M.R.: An introduction to input\/output automata. CWI Quarterly\u00a02(3), 219\u2013246 (1989)","journal-title":"CWI Quarterly"},{"key":"10_CR20","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.\u00a07604, pp. 265\u2013279. Springer, Heidelberg (2012), , http:\/\/dx.doi.org\/10.1007\/978-3-642-33475-7_19"},{"key":"10_CR21","volume-title":"Communication and concurrency","author":"R. Milner","year":"1995","unstructured":"Milner, R.: Communication and concurrency. Prentice Hall International (UK) Ltd., Hertfordshire (1995)"},{"key":"10_CR22","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-2","key":"10_CR23","doi-asserted-by":"crossref","first-page":"119","DOI":"10.3233\/FI-2011-416","volume":"108","author":"J.B. 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.\u00a0108(1-2), 119\u2013149 (2011), http:\/\/dl.acm.org\/citation.cfm?id=2362088.2362095","journal-title":"Fundam. Inf."},{"key":"10_CR24","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":"10_CR25","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley (1997)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2013"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39718-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,2]],"date-time":"2020-08-02T20:40:13Z","timestamp":1596400813000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39718-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642397172","9783642397189"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39718-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}