{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:23Z","timestamp":1761597023945},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540438472"},{"type":"electronic","value":"9783540454403"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45440-3_13","type":"book-chapter","created":{"date-parts":[[2007,5,13]],"date-time":"2007-05-13T07:42:06Z","timestamp":1179042126000},"page":"185-199","source":"Crossref","is-referenced-by-count":4,"title":["Adapting Components with Mismatching Behaviours"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Bracciali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Brogi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"Canal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,21]]},"reference":[{"issue":"3","key":"13_CR1","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"R. Allen and D. Garlan. A formal basis for architectural connection. ACM Trans. on Software Engineering and Methodology, 6(3):213\u201349, 1997.","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"J. Bosch. Adapting object-oriented components. In 2nd. International Workshop on Component-Oriented Programming (WCOP\u201997), pages 13\u201322. Turku Centre for Computer Science, September 1997.","DOI":"10.1007\/3-540-69687-3_66"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"A. Bracciali, A. Brogi, and F. Turini. Coordinating interaction patterns. In ACM Symposium on Applied Computing (SAC\u20192001). ACM Press, 2001.","DOI":"10.1145\/372202.372305"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"A.W. Brown and H.C. Wallnau. The current state of CBSE. IEEE Software, 1998.","DOI":"10.1109\/52.714622"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"G. H. Campbell. Adaptable components. In ICSE 1999, pages 685\u2013686. IEEE Press, 1999.","DOI":"10.1145\/302405.302957"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"C. Canal, E. Pimentel, and J. M. Troya. Specification and refinement of dynamic software architectures. In Software Architecture, pages 107\u2013126. Kluwer, 1999.","DOI":"10.1007\/978-0-387-35563-4_7"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0167-6423(01)00002-8","volume":"41","author":"C. Canal","year":"2001","unstructured":"C. Canal, E. Pimentel, and J. M. Troya. Compatibility and inheritance in software architectures. Science of Computer Programming, 41:105\u2013138, 2001.","journal-title":"Science of Computer Programming"},{"key":"13_CR8","unstructured":"D. Chappell. Understanding ActiveX and OLE. Microsoft Press, 1996."},{"key":"13_CR9","unstructured":"I. Cho, J. McGregor, and L. Krause. A protocol-based approach to specifying interoperability between objects. In Proceedings of TOOLS\u201926, pages 84\u201396. IEEE Press, 1998."},{"key":"13_CR10","series-title":"Lect Notes Comput Sci","volume-title":"A Decade of concurrency-Reflections and Perspectives","author":"E. Clarke","year":"1994","unstructured":"E. Clarke, O. Grumberg, and D. Long. Verification tools for finite-state concurrent systems. In A Decade of concurrency-Reflections and Perspectives, Lecture Notes in Computer Science, 803. Springer, 1994."},{"issue":"2","key":"13_CR11","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0167-6423(98)00006-9","volume":"33","author":"D. Compare","year":"1999","unstructured":"D. Compare, P. Inverardi, and A. L. Wolf. Uncovering architectural mismatch in component behavior. Science of Computer Programming, 33(2):101\u2013131, 1999.","journal-title":"Science of Computer Programming"},{"key":"13_CR12","series-title":"Lect Notes Comput Sci","volume-title":"ACM Foundations of Software Engineering (ESEC\/FSE\u201997)","author":"S. Ducasse","year":"1997","unstructured":"S. Ducasse and T. Richner. Executable connectors: Towards reusable design elements. In ACM Foundations of Software Engineering (ESEC\/FSE\u201997), number 1301 in LNCS. Springer, 1997."},{"key":"13_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"1343","DOI":"10.1007\/3-540-48118-4_21","volume-title":"Formal Methods\u201999","author":"L.M.G. Feijs","year":"1999","unstructured":"L.M.G. Feijs. Modelling Microsof COM using \u03c0-calculus. In Formal Methods\u201999, number 1709 in LNCS, pages 1343\u20131363. Springer, 1999."},{"issue":"6","key":"13_CR14","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/52.469757","volume":"12","author":"D. Garlan","year":"1995","unstructured":"D. Garlan, R. Allen, and J. Ockerbloom. Architectural mismatch: Why reuse is so hard. IEEE Software, 12(6):17\u201326, 1995.","journal-title":"IEEE Software"},{"key":"13_CR15","unstructured":"D. Garlan and B. Schmerl. Component-based software engineering in pervasive computing environments. In 4th ICSE Workshop on Component-Based Software Engineering, 2001."},{"key":"13_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/3-540-48743-3_23","volume-title":"Proceedings of ECOOP\u201999","author":"M. Gaspari","year":"1999","unstructured":"M. Gaspari and G. Zavattaro. A process algebraic specification of the new asynchronous CORBA messaging service. In Proceedings of ECOOP\u201999, number 1628 in LNCS, pages 495\u2013518. Springer, 1999."},{"key":"13_CR17","unstructured":"George T. Heineman. An evaluation of component adaptation techniques. In 2nd ICSE Workshop on Component-Based Software Engineering, 1999."},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"S. Hissam K. Wallnau and R. Seacord. Building Systems from Commercial Components. The SEI Series in Software Engineering, 2001.","DOI":"10.1145\/581441.581442"},{"key":"13_CR19","series-title":"Lect Notes Comput Sci","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":"J. Magee, S. Eisenbach, and J. Kramer. Modeling darwin in the \u03c0-calculus. In Theory and Practice in Distributed Systems, number 938 in LNCS, pages 133\u2013152. Springer, 1995."},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"J. Magee, J. Kramer, and D. Giannakopoulou. Behaviour analysis of software architectures. In Software Architecture, pages 35\u201349. Kluwer, 1999.","DOI":"10.1007\/978-0-387-35563-4_3"},{"key":"13_CR21","unstructured":"Microsoft Corporation.. NET Programming the Web. http:\/\/msdn.microsoft.com."},{"key":"13_CR22","unstructured":"R. Milner. The polyadic \u03c0-calculus: a tutorial. Technical report, University of Edinburgh, Octubre 1991."},{"key":"13_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes. Journal of Information and Computation, 100:1\u201377, 1992.","journal-title":"Journal of Information and Computation"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"A. P. Moore, J. E. Klinker, and D. M. Mihelcic. How to construct formal arguments that persuade certifiers. In Industrial-Strength Formal Methods in Practice. Springer, 1999.","DOI":"10.1007\/978-1-4471-0523-7_13"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"E. Najm, A. Nimour, and JB. Stefani. Infinite types for distributed objects interfaces. In Proceedings of the third IFIP conference on Formal Methods for Open Object-based Distributed Systems-FMOODS\u201999. Kluwer, 1999.","DOI":"10.1007\/978-0-387-35562-7_28"},{"key":"13_CR26","unstructured":"O. Nierstrasz. Regular types for active objects. In O. Nierstrasz and D. Tsichritzis, editors, Object-Oriented Software Composition. Prentice Hall, 1995."},{"key":"13_CR27","unstructured":"OMG. The Common Object Request Broker: Architecture and Specification. Object Management Group. http:\/\/www.omg.org."},{"key":"13_CR28","doi-asserted-by":"crossref","unstructured":"R. H. Reussner. Enhanced component interfaces to support dynamic adaption and extension. In 34th Hawaiin International Conference on System Sciences. IEEE Press, 2001.","DOI":"10.1109\/HICSS.2001.927238"},{"key":"13_CR29","unstructured":"Sun Microsystems. JavaBeans API specification. http:\/\/java.sun.com."},{"key":"13_CR30","series-title":"Lect Notes Comput Sci","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":"A. Vallecillo, J. Hern\u00e1ndez, and J. M. Troya. New issues in object interoperability. In Object-Oriented Technology: ECOOP 2000 Workshop Reader, number 1964 in LNCS, pages 256\u2013269. Springer, 2000."},{"issue":"2","key":"13_CR31","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/244795.244801","volume":"19","author":"D. M. Yellin","year":"1997","unstructured":"D. M. Yellin and R. E. Strom. Protocol specifications and components adaptors. ACM Trans. on Programming Languages and Systems, 19(2):292\u2013333, 1997.","journal-title":"ACM Trans. on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Component Deployment"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45440-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T17:51:34Z","timestamp":1556387494000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45440-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540438472","9783540454403"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-45440-3_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}