{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:47:02Z","timestamp":1750308422986,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,24]],"date-time":"2018-09-24T00:00:00Z","timestamp":1537747200000},"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":[[2018,9,24]]},"DOI":"10.1145\/3241403.3241425","type":"proceedings-article","created":{"date-parts":[[2018,9,19]],"date-time":"2018-09-19T12:16:51Z","timestamp":1537359411000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["On the model-driven synthesis of evolvable service choreographies"],"prefix":"10.1145","author":[{"given":"Marco","family":"Autili","sequence":"first","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":"Francesco","family":"Gallo","sequence":"additional","affiliation":[{"name":"University of L'Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio","family":"Pompilio","sequence":"additional","affiliation":[{"name":"University of L'Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Tivoli","sequence":"additional","affiliation":[{"name":"University of L'Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-15579-1_1"},{"volume-title":"CHOREOS: Large scale choreographies for the future internet. In CSMR-WCRE","year":"2014","author":"Autili Marco","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Marco Autili Paola Inverardi and Massimo Tivoli. 2015. Automated Synthesis of Service Choreographies. IEEE Software (2015) 50--57.  Marco Autili Paola Inverardi and Massimo Tivoli. 2015. Automated Synthesis of Service Choreographies. IEEE Software (2015) 50--57.","DOI":"10.1109\/MS.2014.131"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2008.04.006"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37057-1_4"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3167132.3167287"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.201.3"},{"volume-title":"Synthesis of Resilient Choreographies. In SERENE","year":"2013","author":"Autili Marco","key":"e_1_3_2_1_8_1"},{"volume-title":"Distributed Enforcement of Service Choreographies. In FOCLASA","year":"2014","author":"Autili Marco","key":"e_1_3_2_1_9_1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Muhammad Ali Babar Lianping Chen and Forrest Shull. 2010. Managing Variability in Software Product Lines. IEEE Software (2010) 89--91.  Muhammad Ali Babar Lianping Chen and Forrest Shull. 2010. Managing Variability in Software Product Lines. IEEE Software (2010) 89--91.","DOI":"10.1109\/MS.2010.77"},{"volume-title":"PFE","year":"2003","author":"Bachmann Felix","key":"e_1_3_2_1_11_1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1963405.1963516"},{"key":"e_1_3_2_1_13_1","unstructured":"Nicola Boffoli Marta Cimitile Fabrizio Maria Maggi and Giuseppe Visaggio. 2009. Managing SOA System Variation through Business Process Lines and Process Oriented Development.  Nicola Boffoli Marta Cimitile Fabrizio Maria Maggi and Giuseppe Visaggio. 2009. Managing SOA System Variation through Business Process Lines and Process Oriented Development."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Radu Calinescu Marco Autili Javier C\u00e1mara Antinisca Di Marco Simos Gerasimou Paola Inverardi Alexander Perucci Nils Jansen Joost-Pieter Katoen Marta Z. Kwiatkowska Ole J. Mengshoel Romina Spalazzese and Massimo Tivoli. 2017. Synthesis and Verification of Self-aware Computing Systems. In Self-Aware Computing Systems.  Radu Calinescu Marco Autili Javier C\u00e1mara Antinisca Di Marco Simos Gerasimou Paola Inverardi Alexander Perucci Nils Jansen Joost-Pieter Katoen Marta Z. Kwiatkowska Ole J. Mengshoel Romina Spalazzese and Massimo Tivoli. 2017. Synthesis and Verification of Self-aware Computing Systems. In Self-Aware Computing Systems.","DOI":"10.1007\/978-3-319-47474-8_11"},{"volume-title":"SPLC","year":"2009","author":"Chen Lianping","key":"e_1_3_2_1_15_1"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364412.2364464"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02161-9_8"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSE.2009.373"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Matthias G\u00fcdemann Pascal Poizat Gwen Salaiin and Lina Ye. 2016. VerChor: A Framework for the Design and Verification of Choreographies. IEEE Trans. Services Computing (2016) 647--660.  Matthias G\u00fcdemann Pascal Poizat Gwen Salaiin and Lina Ye. 2016. VerChor: A Framework for the Design and Verification of Choreographies. IEEE Trans. Services Computing (2016) 647--660.","DOI":"10.1109\/TSC.2015.2413401"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882298"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491627.2493899"},{"key":"e_1_3_2_1_22_1","unstructured":"Gregor Hohpe and Bobby Woolf. 2004. Enterprise Integration Patterns: Designing Building and Deploying Messaging Solutions - Fiftheenth printing 2011. Addison-Wesley Longman Publishing Co. Inc. Boston MA USA.   Gregor Hohpe and Bobby Woolf. 2004. Enterprise Integration Patterns: Designing Building and Deploying Messaging Solutions - Fiftheenth printing 2011. Addison-Wesley Longman Publishing Co. Inc. Boston MA USA."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/CIT.2009.54"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/11888116_5"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2007.12.002"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/1893701.1893725"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1982185.1982522"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1944892.1944913"},{"key":"e_1_3_2_1_29_1","unstructured":"Object Management Group. 2018. Documents Associated With Business Process Model And Notation. http:\/\/www.omg.Org\/spec\/BPMN\/2.0.2\/PDF.  Object Management Group. 2018. Documents Associated With Business Process Model And Notation. http:\/\/www.omg.Org\/spec\/BPMN\/2.0.2\/PDF."},{"key":"e_1_3_2_1_30_1","unstructured":"Eclipse Project {n. d.}. BPMN2-Modeler Model Extension. https:\/\/wiki.eclipse.org\/BPMN2-Modeler\/DeveloperTutorials\/ModelExtension year=2018.  Eclipse Project {n. d.}. BPMN2-Modeler Model Extension. https:\/\/wiki.eclipse.org\/BPMN2-Modeler\/DeveloperTutorials\/ModelExtension year=2018."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/AICCSA.2008.4493618"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02161-9_9"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2011.9"},{"volume-title":"COVAMOF: A Framework for Modeling Variability in Software Product Families. In SPLC","year":"2004","author":"Sinnema Marco","key":"e_1_3_2_1_34_1"},{"volume-title":"XChor Choreography Language for Integration of Variable Orchestration Specifications. In BMSD","year":"2013","author":"Suloglu Selma","key":"e_1_3_2_1_35_1"},{"volume-title":"SPLC","year":"2009","author":"Sun Hongyu","key":"e_1_3_2_1_36_1"},{"volume-title":"ECOWS","year":"2004","author":"Yasemin Topaloglu N.","key":"e_1_3_2_1_37_1"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2003.04.004"}],"event":{"name":"ECSA '18: 12th European Conference on Software Architecture","acronym":"ECSA '18","location":"Madrid Spain"},"container-title":["Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3241403.3241425","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3241403.3241425","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:28Z","timestamp":1750268968000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3241403.3241425"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,24]]},"references-count":38,"alternative-id":["10.1145\/3241403.3241425","10.1145\/3241403"],"URL":"https:\/\/doi.org\/10.1145\/3241403.3241425","relation":{},"subject":[],"published":{"date-parts":[[2018,9,24]]},"assertion":[{"value":"2018-09-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}