{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T13:58:20Z","timestamp":1791208700498,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540223818","type":"print"},{"value":"9783540278153","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27815-3_8","type":"book-chapter","created":{"date-parts":[[2010,9,14]],"date-time":"2010-09-14T04:32:16Z","timestamp":1284438736000},"page":"42-56","source":"Crossref","is-referenced-by-count":12,"title":["Behavioural Types and Component Adaptation"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Brogi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carlos","family":"Canal","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ernesto","family":"Pimentel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"3","key":"8_CR1","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"#cr-split#-8_CR2.1","unstructured":"Bracciali, A., Brogi, A., Canal, C.: A formal approach to component adaptation. Journal of Systems and Software, Special Issue on Automated Component-Based Software Engineering (2003) (in press);"},{"key":"#cr-split#-8_CR2.2","unstructured":"A preliminary version of this paper was published in Bishop, J.M. (ed.): CD 2002. LNCS, vol.??2370, pp. 185???199. Springer, Heidelberg (2002)"},{"issue":"5","key":"8_CR3","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/52.714622","volume":"15","author":"A.W. Brown","year":"1998","unstructured":"Brown, A.W., Wallnau, K.C.: The current state of CBSE. IEEE Software\u00a015(5), 37\u201347 (1998)","journal-title":"IEEE Software"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1145\/302405.302957","volume-title":"ICSE 1999","author":"G.H. Campbell","year":"1999","unstructured":"Campbell, G.H.: Adaptable components. In: ICSE 1999, pp. 685\u2013686. IEEE Press, Los Alamitos (1999)"},{"key":"8_CR5","unstructured":"Heineman, G.T.: An evaluation of component adaptation techniques. In: ICSE 1999 Workshop on CBSE (1999)"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/BFb0053567","volume-title":"Programming Languages and Systems","author":"K. Honda","year":"1998","unstructured":"Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type disciplines for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol.\u00a01381, pp. 122\u2013138. Springer, Heidelberg (1998)"},{"key":"8_CR7","volume-title":"ESEC\/FSE 2001","author":"P. Inverardi","year":"2001","unstructured":"Inverardi, P., Tivoli, M.: Automatic synthesis of deadlock free connectors for COM\/DCOM applications. In: ESEC\/FSE 2001, ACM Press, New York (2001)"},{"issue":"1","key":"8_CR8","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1145\/839268.839272","volume":"12","author":"A. Lopes","year":"2003","unstructured":"Lopes, A., Wermelinger, M., Fiadeiro, J.L.: Higher-order connectors. ACM Transactions on Software Engineering and Methodology\u00a012(1), 64\u2013104 (2003)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/3-540-60042-6_10","volume-title":"Theory and Practice in Distributed Systems","author":"J. Magee","year":"1995","unstructured":"Magee, J., Eisenbach, S., Kramer, J.: Modeling Darwin in the \u03c0-calculus. In: Birman, K.P., Mattern, F., Schiper, A. (eds.) Dagstuhl Seminar 1994. LNCS, vol.\u00a0938, pp. 133\u2013152. Springer, Heidelberg (1995)"},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1109\/ASE.2003.1240302","volume-title":"Proc. IEEE International Conference on Automated Software Engineering (ASE 2003)","author":"B. Morel","year":"2003","unstructured":"Morel, B., Alexander, P.: Automating component adaptation for reuse. In: Proc. IEEE International Conference on Automated Software Engineering (ASE 2003), pp. 142\u2013151. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/3-540-44555-2_18","volume-title":"Object-Oriented Technology: ECOOP 2000 Workshop Reader","author":"A. Vallecillo","year":"2000","unstructured":"Vallecillo, A., Hern\u00e1ndez, J., Troya, J.M.: New issues in object interoperability. In: Malenfant, J., Moisan, S., Moreira, A.M.D. (eds.) ECOOP 2000 Workshops. LNCS, vol.\u00a01964, pp. 256\u2013269. Springer, Heidelberg (2000)"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Vallecillo, A., Vasconcelos, V.T., Ravara, A.: Typing the behavior of objects and components using session types. ENTCS\u00a068(3) (2003)","DOI":"10.1016\/S1571-0661(05)80382-2"},{"issue":"2","key":"8_CR13","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/244795.244801","volume":"19","author":"D.M. Yellin","year":"1997","unstructured":"Yellin, D.M., Strom, R.E.: Protocol specifications and components adaptors. ACM Transactions on Programming Languages and Systems\u00a019(2), 292\u2013333 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27815-3_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:22:32Z","timestamp":1605759752000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27815-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540223818","9783540278153"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27815-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}