{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:15:20Z","timestamp":1750306520378,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,11,11]],"date-time":"2014-11-11T00:00:00Z","timestamp":1415664000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,11,11]]},"DOI":"10.1145\/2635868.2661667","type":"proceedings-article","created":{"date-parts":[[2014,11,4]],"date-time":"2014-11-04T21:44:36Z","timestamp":1415137476000},"page":"723-726","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["CHOReOSynt: enforcing choreography realizability in the future internet"],"prefix":"10.1145","author":[{"given":"Marco","family":"Autili","sequence":"first","affiliation":[{"name":"University of L'Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Di Ruscio","sequence":"additional","affiliation":[{"name":"University of L'Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amleto","family":"Di Salle","sequence":"additional","affiliation":[{"name":"University of L'Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Perucci","sequence":"additional","affiliation":[{"name":"University of L'Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,11,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37057-1_4"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/RESS.2011.6043925"},{"key":"e_1_3_2_1_3_1","series-title":"LNCS","first-page":"108","volume-title":"SERENE","author":"Autili M.","unstructured":"M. Autili , A. Salle , and M. Tivoli . Synthesis of resilient choreographies . In SERENE , volume 8166 of LNCS , pages 94\u2013 108 . 2013. M. Autili, A. Salle, and M. Tivoli. Synthesis of resilient choreographies. In SERENE, volume 8166 of LNCS, pages 94\u2013108. 2013."},{"key":"e_1_3_2_1_4_1","volume-title":"FOCLASA","author":"Autili M.","year":"2014","unstructured":"M. Autili and M. Tivoli . Distributed enforcement of service choreographies . In FOCLASA , 2014 . M. Autili and M. Tivoli. Distributed enforcement of service choreographies. In FOCLASA, 2014."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103680"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1963405.1963516"},{"key":"e_1_3_2_1_7_1","volume-title":"European Commission. Future Internet 2020: Visions of an Industry Expert Group","author":"Bruxelles","year":"2009","unstructured":"Bruxelles : European Commission. Future Internet 2020: Visions of an Industry Expert Group , 2009 . Bruxelles: European Commission. Future Internet 2020: Visions of an Industry Expert Group, 2009."},{"issue":"3","key":"e_1_3_2_1_8_1","first-page":"18","article-title":"Automatic service composition and synthesis: the roman model","volume":"31","author":"Calvanese D.","year":"2008","unstructured":"D. Calvanese , G. De Giacomo , M. Lenzerini , M. Mecella , and F. Patrizi . Automatic service composition and synthesis: the roman model . IEEE Data Eng. Bull. , 31 ( 3 ): 18 \u2013 22 , 2008 . D. Calvanese, G. De Giacomo, M. Lenzerini, M. Mecella, and F. Patrizi. Automatic service composition and synthesis: the roman model. IEEE Data Eng. Bull., 31(3):18\u201322, 2008.","journal-title":"IEEE Data Eng. Bull."},{"issue":"1","key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/s13174-011-0021-3","article-title":"Service-oriented middleware for the future internet: state of the art and research directions","volume":"2","author":"Issarny V.","year":"2011","unstructured":"V. Issarny , N. Georgantas , S. Hachem , A. Zarras , P. Vassiliadist , M. Autili , M.A. Gerosa , and A. Hamida . Service-oriented middleware for the future internet: state of the art and research directions . JISA Journal , 2 ( 1 ): 23 \u2013 45 , 2011 . V. Issarny, N. Georgantas, S. Hachem, A. Zarras, P. Vassiliadist, M. Autili, M.A. Gerosa, and A. Hamida. Service-oriented middleware for the future internet: state of the art and research directions. JISA Journal, 2(1):23\u201345, 2011.","journal-title":"JISA Journal"},{"key":"e_1_3_2_1_10_1","volume-title":"ModComp at MoDELS\u201914","author":"Autili A. Di Salle M.","year":"2014","unstructured":"A. Di Salle M. Autili , D. Di Ruscio and P. Inverardi . Synthesizing an automata-based representation of bpmn2 choreography diagrams . In ModComp at MoDELS\u201914 , 2014 . A. Di Salle M. Autili, D. Di Ruscio and P. Inverardi. Synthesizing an automata-based representation of bpmn2 choreography diagrams. In ModComp at MoDELS\u201914, 2014."},{"key":"e_1_3_2_1_11_1","volume-title":"Silingas. Composing Services in the Future Internet: Choreography-Based Approach","volume":"174","author":"Autili G. De Angelis M.","year":"2013","unstructured":"G. De Angelis M. Autili , A. Ben Hamida and D . Silingas. Composing Services in the Future Internet: Choreography-Based Approach , volume Intelligent BPM Systems (iBPMS) Book: Impact and Opportunity, pages 163\u2013 174 . 2013 . G. De Angelis M. Autili, A. Ben Hamida and D. Silingas. Composing Services in the Future Internet: Choreography-Based Approach, volume Intelligent BPM Systems (iBPMS) Book: Impact and Opportunity, pages 163\u2013174. 2013."},{"key":"e_1_3_2_1_12_1","volume-title":"Business Process Model and Notation (BPMN), version 2.0","author":"Object Management Group (OMG).","year":"2011","unstructured":"Object Management Group (OMG). Business Process Model and Notation (BPMN), version 2.0 , 2011 . Object Management Group (OMG). Business Process Model and Notation (BPMN), version 2.0, 2011."},{"key":"e_1_3_2_1_13_1","unstructured":"Organization for the Advancement of Structured Information Standards (OASIS). BPEL 2.0 2007.  Organization for the Advancement of Structured Information Standards (OASIS). BPEL 2.0 2007."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2245276.2232095"}],"event":{"name":"SIGSOFT\/FSE'14: 22nd ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Hong Kong China","acronym":"SIGSOFT\/FSE'14"},"container-title":["Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2635868.2661667","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2635868.2661667","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:11:57Z","timestamp":1750227117000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2635868.2661667"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,11]]},"references-count":14,"alternative-id":["10.1145\/2635868.2661667","10.1145\/2635868"],"URL":"https:\/\/doi.org\/10.1145\/2635868.2661667","relation":{},"subject":[],"published":{"date-parts":[[2014,11,11]]},"assertion":[{"value":"2014-11-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}