{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T03:40:01Z","timestamp":1746416401655,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662453902"},{"type":"electronic","value":"9783662453919"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-662-45391-9_34","type":"book-chapter","created":{"date-parts":[[2014,10,10]],"date-time":"2014-10-10T04:01:44Z","timestamp":1412913704000},"page":"437-444","source":"Crossref","is-referenced-by-count":2,"title":["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","reference":[{"key":"34_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":"34_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":"34_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":"34_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":"34_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":"34_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":"34_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":"34_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":"34_CR9","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"},{"issue":"4","key":"34_CR10","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":"34_CR11","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":"34_CR12","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":"34_CR13","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"},{"key":"34_CR14","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":"34_CR15","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":"4","key":"34_CR16","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":"34_CR17","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":"34_CR18","series-title":"LNCS","first-page":"310","volume-title":"FACS 2013","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":"34_CR19","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":"34_CR20","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":"34_CR21","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":"2","key":"34_CR22","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","Service-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45391-9_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T02:58:35Z","timestamp":1746413915000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45391-9_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662453902","9783662453919"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45391-9_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}