{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:28:46Z","timestamp":1742923726665,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319415901"},{"type":"electronic","value":"9783319415918"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-41591-8_22","type":"book-chapter","created":{"date-parts":[[2016,6,23]],"date-time":"2016-06-23T13:27:27Z","timestamp":1466688447000},"page":"321-336","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Stability-Based Adaptation of Asynchronously Communicating Software"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Canal","sequence":"first","affiliation":[]},{"given":"Gwen","family":"Sala\u00fcn","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,23]]},"reference":[{"key":"22_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-32582-8_1","volume-title":"Model Checking Software","author":"L Akroun","year":"2016","unstructured":"Akroun, L., Sala\u00fcn, G., Ye, L.: Automated analysis of asynchronously communicating systems. In: Bo\u0161nacki, D., Wijs, A. (eds.) SPIN 2016. LNCS, vol. 9641, pp. 1\u201318. Springer, Heidelberg (2016). doi:\n                      10.1007\/978-3-319-32582-8_1"},{"key":"22_CR2","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. 8137, pp. 274\u2013288. Springer, Heidelberg (2013)"},{"issue":"3\u20134","key":"22_CR3","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1016\/j.artint.2009.12.002","volume":"174","author":"P Bertoli","year":"2010","unstructured":"Bertoli, P., Pistore, M., Traverso, P.: Automated composition of web services via planning in asynchronous domains. Artif. Intell. 174(3\u20134), 316\u2013361 (2010)","journal-title":"Artif. Intell."},{"issue":"2","key":"22_CR4","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. J. ACM 30(2), 323\u2013342 (1983)","journal-title":"J. ACM"},{"key":"22_CR5","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: Proceedings of ICSE 2009, pp. 627\u2013630. IEEE (2009)","DOI":"10.1109\/ICSE.2009.5070572"},{"issue":"7","key":"22_CR6","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1016\/j.infsof.2012.01.010","volume":"54","author":"J C\u00e1mara","year":"2012","unstructured":"C\u00e1mara, J., Sala\u00fcn, G., Canal, C., Ouederni, M.: Interactive specification and verification of behavioral adaptation contracts. Inf. Softw. Technol. 54(7), 701\u2013723 (2012)","journal-title":"Inf. Softw. Technol."},{"issue":"1","key":"22_CR7","first-page":"9","volume":"12","author":"C Canal","year":"2006","unstructured":"Canal, C., Murillo, J.M., Poizat, P.: Software adaptation. L\u2019Objet 12(1), 9\u201331 (2006)","journal-title":"L\u2019Objet"},{"issue":"4","key":"22_CR8","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. Softw. Eng. 34(4), 546\u2013563 (2008)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"22_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1007\/978-3-662-46675-9_17","volume-title":"Fundamental Approaches to Software Engineering","author":"C Canal","year":"2015","unstructured":"Canal, C., Sala\u00fcn, G.: Model-based adaptation of software communicating via FIFO buffers. In: Egyed, A., Schaefer, I. (eds.) FASE 2015. LNCS, vol. 9033, pp. 252\u2013266. Springer, Heidelberg (2015)"},{"key":"22_CR10","unstructured":"Champelovier, D., Clerc, X., Garavel, H., Guerte, Y., Powazny, V., Lang, F., Serwe, W., Smeding, G.: Reference Manual of the LOTOS NT to LOTOS Translator (Version 5.4). INRIA\/VASY, 149 p. (2011)"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of ESEC\/FSE 2001, pp. 109\u2013120. ACM Press (2001)","DOI":"10.1145\/503271.503226"},{"issue":"7\u20138","key":"22_CR12","doi-asserted-by":"publisher","first-page":"870","DOI":"10.1016\/j.scico.2011.03.009","volume":"77","author":"F Dur\u00e1n","year":"2012","unstructured":"Dur\u00e1n, F., Ouederni, M., Sala\u00fcn, G.: A generic framework for N-protocol compatibility checking. Sci. Comput. Program. 77(7\u20138), 870\u2013886 (2012)","journal-title":"Sci. Comput. Program."},{"key":"22_CR13","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. 6605, pp. 372\u2013387. Springer, Heidelberg (2011)"},{"issue":"1","key":"22_CR14","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 Trans. Serv. Comput. 5(1), 72\u201385 (2012)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Tivoli, M.: Automatic synthesis of modular connectors via composition of protocol mediation patterns. In: Proceedings of ICSE 2013, pp. 3\u201312. IEEE\/ACM (2013)","DOI":"10.1109\/ICSE.2013.6606546"},{"key":"22_CR16","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"},{"key":"22_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-642-01918-0_3","volume-title":"Formal Methods for Web Services","author":"A Marconi","year":"2009","unstructured":"Marconi, A., Pistore, M.: Synthesis and composition of web services. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol. 5569, pp. 89\u2013157. Springer, Heidelberg (2009)"},{"issue":"4","key":"22_CR18","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. Softw. Eng. 38(4), 755\u2013777 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"22_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-540-68237-0_12","volume-title":"FM 2008: Formal Methods","author":"R Mateescu","year":"2008","unstructured":"Mateescu, R., Thivolle, D.: A model checking language for concurrent value-passing systems. In: Cuellar, J., Sere, K. (eds.) FM 2008. LNCS, vol. 5014, pp. 148\u2013164. Springer, Heidelberg (2008)"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Motahari Nezhad, H.R., Xu, G.Y., Benatallah, B.: Protocol-aware matching of web service interfaces for adapter development. In: Proceedings of WWW 2010, pp. 731\u2013740. ACM (2010)","DOI":"10.1145\/1772690.1772765"},{"key":"22_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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. 8348, pp. 310\u2013328. Springer, Heidelberg (2014)"},{"key":"22_CR22","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. 5569, pp. 213\u2013260. Springer, Heidelberg (2009)"},{"issue":"11","key":"22_CR23","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. Softw. Eng. 28(11), 1056\u20131076 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"22_CR24","doi-asserted-by":"crossref","unstructured":"Seguel, R., Eshuis, R., Grefen, P.W.P.J.: Generating minimal protocol adaptors for loosely coupled services. In: Proceedings of ICWS 2010, pp. 417\u2013424. IEEE Computer Society (2010)","DOI":"10.1109\/ICWS.2010.14"},{"key":"22_CR25","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":"WMP 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. 5569, pp. 42\u201388. Springer, Heidelberg (2009)"},{"issue":"2","key":"22_CR26","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/244795.244801","volume":"19","author":"DM Yellin","year":"1997","unstructured":"Yellin, D.M., Strom, R.E.: Protocol specifications and components adaptors. ACM Trans. Program. Lang. Syst. 19(2), 292\u2013333 (1997)","journal-title":"ACM Trans. Program. Lang. Syst."}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-41591-8_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T00:55:21Z","timestamp":1558313721000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-41591-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319415901","9783319415918"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-41591-8_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"23 June 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}