{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:34:14Z","timestamp":1725748454746},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642408939"},{"type":"electronic","value":"9783642408946"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40894-6_8","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T06:39:24Z","timestamp":1378967964000},"page":"94-108","source":"Crossref","is-referenced-by-count":10,"title":["Synthesis of Resilient Choreographies"],"prefix":"10.1007","author":[{"given":"Marco","family":"Autili","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amleto","family":"Di Salle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Tivoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-642-38230-7_8","volume-title":"Web Services and Formal Methods","author":"F. Arbab","year":"2013","unstructured":"Arbab, F., Santini, F.: Preference and similarity-based behavioral discovery of services. In: ter Beek, M.H., Lohmann, N. (eds.) WS-FM 2012. LNCS, vol.\u00a07843, pp. 118\u2013133. Springer, Heidelberg (2013)"},{"key":"8_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. LNCS, vol.\u00a07793, pp. 37\u201352. Springer, Heidelberg (2013)"},{"unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The description logic handbook: theory, implementation, and applications. Cambridge University Press (2003)","key":"8_CR3"},{"doi-asserted-by":"crossref","unstructured":"Basu, S., Bultan, T.: Choreography conformance via synchronizability. In: Proc. of WWW 2011, pp. 795\u2013804 (2011)","key":"8_CR4","DOI":"10.1145\/1963405.1963516"},{"doi-asserted-by":"crossref","unstructured":"Basu, S., Bultan, T., Ouederni, M.: Deciding choreography realizability. In: Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, pp. 191\u2013202. ACM (2012)","key":"8_CR5","DOI":"10.1145\/2103656.2103680"},{"key":"8_CR6","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)"},{"issue":"3","key":"8_CR7","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.\u00a031(3), 18\u201322 (2008)","journal-title":"IEEE Data Eng. Bull."},{"doi-asserted-by":"crossref","unstructured":"Calvert, K.L., Lam, S.S.: Formal methods for protocol conversion. IEEE Journal on Selected Areas in Communications\u00a08(1) (1990)","key":"8_CR8","DOI":"10.1109\/49.46852"},{"unstructured":"Fluegge, M., Tourtchaninova, D.: Ontology-derived activity components for composing travel web services. In: International Workshop on Semantic Web Technologies in Electronic Business, SWEB 2004 (2004)","key":"8_CR9"},{"doi-asserted-by":"crossref","unstructured":"Inverardi, P., Tivoli, M.: Automatic synthesis of modular connectors via composition of protocol mediation patterns. In: ICSE, pp. 3\u201312 (2013)","key":"8_CR10","DOI":"10.1109\/ICSE.2013.6606546"},{"doi-asserted-by":"crossref","unstructured":"Kalfoglou, Y., Schorlemmer, M.: Ontology mapping: the state of the art. Knowl. Eng. Rev.\u00a018(1) (2003)","key":"8_CR11","DOI":"10.1017\/S0269888903000651"},{"doi-asserted-by":"crossref","unstructured":"Lam, S.S.: Correction to \u201cprotocol conversion\u201d. IEEE Trans. Software Eng.\u00a014(9) (1988)","key":"8_CR12","DOI":"10.1109\/32.6181"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, Clocks, and the Ordering of Events in a Distributed System. Commun. ACM\u00a021, 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"issue":"3","key":"8_CR14","first-page":"23","volume":"31","author":"A. Marconi","year":"2008","unstructured":"Marconi, A., Pistore, M., Traverso, P.: Automated Composition of Web Services: the ASTRO Approach. IEEE Data Eng. Bull.\u00a031(3), 23\u201326 (2008)","journal-title":"IEEE Data Eng. Bull."},{"unstructured":"OMG. Business Process Model and Notation (BPMN) Version 2.0, \n                    \n                      http:\/\/www.omg.org\/spec\/BPMN\/2.0\/","key":"8_CR15"},{"issue":"11","key":"8_CR16","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/MC.2007.400","volume":"40","author":"M. Papazoglou","year":"2007","unstructured":"Papazoglou, M., Traverso, P., Dustdar, S., Leymann, F.: Service-oriented computing: State of the art and research challenges. Computer\u00a040(11), 38\u201345 (2007)","journal-title":"Computer"},{"doi-asserted-by":"crossref","unstructured":"Poizat, P., Sala\u00fcn, G.: Checking the Realizability of BPMN 2.0 Choreographies. In: Proc. of SAC 2012, pp. 1927\u20131934 (2012)","key":"8_CR17","DOI":"10.1145\/2245276.2232095"},{"unstructured":"Ponnekanti, S., Fox, A.: Sword: A developer toolkit for web service composition. In: Proc. of the 11th WWW Conference (2002)","key":"8_CR18"},{"doi-asserted-by":"crossref","unstructured":"Passerone, R., De Alfaro, L., Henzinger, T.A., Sangiovanni-Vincentelli, A.L.: Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin. In: ICCAD (2002)","key":"8_CR19","DOI":"10.1145\/774572.774592"},{"doi-asserted-by":"crossref","unstructured":"Sala\u00fcn, G.: Generation of service wrapper protocols from choreography specifications. In: Proc. of SEFM (2008)","key":"8_CR20","DOI":"10.1109\/SEFM.2008.42"},{"unstructured":"Sen, K., Vardhan, A., Agha, G., Rosu, G.: Efficient decentralized monitoring of safety in distributed systems. In: Proc. of ICSE (2004)","key":"8_CR21"},{"doi-asserted-by":"crossref","unstructured":"Simmonds, J., Gan, Y., Chechik, M., Nejati, S., O\u2019Farrell, B., Litani, E., Waterhouse, J.: Runtime monitoring of web service conversations. IEEE T. Services Computing\u00a02(3) (2009)","key":"8_CR22","DOI":"10.1109\/TSC.2009.16"},{"unstructured":"Sirin, E., Hendler, J., Parsia, B.: Semi-automatic composition of web services using semantic descriptions. In: Proc. of Web Services: Modeling, Architecture and Infrastructure Workshop (2003)","key":"8_CR23"},{"doi-asserted-by":"crossref","unstructured":"Spitznagel, B., Garlan, D.: A compositional formalization of connector wrappers. In: ICSE (2003)","key":"8_CR24","DOI":"10.1109\/ICSE.2003.1201216"},{"key":"8_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-79230-7_1","volume-title":"Web Services and Formal Methods","author":"J. Su","year":"2008","unstructured":"Su, J., Bultan, T., Fu, X., Zhao, X.: Towards a theory of web service choreographies. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol.\u00a04937, pp. 1\u201316. Springer, Heidelberg (2008)"},{"doi-asserted-by":"crossref","unstructured":"Toch, E., Gal, A., Reinhartz-Berger, I., Dori, D.: A semantic approach to approximate service retrieval. ACM Trans. Internet Technol.\u00a08(1) (2007)","key":"8_CR26","DOI":"10.1145\/1294148.1294150"},{"key":"8_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/978-3-540-79968-9_9","volume-title":"SOCASE 2008","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.) SOCASE 2008. LNCS, vol.\u00a05006, pp. 104\u2013117. Springer, Heidelberg (2008)"},{"doi-asserted-by":"crossref","unstructured":"Vacul\u00edn, R., Sycara, K.: Towards automatic mediation of OWL-S process models. In: IEEE International Conference on Web Services (2007)","key":"8_CR28","DOI":"10.1109\/ICWS.2007.177"},{"doi-asserted-by":"crossref","unstructured":"Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Trans. Program. Lang. Syst.\u00a019 (March 1997)","key":"8_CR29","DOI":"10.1145\/244795.244801"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Resilient Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40894-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T02:08:27Z","timestamp":1558058907000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40894-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642408939","9783642408946"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40894-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}