{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T22:22:01Z","timestamp":1749334921542},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662496640"},{"type":"electronic","value":"9783662496657"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","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-662-49665-7_2","type":"book-chapter","created":{"date-parts":[[2016,3,21]],"date-time":"2016-03-21T08:09:42Z","timestamp":1458547782000},"page":"13-30","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["Automated Choreography Repair"],"prefix":"10.1007","author":[{"given":"Samik","family":"Basu","sequence":"first","affiliation":[]},{"given":"Tevfik","family":"Bultan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1007\/3-540-48224-5_65","volume-title":"Automata, Languages and Programming","author":"Rajeev Alur","year":"2001","unstructured":"Alur, R., Etessami, K., Yannakakis, M.: Realizability and verification of MSC graphs. In: Proceedings of 28th International Colloquium on Automata, Languages, and Programming, pp. 797\u2013808 (2001)"},{"doi-asserted-by":"crossref","unstructured":"Armstrong, J.: Getting Erlang to talk to the outside world. In: Proceedings of ACM SIGPLAN Workshop on Erlang, pp. 64\u201372 (2002)","key":"2_CR2","DOI":"10.1145\/592849.592858"},{"key":"2_CR3","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)"},{"doi-asserted-by":"crossref","unstructured":"Basu, S., Bultan, T., Ouederni, M.: Deciding choreography realizability. In: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2012)","key":"2_CR4","DOI":"10.1145\/2103656.2103680"},{"issue":"1","key":"2_CR5","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/s11761-008-0022-7","volume":"2","author":"T Bultan","year":"2008","unstructured":"Bultan, T., Fu, X.: Specification of realizable service conversations using collaboration diagrams. Serv. Oriented Comput. Appl. 2(1), 27\u201339 (2008)","journal-title":"Serv. Oriented Comput. Appl."},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-28869-2_10","volume-title":"Programming Languages and Systems","author":"P-M Deni\u00e9lou","year":"2012","unstructured":"Deni\u00e9lou, P.-M., Yoshida, N.: Multiparty session types meet communicating automata. In: Seidl, H. (ed.) Programming Languages and Systems. LNCS, vol. 7211, pp. 194\u2013213. Springer, Heidelberg (2012)"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/3-540-45089-0_18","volume-title":"Implementation and Application of Automata","author":"X Fu","year":"2003","unstructured":"Fu, X., Bultan, T., Su, J.: Conversation protocols: a formalism for specification and verification of reactive electronic services. In: Ibarra, O.H., Dang, Z. (eds.) CIAA 2003. LNCS, vol. 2759, pp. 188\u2013200. Springer, Heidelberg (2003)"},{"key":"2_CR8","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)"},{"doi-asserted-by":"crossref","unstructured":"Hall\u00e9, S., Bultan, T.: Realizability analysis for message-based interactions using shared-state projections. In: SIGSOFT Foundations of Software Engineering (2010)","key":"2_CR9","DOI":"10.1145\/1882291.1882298"},{"doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: Proceedings of Symposium Principles of Programming Languages (2008)","key":"2_CR10","DOI":"10.1145\/1328438.1328472"},{"issue":"2","key":"2_CR11","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/1243418.1243424","volume":"41","author":"GC Hunt","year":"2007","unstructured":"Hunt, G.C., Larus, J.R.: Singularity: rethinking the software stack. Operating Syst. Rev. 41(2), 37\u201349 (2007)","journal-title":"Operating Syst. Rev."},{"unstructured":"Kumaran, S., Nandi, P., Hanson, J., Heath, T., Patnaik, Y.: Conversational browser. IBM Techreport (2004)","key":"2_CR12"},{"key":"2_CR13","doi-asserted-by":"crossref","first-page":"34","DOI":"10.4204\/EPTCS.123.5","volume":"123","author":"Ivan Lanese","year":"2013","unstructured":"Lanese, I., Montesi, F., Zavattaro, G.: Amending choreographies. In: Automated Specification and Verification of Web Systems (2013)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-642-14458-5_7","volume-title":"Web Services and Formal Methods","author":"N Lohmann","year":"2010","unstructured":"Lohmann, N., Wolf, K.: Realizability is controllability. In: Laneve, C., Su, J. (eds.) WS-FM 2009. LNCS, vol. 6194, pp. 110\u2013127. Springer, Heidelberg (2010)"},{"doi-asserted-by":"crossref","unstructured":"Qiu, Z., Zhao, X., Cai, C., Yang, H.: Towards the theoretical foundation of choreography. In: Proceedings of Conference on World Wide Web (2007)","key":"2_CR15","DOI":"10.1145\/1242572.1242704"},{"unstructured":"Singularity design note 5: Channel contracts. singularity rdk documentation (v1.1) (2004). \n                      http:\/\/www.codeplex.com\/singularity","key":"2_CR16"},{"doi-asserted-by":"crossref","unstructured":"Stengel, Z., Bultan, T.: Analyzing singularity channel contracts. In: Proceedings of 18th International Symposium on Software Testing and Analysis (ISSTA), pp. 13\u201324 (2009)","key":"2_CR17","DOI":"10.1145\/1572272.1572275"},{"unstructured":"Web Service Choreography Description Language (WS-CDL) (2005). \n                      http:\/\/www.w3.org\/TR\/ws-cdl-10\/","key":"2_CR18"},{"doi-asserted-by":"crossref","unstructured":"Yoon, Y., Ye, C., Jacobsen, H.-A.: A distributed framework for reliable and efficient service choreographies. In: Proceedings of the 20th International Conference on World wide web, WWW 2011, pp. 785\u2013794. ACM (2011)","key":"2_CR19","DOI":"10.1145\/1963405.1963515"}],"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-49665-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,24]],"date-time":"2020-03-24T01:09:44Z","timestamp":1585012184000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49665-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662496640","9783662496657"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49665-7_2","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":"This content has been made available to all.","name":"free","label":"Free to read"}]}}