{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T04:34:09Z","timestamp":1747888449678,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662466742"},{"type":"electronic","value":"9783662466759"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-662-46675-9_17","type":"book-chapter","created":{"date-parts":[[2015,3,31]],"date-time":"2015-03-31T20:24:38Z","timestamp":1427833478000},"page":"252-266","source":"Crossref","is-referenced-by-count":1,"title":["Model-Based Adaptation of Software Communicating via FIFO Buffers"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Canal","sequence":"first","affiliation":[]},{"given":"Gwen","family":"Sala\u00fcn","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-642-01918-0_2","volume-title":"Formal Methods for Web Services","author":"W.M.P. Aalst van der","year":"2009","unstructured":"van der Aalst, W.M.P., Mooij, A.J., Stahl, C., Wolf, K.: Service Interaction: Patterns, Formalization, and Analysis. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol.\u00a05569, pp. 42\u201388. Springer, Heidelberg (2009)"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface Automata. In: Proc. of ESEC\/FSE 2001, pp. 109\u2013120. ACM Press (2001)","DOI":"10.1145\/503271.503226"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Basu, S., Bultan, T., Ouederni, M.: Deciding Choreography Realizability. In: Proc. of POPL 2012, pp. 191\u2013202. ACM (2012)","DOI":"10.1145\/2103621.2103680"},{"key":"17_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-642-40561-7_19","volume-title":"Software Engineering and Formal Methods","author":"A. Bennaceur","year":"2013","unstructured":"Bennaceur, A., Chilton, C., Isberner, M., Jonsson, B.: Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning. In: Hierons, R.M., Merayo, M.G., Bravetti, M. (eds.) SEFM 2013. LNCS, vol.\u00a08137, pp. 274\u2013288. Springer, Heidelberg (2013)"},{"issue":"1","key":"17_CR5","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":"2","key":"17_CR6","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D. Brand","year":"1983","unstructured":"Brand, D., Zafiropulo, P.: On Communicating Finite-State Machines. Journal of the ACM\u00a030(2), 323\u2013342 (1983)","journal-title":"Journal of the ACM"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/11948148_3","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"A. Brogi","year":"2006","unstructured":"Brogi, A., Popescu, R.: Automated Generation of BPEL Adapters. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 27\u201339. Springer, Heidelberg (2006)"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"C\u00e1mara, J., Mart\u00edn, J.A., Sala\u00fcn, G., Cubo, J., Ouederni, M., Canal, C., Pimentel, E.: ITACA: An Integrated Toolbox for the Automatic Composition and Adaptation of Web Services. In: Proc. of ICSE 2009, pp. 627\u2013630. IEEE (2009)","DOI":"10.1109\/ICSE.2009.5070572"},{"issue":"1","key":"17_CR9","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.entcs.2010.07.003","volume":"264","author":"J. C\u00e1mara","year":"2010","unstructured":"C\u00e1mara, J., Mart\u00edn, J.A., Sala\u00fcn, G., Canal, C., Pimentel, E.: Semi-Automatic Specification of Behavioural Service Adaptation Contracts. Electr. Notes Theor. Comput. Sci.\u00a0264(1), 19\u201334 (2010)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"1","key":"17_CR10","first-page":"9","volume":"12","author":"C. Canal","year":"2006","unstructured":"Canal, C., Murillo, J.M., Poizat, P.: Software Adaptation. L\u2019Objet\u00a012(1), 9\u201331 (2006)","journal-title":"L\u2019Objet"},{"key":"17_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/11768869_7","volume-title":"Formal Methods for Open Object-Based Distributed Systems","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, pp. 63\u201377. Springer, Heidelberg (2006)"},{"issue":"4","key":"17_CR12","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1109\/TSE.2008.31","volume":"34","author":"C. Canal","year":"2008","unstructured":"Canal, C., Poizat, P., Sala\u00fcn, G.: Model-Based Adaptation of Behavioural Mismatching Components. IEEE Trans. on Software Engineering\u00a034(4), 546\u2013563 (2008)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/978-3-662-45391-9_34","volume-title":"Service-Oriented Computing","author":"C. Canal","year":"2014","unstructured":"Canal, C., Sala\u00fcn, G.: Adaptation of Asynchronously Communicating Software. In: Franch, X., Ghose, A.K., Lewis, G.A., Bhiri, S. (eds.) ICSOC 2014. LNCS, vol.\u00a08831, pp. 437\u2013444. Springer, Heidelberg (2014)"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Cubo, J., Sala\u00fcn, G., Canal, C., Pimentel, E., Poizat, P.: A Model-Based Approach to the Verification and Adaptation of WF\/.NET Components. In: Proc. of FACS 2007. ENTCS, vol.\u00a0215, pp. 39\u201355. Elsevier (2007)","DOI":"10.1016\/j.entcs.2008.06.020"},{"key":"17_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/978-3-642-19835-9_33","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Garavel","year":"2011","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol.\u00a06605, pp. 372\u2013387. Springer, Heidelberg (2011)"},{"issue":"1","key":"17_CR16","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/TSC.2010.57","volume":"5","author":"C. Gierds","year":"2012","unstructured":"Gierds, C., Mooij, A.J., Wolf, K.: Reducing Adapter Synthesis to Controller Synthesis. IEEE T. Services Computing\u00a05(1), 72\u201385 (2012)","journal-title":"IEEE T. Services Computing"},{"issue":"3","key":"17_CR17","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":"17_CR18","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Tivoli, M.: Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns. In: Proc. of ICSE 2013, pp. 3\u201312. IEEE \/ ACM (2013)","DOI":"10.1109\/ICSE.2013.6606546"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"Magee, J., Kramer, J., Giannakopoulou, D.: Behaviour Analysis of Software Architectures, pp. 35\u201349. Kluwer Academic Publishers (1999)","DOI":"10.1007\/978-0-387-35563-4_3"},{"issue":"3-5","key":"17_CR20","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1016\/j.jlap.2010.07.001","volume":"80","author":"J.A. Mart\u00edn","year":"2011","unstructured":"Mart\u00edn, J.A., Pimentel, E.: Contracts for Security Adaptation. J. Log. Algebr. Program.\u00a080(3-5), 154\u2013179 (2011)","journal-title":"J. Log. Algebr. Program."},{"key":"17_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-540-89652-4_10","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008","author":"R. Mateescu","year":"2008","unstructured":"Mateescu, R., Poizat, P., Sala\u00fcn, G.: Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol.\u00a05364, pp. 84\u201399. Springer, Heidelberg (2008)"},{"issue":"4","key":"17_CR22","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1109\/TSE.2011.62","volume":"38","author":"R. Mateescu","year":"2012","unstructured":"Mateescu, R., Poizat, P., Sala\u00fcn, G.: Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. IEEE Trans. on Software Engineering\u00a038(4), 755\u2013777 (2012)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"Nezhad, H.R.M., Xu, G.Y., Benatallah, B.: Protocol-Aware Matching of Web Service Interfaces for Adapter Development. In: Proc. of WWW 2010, pp. 731\u2013740. ACM (2010)","DOI":"10.1145\/1772690.1772765"},{"key":"17_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-319-07602-7_19","volume-title":"Formal Aspects of Component Software","author":"M. Ouederni","year":"2014","unstructured":"Ouederni, M., Sala\u00fcn, G., Bultan, T.: Compatibility Checking for Asynchronously Communicating Software. In: Fiadeiro, J.L., Liu, Z., Xue, J. (eds.) FACS 2013. LNCS, vol.\u00a08348, pp. 310\u2013328. Springer, Heidelberg (2014)"},{"key":"17_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-642-01918-0_6","volume-title":"Formal Methods for Web Services","author":"L. Padovani","year":"2009","unstructured":"Padovani, L.: Contract-Based Discovery and Adaptation of Web Services. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol.\u00a05569, pp. 213\u2013260. Springer, Heidelberg (2009)"},{"issue":"11","key":"17_CR26","doi-asserted-by":"publisher","first-page":"1056","DOI":"10.1109\/TSE.2002.1049404","volume":"28","author":"F. Plasil","year":"2002","unstructured":"Plasil, F., Visnovsky, S.: Behavior Protocols for Software Components. IEEE Trans. on Software Engineering\u00a028(11), 1056\u20131076 (2002)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"17_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-540-72952-5_9","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"P. Poizat","year":"2007","unstructured":"Poizat, P., Sala\u00fcn, G.: Adaptation of Open Component-based Systems. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol.\u00a04468, pp. 141\u2013156. Springer, Heidelberg (2007)"},{"key":"17_CR28","doi-asserted-by":"crossref","unstructured":"Seguel, R., Eshuis, R., Grefen, P.W.P.J.: Generating Minimal Protocol Adaptors for Loosely Coupled Services. In: Proc. of ICWS 2010, pp. 417\u2013424. IEEE Computer Society (2010)","DOI":"10.1109\/ICWS.2010.14"},{"issue":"3","key":"17_CR29","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.scico.2008.03.001","volume":"71","author":"M. Tivoli","year":"2008","unstructured":"Tivoli, M., Inverardi, P.: Failure-Free Coordinators Synthesis for Component-Based Architectures. Sci. Comput. Program.\u00a071(3), 181\u2013212 (2008)","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"17_CR30","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 Trans. on Programming Languages and Systems\u00a019(2), 292\u2013333 (1997)","journal-title":"ACM Trans. on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46675-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T19:47:44Z","timestamp":1747856864000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46675-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662466742","9783662466759"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46675-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}