{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:44Z","timestamp":1761611204635},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540434108"},{"type":"electronic","value":"9783540460008"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46000-4_10","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T02:17:36Z","timestamp":1180491456000},"page":"88-95","source":"Crossref","is-referenced-by-count":11,"title":["Dynamically Adapting the Behaviour of Software Components"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Bracciali","sequence":"first","affiliation":[]},{"given":"Antonio","family":"Brogi","sequence":"additional","affiliation":[]},{"given":"Carlos","family":"Canal","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"issue":"3","key":"10_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, July 1997.","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"key":"10_CR2","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"},{"issue":"5","key":"10_CR3","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1093\/comjnl\/44.5.448","volume":"44","author":"C. Canal","year":"2001","unstructured":"C. Canal et al. Extending corba interfaces with protocols. Computer Journal, 44(5):448\u2013462, 2001.","journal-title":"Computer Journal"},{"key":"10_CR4","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 Academic Publishers, 1999.","DOI":"10.1007\/978-0-387-35563-4_7"},{"issue":"2","key":"10_CR5","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":"10_CR6","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 Verlag, 1997."},{"key":"10_CR7","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 Verlag, 1999."},{"issue":"6","key":"10_CR8","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":"10_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/3-540-48743-3_23","volume-title":"A process algebraic specification of the new asynchronous CORBAmessaging service","author":"M. Gaspari","year":"1999","unstructured":"M. Gaspari and G. Zavattaro. A process algebraic specification of the new asynchronous CORBAmessaging service. In Proceedings of ECOOP 99, number 1628 in LNCS, pages 495\u2013518. Springer, 1999."},{"key":"10_CR10","unstructured":"G. T. Leavens and M. Staraman, editors. Foundations of Component-Based Systems. Cambridge University Press, 2000."},{"key":"10_CR11","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 Verlag, 1995."},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"J. Magee, J. Kramer, and D. Giannakopoulou. Behaviour analysis of software architectures. In Software Architecture, pages 35\u201349. Kluwer Academic Pub., 1999.","DOI":"10.1007\/978-0-387-35563-4_3"},{"key":"10_CR13","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. Acalculus of mobile processes. Journal of Information and Computation, 100:1\u201377, 1992.","journal-title":"Journal of Information and Computation"},{"key":"10_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/3-540-44555-2_18","volume-title":"New issues in object interoperability","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 Verlag, 2000."},{"issue":"2","key":"10_CR15","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, March 1997.","journal-title":"ACM Trans. on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46000-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T00:34:59Z","timestamp":1550363699000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46000-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540434108","9783540460008"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-46000-4_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}