{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T01:57:13Z","timestamp":1725847033574},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662492239"},{"type":"electronic","value":"9783662492246"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-662-49224-6_20","type":"book-chapter","created":{"date-parts":[[2016,1,11]],"date-time":"2016-01-11T08:35:44Z","timestamp":1452501344000},"page":"240-252","source":"Crossref","is-referenced-by-count":3,"title":["Towards Adapting Choreography-Based Service Compositions Through Enterprise Integration Patterns"],"prefix":"10.1007","author":[{"given":"Amleto","family":"Di Salle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Gallo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Perucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,12]]},"reference":[{"key":"20_CR1","unstructured":"European Commission: Digital Agenda for Europe - Future Internet Research and Experimentation (FIRE) initiative (2015)"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-37057-1_4","volume-title":"Fundamental Approaches to Software Engineering","author":"M Autili","year":"2013","unstructured":"Autili, M., Di Ruscio, D., Di Salle, A., Inverardi, P., Tivoli, M.: A model-based synthesis process for choreography realizability enforcement. In: Cortellessa, V., Varr\u00f3, D. (eds.) FASE 2013 (ETAPS 2013). LNCS, vol. 7793, pp. 37\u201352. Springer, Heidelberg (2013)"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-642-40894-6_8","volume-title":"Software Engineering for Resilient Systems","author":"M Autili","year":"2013","unstructured":"Autili, M., Di Salle, A., Tivoli, M.: Synthesis of resilient choreographies. In: Gorbenko, A., Romanovsky, A., Kharchenko, V. (eds.) SERENE 2013. LNCS, vol. 8166, pp. 94\u2013108. Springer, Heidelberg (2013)"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Salle, A.D., Inverardi, P., Perucci, A.: Towards adaptable and evolving service choreography in the future Internet. In: IEEE Services, pp. 333\u2013337 (2014)","DOI":"10.1109\/SERVICES.2014.65"},{"issue":"1","key":"20_CR5","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MS.2014.131","volume":"32","author":"M Autili","year":"2015","unstructured":"Autili, M., Inverardi, P., Tivoli, M.: Automated synthesis of service choreographies. IEEE Softw. 32(1), 50\u201357 (2015)","journal-title":"IEEE Softw."},{"key":"20_CR6","volume-title":"Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions - Printing 2011","author":"G Hohpe","year":"2004","unstructured":"Hohpe, G., Woolf, B.: Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions - Printing 2011. Addison-Wesley Longman, Boston (2004)"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Basu, S., Bultan, T.: Choreography conformance via synchronizability. In: Proceedings of WWW (2011)","DOI":"10.1145\/1963405.1963516"},{"issue":"3","key":"20_CR8","first-page":"18","volume":"31","author":"D Calvanese","year":"2008","unstructured":"Calvanese, D., Giacomo, G.D., Lenzerini, M., Mecella, M., Patrizi, F.: Automatic service composition and synthesis: the roman model. IEEE Data Eng. Bull. 31(3), 18\u201322 (2008)","journal-title":"IEEE Data Eng. Bull."},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Hall\u00e9, S., Bultan, T.: Realizability analysis for message-based interactions using shared-state projections. In: Proceedings of FSE, pp. 27\u201336 (2010)","DOI":"10.1145\/1882291.1882298"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1142\/S0218213008003807","volume":"17","author":"J Pathak","year":"2008","unstructured":"Pathak, J., Lutz, R., Honavar, V.: Moscoe: an approach for composing web services through iterative reformulation of functional specifications. Int. J. Artif. Intell. Tools 17, 109\u2013138 (2008)","journal-title":"Int. J. Artif. Intell. Tools"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Sala\u00fcn, G.: Generation of service wrapper protocols from choreography specifications. In: Proceedings of SEFM (2008)","DOI":"10.1109\/SEFM.2008.42"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Poizat, P., Sala\u00fcn, G.: Checking the realizability of BPMN 2.0 choreographies. In: Proceedings of SAC 2012 (2012)","DOI":"10.1145\/2245276.2232095"},{"key":"20_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-35743-5_10","volume-title":"Formal Aspects of Component Software","author":"G G\u00f6ssler","year":"2012","unstructured":"G\u00f6ssler, G., Sala\u00fcn, G.: Realizability of choreographies for services interacting asynchronously. In: Arbab, F., \u00d6lveczky, P.C. (eds.) FACS 2011. LNCS, vol. 7253, pp. 151\u2013167. Springer, Heidelberg (2012)"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Basu, S., Bultan, T., Ouederni, M.: Deciding choreography realizability. In: Proceedings of POPL. ACM (2012)","DOI":"10.1145\/2103656.2103680"},{"key":"20_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-642-37057-1_16","volume-title":"Fundamental Approaches to Software Engineering","author":"M G\u00fcdemann","year":"2013","unstructured":"G\u00fcdemann, M., Poizat, P., Sala\u00fcn, G., Dumont, A.: VerChor: a framework for verifying choreographies. In: Cortellessa, V., Varr\u00f3, D. (eds.) FASE 2013 (ETAPS 2013). LNCS, vol. 7793, pp. 226\u2013230. Springer, Heidelberg (2013)"},{"issue":"3","key":"20_CR16","first-page":"290","volume":"5","author":"G Sala\u00fcn","year":"2012","unstructured":"Sala\u00fcn, G., Bultan, T., Roohi, N.: Realizability of choreographies using process algebra encodings. IEEE TSC 5(3), 290\u2013304 (2012)","journal-title":"IEEE TSC"},{"key":"20_CR17","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":"20_CR18","doi-asserted-by":"crossref","unstructured":"Basu, S., Bultan, T.: Automatic verification of interactions in asynchronous systems with unbounded buffers. In: Proceedings of ASE, pp. 743\u2013754 (2014)","DOI":"10.1145\/2642937.2643016"},{"key":"20_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-642-37057-1_16","volume-title":"Fundamental Approaches to Software Engineering","author":"M G\u00fcdemann","year":"2013","unstructured":"G\u00fcdemann, M., Poizat, P., Sala\u00fcn, G., Dumont, A.: VerChor: a framework for verifying choreographies. In: Cortellessa, V., Varr\u00f3, D. (eds.) FASE 2013 (ETAPS 2013). LNCS, vol. 7793, pp. 226\u2013230. Springer, Heidelberg (2013)"},{"key":"20_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/978-3-642-33386-6_20","volume-title":"Automated Technology for Verification and Analysis","author":"M G\u00fcdemann","year":"2012","unstructured":"G\u00fcdemann, M., Sala\u00fcn, G., Ouederni, M.: Counterexample guided synthesis of monitors for realizability enforcement. In: Chakraborty, S., Mukund, M. (eds.) ATVA 2012. LNCS, vol. 7561, pp. 238\u2013253. Springer, Heidelberg (2012)"},{"key":"20_CR21","volume-title":"Software Architecture - Perspectives on an Emerging Discipline","author":"M Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architecture - Perspectives on an Emerging Discipline. Prentice Hall, Upper Saddle River (1996)"},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Autili, M., Ruscio, D.D., Salle, A.D., Perucci, A.: Choreosynt: enforcing choreography realizability in the future Internet. In: Proceedings of FSE, pp. 723\u2013726 (2014)","DOI":"10.1145\/2635868.2661667"},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Inverardi, P., Pelliccione, P., Tivoli, M.: Automatic synthesis of behavior protocols for composable web-services. In: Proceedings of ESEC\/FSE (2009)","DOI":"10.1145\/1595696.1595719"},{"issue":"1","key":"20_CR24","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/49.46852","volume":"8","author":"KL Calvert","year":"1990","unstructured":"Calvert, K.L., Lam, S.S.: Formal methods for protocol conversion. IEEE J. Sel. Areas Commun. 8(1), 16 (1990)","journal-title":"IEEE J. Sel. Areas Commun."},{"issue":"9","key":"20_CR25","first-page":"1376","volume":"14","author":"SS Lam","year":"1988","unstructured":"Lam, S.S.: Correction to \u201cprotocol conversion\u201d. IEEE TSE 14(9), 1376 (1988)","journal-title":"IEEE TSE"},{"key":"20_CR26","doi-asserted-by":"crossref","unstructured":"Vacul\u00edn, R., Sycara, K.: Towards automatic mediation of OWL-S process models. In: Proceedings of IEEE Web Services (2007)","DOI":"10.1109\/ICWS.2007.177"},{"key":"20_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-79968-9_9","volume-title":"Service-Oriented Computing: Agents, Semantics, and Engineering","author":"R Vacul\u00edn","year":"2008","unstructured":"Vacul\u00edn, R., Neruda, R., Sycara, K.: An agent for asymmetric process mediation in open environments. In: Kowalczyk, R., Huhns, M.N., Klusch, M., Maamar, Z., Vo, Q.B. (eds.) Service-Oriented Computing: Agents, Semantics, and Engineering. LNCS, vol. 5006, pp. 104\u2013117. Springer, Heidelberg (2008)"},{"key":"20_CR28","doi-asserted-by":"crossref","unstructured":"Spitznagel, B., Garlan, D.: A compositional formalization of connector wrappers. In: Proceedings of ICSE (2003)","DOI":"10.1109\/ICSE.2003.1201216"},{"key":"20_CR29","doi-asserted-by":"crossref","unstructured":"Passerone, R., Alfaro, L.D., Henzinger, T.A., Sangiovanni-Vincentelli, A.L.: Convertibility verification and converter synthesis: two faces of the same coin. In: Proceedings of ICCAD (2002)","DOI":"10.1145\/774572.774592"},{"issue":"3","key":"20_CR30","first-page":"221","volume":"41","author":"A Bennaceur","year":"2015","unstructured":"Bennaceur, A., Issarny, V.: Automated synthesis of mediators to support component interoperability. IEEE TSE 41(3), 221\u2013240 (2015)","journal-title":"IEEE TSE"},{"key":"20_CR31","doi-asserted-by":"crossref","unstructured":"Do, H.H., Melnik, S., Rahm, E.: Comparison of schema matching evaluations. In: Web, Web-Services, and Database Systems, pp. 221\u2013237 (2002)","DOI":"10.1007\/3-540-36560-5_17"},{"key":"20_CR32","doi-asserted-by":"crossref","unstructured":"Do, H.H., Rahm, E.: COMA - a system for flexible combination of schema matching approaches. In: Proceedings of VLDB, pp. 610\u2013621 (2002)","DOI":"10.1016\/B978-155860869-6\/50060-3"},{"key":"20_CR33","unstructured":"Massmann, S., Engmann, D., Rahm, E.: COMA++: results for the ontology alignment contest OAEI 2006. In: Proceedings of OM\/ISWC (2006)"},{"key":"20_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/3-540-48005-6_26","volume-title":"The Semantic Web - ISWC 2002","author":"M Paolucci","year":"2002","unstructured":"Paolucci, M., Kawamura, T., Payne, T.R., Sycara, K.: Semantic matching of web services capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 333\u2013347. Springer, Heidelberg (2002)"},{"key":"20_CR35","volume-title":"Security Patterns Integrating Security and Systems Engineering","author":"M Schumacher","year":"2005","unstructured":"Schumacher, M., Fernandez-Buglioni, E., Hybertson, D., Buschmann, F., Sommerlad, P.: Security Patterns Integrating Security and Systems Engineering. Wiley, Verlag (2005)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49224-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T09:22:03Z","timestamp":1559380923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49224-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662492239","9783662492246"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49224-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}