{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T14:01:46Z","timestamp":1773324106098,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540729198","type":"print"},{"value":"9783540729525","type":"electronic"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-72952-5_9","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T08:10:08Z","timestamp":1182845408000},"page":"141-156","source":"Crossref","is-referenced-by-count":15,"title":["Adaptation of Open Component-Based Systems"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Poizat","sequence":"first","affiliation":[]},{"given":"Gwen","family":"Sala\u00fcn","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"The Adaptor tool (LGPL licence). Available from P.\u00a0Poizat\u2019s Webpage."},{"issue":"6","key":"9_CR2","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/508448.508469","volume":"45","author":"G. Agha","year":"2002","unstructured":"Agha, G.: Special Issue on Adaptive Middleware. CACM\u00a045(6), 30\u201364 (2002)","journal-title":"CACM"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36578-8_4","volume-title":"Fundamental Approaches to Software Engineering","author":"N. Aguirre","year":"2003","unstructured":"Aguirre, N., Maibaum, T.: A Logical Basis for the Specification of Reconfigurable Component-Based Systems. In: Pezz\u00e9, M. (ed.) ETAPS 2003 and FASE 2003. LNCS, vol.\u00a02621, Springer, Heidelberg (2003)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11966104_3","volume-title":"Software Architecture","author":"M. Autili","year":"2006","unstructured":"Autili, M., Flammini, M., Inverardi, P., Navarra, A., Tivoli, M.: Synthesis of Concurrent and Distributed Adaptors for Component-based Systems. In: Gruhn, V., Oquendo, F. (eds.) EWSA 2006. LNCS, vol.\u00a04344, Springer, Heidelberg (2006)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Back, R.J.: Incremental Software Construction with Refinement Diagrams. Technical Report 660, Turku Center for Computer Science (2005)","DOI":"10.1007\/11784180_1"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Software Composition","author":"S. Ben Mokhtar","year":"2005","unstructured":"Ben Mokhtar, S., Georgantas, N., Issarny, V.: Ad Hoc Composition of User Tasks in Pervasive Computing Environments. In: Gschwind, T., A\u00dfmann, U., Nierstrasz, O. (eds.) SC 2005. LNCS, vol.\u00a03628, Springer, Heidelberg (2005)"},{"issue":"14","key":"9_CR7","doi-asserted-by":"publisher","first-page":"2741","DOI":"10.1080\/00207540412331312688","volume":"42","author":"B. Berthomieu","year":"2004","unstructured":"Berthomieu, B., Ribet, P.-O., Vernadat, F.: The tool TINA \u2013 Construction of Abstract State Spaces for Petri Nets and Time Petri Nets. International Journal of Production Research\u00a042(14), 2741\u20132756 (2004)","journal-title":"International Journal of Production Research"},{"issue":"1","key":"9_CR8","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.jss.2003.05.007","volume":"74","author":"A. Bracciali","year":"2005","unstructured":"Bracciali, A., Brogi, A., Canal, C.: A Formal Approach to Component Adaptation. Journal of Systems and Software\u00a074(1), 45\u201354 (2005)","journal-title":"Journal of Systems and Software"},{"issue":"11-12","key":"9_CR9","doi-asserted-by":"publisher","first-page":"1257","DOI":"10.1002\/spe.767","volume":"36","author":"E. Bruneton","year":"2006","unstructured":"Bruneton, E., Coupaye, T., Leclercq, M., Qu\u00e9ma, V., Stefani, J.-B.: The Fractal Component Model and Its Support in Java. Software Practice and Experience\u00a036(11-12), 1257\u20131284 (2006)","journal-title":"Software Practice and Experience"},{"issue":"1","key":"9_CR10","first-page":"9","volume":"12","author":"C. Canal","year":"2006","unstructured":"Canal, C., Murillo, J.M., Poizat, P.: Software Adaptation. L\u2019Objet. Special Issue on Software Adaptation\u00a012(1), 9\u201331 (2006)","journal-title":"L\u2019Objet. Special Issue on Software Adaptation"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"FMOODS\u201906","author":"C. Canal","year":"2006","unstructured":"Canal, C., Poizat, P., Sala\u00fcn, G.: Synchronizing Behavioural Mismatch in Software Composition. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, Springer, Heidelberg (2006)"},{"key":"9_CR12","first-page":"13","volume":"4","author":"H. Garavel","year":"2002","unstructured":"Garavel, H., Lang, F., Mateescu, R.: An Overview of CADP 2001. EASST Newsletter\u00a04, 13\u201324 (2002)","journal-title":"EASST Newsletter"},{"key":"9_CR13","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading (1979)"},{"issue":"3","key":"9_CR14","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/S0164-1212(02)00037-7","volume":"65","author":"P. Inverardi","year":"2003","unstructured":"Inverardi, P., Tivoli, M.: Deadlock Free Software Architectures for COM\/DCOM Applications. Journal of Systems and Software\u00a065(3), 173\u2013183 (2003)","journal-title":"Journal of Systems and Software"},{"key":"9_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4222-2","volume-title":"Temporal Verification of Reactive Systems: Safety","author":"Z. Manna","year":"1995","unstructured":"Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems: Safety. Springer, Heidelberg (1995)"},{"issue":"4","key":"9_CR16","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"9_CR17","unstructured":"Objet Management Group. Unified Modeling Language: Superstructure. version 2.0, formal\/05-07-04 (August 2005)"},{"key":"9_CR18","unstructured":"Poizat, P.: Eclipse Transition Systems. RNRT project STACS deliverable (2006)"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Poizat, P., Sala\u00fcn, G., Tivoli, M.: An Adaptation-based Approach to Incrementally Build Component Systems. In: Proc. of FACS\u201906 (2006)","DOI":"10.1016\/j.entcs.2006.09.037"},{"issue":"8","key":"9_CR20","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/98.943998","volume":"6","author":"M. Satyanarayanan","year":"2001","unstructured":"Satyanarayanan, M.: Pervasive Computing: Vision and Challenges. IEEE Personal Communications\u00a06(8), 10\u201317 (2001)","journal-title":"IEEE Personal Communications"},{"key":"9_CR21","volume-title":"Proc. of FMOODS\u201902","author":"H.W. Schmidt","year":"2002","unstructured":"Schmidt, H.W., Reussner, R.H.: Generating Adapters for Concurrent Component Protocol Synchronization. In: Proc. of FMOODS\u201902, Kluwer, Dordrecht (2002)"},{"key":"9_CR22","volume-title":"Proc. of ICSE\u201903","author":"B. Spitznagel","year":"2003","unstructured":"Spitznagel, B., Garlan, D.: A Compositional Formalization of Connector Wrappers. In: Proc. of ICSE\u201903, ACM Press, New York (2003)"},{"issue":"1","key":"9_CR23","first-page":"77","volume":"12","author":"M. Tivoli","year":"2006","unstructured":"Tivoli, M., Autili, M.: SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors. L\u2019Objet.\u00a012(1), 77\u2013103 (2006)","journal-title":"L\u2019Objet."},{"issue":"2","key":"9_CR24","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/TSE.2003.1178048","volume":"29","author":"S. Uchitel","year":"2003","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Synthesis of Behavioural Models from Scenarios. IEEE Transactions on Software Engineering\u00a029(2), 99\u2013115 (2003)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"9_CR25","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/233551.233556","volume":"43","author":"R.J. Glabbeek van","year":"1996","unstructured":"van Glabbeek, R.J., Weijland, W.P.: Branching Time and Abstraction in Bisimulation Semantics. Journal of the ACM\u00a043(3), 555\u2013600 (1996)","journal-title":"Journal of the ACM"},{"key":"9_CR26","volume-title":"Proc. of ESEC\/FSE\u201901","author":"M. Wermelinger","year":"2001","unstructured":"Wermelinger, M., Lopes, A., Fiadeiro, J.L.: A Graph Based Architectural (Re)configuration Language. In: Proc. of ESEC\/FSE\u201901, ACM Press, New York (2001)"},{"issue":"2","key":"9_CR27","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","Formal Methods for Open Object-Based Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72952-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T17:55:10Z","timestamp":1683914110000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72952-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540729198","9783540729525"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72952-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}