{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T17:16:35Z","timestamp":1774286195591,"version":"3.50.1"},"reference-count":68,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T00:00:00Z","timestamp":1730419200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"name":"MICS","award":["PE00000004"],"award-info":[{"award-number":["PE00000004"]}]},{"name":"Extended Partnership","award":["CUP B53C22004130001"],"award-info":[{"award-number":["CUP B53C22004130001"]}]},{"name":"EU - NextGenerationEU PNRR MUR"},{"name":"MISE agreement on Agile&Secure Digital Twins"},{"name":"ERC-ADG WhiteMech","award":["834228"],"award-info":[{"award-number":["834228"]}]},{"name":"PRIN project RIPER","award":["20203FFYLK"],"award-info":[{"award-number":["20203FFYLK"]}]},{"name":"FAIR","award":["PE0000013"],"award-info":[{"award-number":["PE0000013"]}]},{"name":"Extended Partnership funded by the EU - NextGenerationEU PNRR MUR"},{"name":"Italian National PhD Program in AI"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Serv. Comput."],"published-print":{"date-parts":[[2024,11]]},"DOI":"10.1109\/tsc.2024.3495521","type":"journal-article","created":{"date-parts":[[2024,11,8]],"date-time":"2024-11-08T18:40:33Z","timestamp":1731091233000},"page":"4069-4082","source":"Crossref","is-referenced-by-count":1,"title":["Orchestration of Services in Smart Manufacturing Through Automated Synthesis"],"prefix":"10.1109","volume":"17","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3349-7861","authenticated-orcid":false,"given":"Flavia","family":"Monti","sequence":"first","affiliation":[{"name":"Sapienza Università di Roma, Rome, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7250-8979","authenticated-orcid":false,"given":"Luciana","family":"Silo","sequence":"additional","affiliation":[{"name":"Sapienza Università di Roma, Rome, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9566-3576","authenticated-orcid":false,"given":"Marco","family":"Favorito","sequence":"additional","affiliation":[{"name":"Banca d’Italia, Milano, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9680-7658","authenticated-orcid":false,"given":"Giuseppe","family":"De Giacomo","sequence":"additional","affiliation":[{"name":"Sapienza Università di Roma, Rome, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9216-8502","authenticated-orcid":false,"given":"Francesco","family":"Leotta","sequence":"additional","affiliation":[{"name":"Sapienza Università di Roma, Rome, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9730-8882","authenticated-orcid":false,"given":"Massimo","family":"Mecella","sequence":"additional","affiliation":[{"name":"Sapienza Università di Roma, Rome, Italy"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-96729-1_45"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s12008-009-0065-9"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-019-04203-1"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23860-4_26"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42559-7_11"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.25046\/aj050421"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1108\/RAMJ-08-2020-0047"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s43069-023-00234-3"},{"key":"ref9","volume-title":"Logistics and Supply Chain Management","author":"Christopher","year":"2022"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2022.3171338"},{"issue":"10","key":"ref11","first-page":"102","article-title":"The triple\u2013A supply chain","volume":"82","author":"Lee","year":"2004","journal-title":"Harvard Bus. Rev."},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1002\/jsc.2555"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.jii.2019.02.001"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-55309-7_1"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1108\/SCM-09-2018-0329"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2019.00047"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2022.103623"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.techfore.2021.121242"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.2331"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.3390\/s23052821"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.3390\/app12168081"},{"key":"ref22","first-page":"1","article-title":"Digital twin: Manufacturing excellence through virtual factory replication","volume":"1","author":"Grieves","year":"2014","journal-title":"White Paper"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-45728-9_1"},{"issue":"3","key":"ref24","first-page":"18","article-title":"Automatic service composition and synthesis: The roman model","volume":"31","author":"Calvanese","year":"2008","journal-title":"IEEE Data Eng. Bull."},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2831270"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30409-5"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-024-01175-z"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3576047"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-45728-9_5"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS60048.2023.00091"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s13740-018-0096-0"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2004.1310920"},{"key":"ref33","article-title":"Decision-theoretic planning","volume":"20","author":"Blythe","year":"1999","journal-title":"AI Mag."},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2948071"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/s10844-022-00766-w"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v30i1.6646"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2020.3018402"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2022.12.226"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2021.3059676"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/CASE56687.2023.10260500"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2006.1677417"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.36001\/ijphm.2016.v7i3.2412"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmsy.2022.08.008"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3191426"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-41620-0_13"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1002\/wcs.1233"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139583923"},{"key":"ref48","article-title":"PDDL| The planning domain definition language","author":"Aeronautiques","year":"1998"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/springerreference_205431"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/tnn.1998.712192"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2023.103916"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33143-5"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70169-1_12"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/s00450-009-0057-9"},{"key":"ref56","first-page":"854","article-title":"Linear temporal logic and linear dynamic logic on finite traces","volume-title":"Proc. 23rd Int. Joint Conf. Artif. Intell.","author":"De Giacomo"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2007.14"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-56940-1_17"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1147\/rd.32.0114"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1705"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1129"},{"key":"ref62","first-page":"99","article-title":"PPDDL1.0: An extension to PDDL for expressing planning domains with probabilistic effects","volume":"2","author":"Younes","year":"2004"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-34674-3_14"},{"key":"ref64","article-title":"Details of the asset administration shell - Part 1","year":"2022"},{"key":"ref65","article-title":"Industrie 4.0-Technical Assets: Basic terminology concepts life cycles and administration models","author":"Bangemann","year":"2016","journal-title":"VDI\/VDE ZVEI"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2022.12.217"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/MIE.2017.2649104"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/820"}],"container-title":["IEEE Transactions on Services Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/4629386\/10818968\/10748384.pdf?arnumber=10748384","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,3]],"date-time":"2025-01-03T04:30:49Z","timestamp":1735878649000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10748384\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11]]},"references-count":68,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tsc.2024.3495521","relation":{},"ISSN":["1939-1374","2372-0204"],"issn-type":[{"value":"1939-1374","type":"electronic"},{"value":"2372-0204","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,11]]}}}