{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T18:05:28Z","timestamp":1778263528803,"version":"3.51.4"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031457272","type":"print"},{"value":"9783031457289","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-45728-9_5","type":"book-chapter","created":{"date-parts":[[2023,10,11]],"date-time":"2023-10-11T09:05:25Z","timestamp":1697015125000},"page":"69-83","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Services in Smart Manufacturing: Comparing Automated Reasoning Techniques for Composition and Orchestration"],"prefix":"10.1007","author":[{"given":"Flavia","family":"Monti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luciana","family":"Silo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Leotta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Mecella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,10,12]]},"reference":[{"key":"5_CR1","doi-asserted-by":"publisher","unstructured":"Aiello, M.: A challenge for the next 50 years of automated service composition. In: Troya, J., Medjahed, B., Piattini, M., Yao, L., Fern\u00e1ndez, P., Ruiz-Cort\u00e9s, A. (eds.) Service-Oriented Computing - 20th International Conference, ICSOC 2022, Proceedings. LNCS, vol. 13740, pp. 635\u2013643. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-20984-0_45","DOI":"10.1007\/978-3-031-20984-0_45"},{"key":"5_CR2","unstructured":"Amari, S.V., McLaughlin, L., Pham, H.: Cost-effective condition-based maintenance using Markov decision processes. In: RAMS 2006. Annual Reliability and Maintainability Symposium, pp. 464\u2013469. IEEE (2006)"},{"key":"5_CR3","first-page":"111","volume":"15","author":"N Bicocchi","year":"2019","unstructured":"Bicocchi, N., Cabri, G., Mandreoli, F., Mecella, M.: Dynamic digital factories for agile supply chains: an architectural approach. J. Ind. Inf. Integr. 15, 111\u2013121 (2019)","journal-title":"J. Ind. Inf. Integr."},{"issue":"2","key":"5_CR4","first-page":"37","volume":"20","author":"J Blythe","year":"1999","unstructured":"Blythe, J.: Decision-theoretic planning. AI Mag. 20(2), 37 (1999)","journal-title":"AI Mag."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Catarci, T., Firmani, D., Leotta, F., Mandreoli, F., Mecella, M., Sapio, F.: A conceptual architecture and model for smart manufacturing relying on service-based digital twins. In: 2019 IEEE International Conference on Web Services (ICWS), pp. 229\u2013236. IEEE (2019)","DOI":"10.1109\/ICWS.2019.00047"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1016\/j.ijinfomgt.2019.06.002","volume":"49","author":"HY Chen","year":"2019","unstructured":"Chen, H.Y., Das, A., Ivanov, D.: Building resilience and managing post-disruption supply chain recovery: lessons from the information and communication technology industry. Int. J. Inf. Manage. 49, 330\u2013342 (2019)","journal-title":"Int. J. Inf. Manage."},{"key":"5_CR7","first-page":"014","volume":"7","author":"BY Choo","year":"2016","unstructured":"Choo, B.Y., Adams, S.C., Weiss, B.A., Marvel, J.A., Beling, P.A.: Adaptive multi-scale prognostics and health management for smart manufacturing systems. Int. J. Prognostics Health Manage. 7, 014 (2016)","journal-title":"Int. J. Prognostics Health Manage."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Ciolek, D., D\u2019Ippolito, N., Pozanco, A., Sardi\u00f1a, S.: Multi-tier automated planning for adaptive behavior. In: Proceedings of the International Conference on Automated Planning and Scheduling, vol. 30, pp. 66\u201374 (2020)","DOI":"10.1609\/icaps.v30i1.6646"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., Favorito, M.: Compositional approach to translate LTLF\/LDLF into deterministic finite automata. In: ICAPS, pp. 122\u2013130. AAAI Press (2021)","DOI":"10.1609\/icaps.v31i1.15954"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"103916","DOI":"10.1016\/j.compind.2023.103916","volume":"149","author":"G De Giacomo","year":"2023","unstructured":"De Giacomo, G., Favorito, M., Leotta, F., Mecella, M., Silo, L.: Digital twins composition in smart manufacturing via Markov decision processes. Comput. Ind. 149, 103916 (2023)","journal-title":"Comput. Ind."},{"key":"5_CR11","unstructured":"De Giacomo, G., Vardi, M.Y.: Linear temporal logic and linear dynamic logic on finite traces. In: IJCAI 2013 Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, pp. 854\u2013860 (2013)"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/s00170-015-6967-8","volume":"80","author":"R Dubey","year":"2015","unstructured":"Dubey, R., Gunasekaran, A., Childe, S.J.: The design of a responsive sustainable supply chain network under uncertainty. Int. J. Adv. Manuf. Technol. 80, 427\u2013445 (2015)","journal-title":"Int. J. Adv. Manuf. Technol."},{"issue":"1","key":"5_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3576047","volume":"14","author":"M Dumas","year":"2023","unstructured":"Dumas, M., et al.: Ai-augmented business process management systems: a research manifesto. ACM Trans. Manage. Inf. Syst. 14(1), 1\u201319 (2023)","journal-title":"ACM Trans. Manage. Inf. Syst."},{"key":"5_CR14","doi-asserted-by":"publisher","unstructured":"Dumas, M., La Rosa, M., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-662-56509-4","DOI":"10.1007\/978-3-662-56509-4"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Fox, M., Long, D.: PDDL2.1: an extension to PDDL for expressing temporal planning domains. J. Artif. Intell. Res. 20, 61\u2013124 (2003)","DOI":"10.1613\/jair.1129"},{"issue":"4","key":"5_CR16","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1002\/wcs.1233","volume":"4","author":"H Geffner","year":"2013","unstructured":"Geffner, H.: Computational models of planning. Wiley Interdisc. Rev. Cogn. Sci. 4(4), 341\u2013356 (2013)","journal-title":"Wiley Interdisc. Rev. Cogn. Sci."},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Georgievski, I., Aiello, M.: Automated planning for ubiquitous computing. ACM Comput. Surv. 49(4), 63:1\u201363:46 (2017)","DOI":"10.1145\/3004294"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated Planning and Acting. Cambridge University Press, Cambridge (2016)","DOI":"10.1017\/CBO9781139583923"},{"key":"5_CR19","unstructured":"Groover, M.P.: Automation, Production Systems, and Computer-Integrated Manufacturing. Pearson Education India (2016)"},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1613\/jair.1705","volume":"26","author":"M Helmert","year":"2006","unstructured":"Helmert, M.: The fast downward planning system. J. Artif. Intell. Res. 26, 191\u2013246 (2006)","journal-title":"J. Artif. Intell. Res."},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Hu, H., Jia, X., Liu, K., Sun, B.: Self-adaptive traffic control model with behavior trees and reinforcement learning for AGV in Industry 4.0. IEEE Trans. Ind. Inform. 17(12), 7968\u20137979 (2021)","DOI":"10.1109\/TII.2021.3059676"},{"issue":"20","key":"5_CR22","doi-asserted-by":"publisher","first-page":"6158","DOI":"10.1080\/00207543.2017.1330572","volume":"55","author":"D Ivanov","year":"2017","unstructured":"Ivanov, D., Dolgui, A., Sokolov, B., Ivanova, M.: Literature review on disruption recovery in the supply chain. Int. J. Prod. Res. 55(20), 6158\u20136174 (2017)","journal-title":"Int. J. Prod. Res."},{"key":"5_CR23","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.artint.2016.03.002","volume":"236","author":"E Kaldeli","year":"2016","unstructured":"Kaldeli, E., Lazovik, A., Aiello, M.: Domain-independent planning for services in uncertain and dynamic environments. Artif. Intell. 236, 30\u201364 (2016)","journal-title":"Artif. Intell."},{"key":"5_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-540-24593-3_23","volume-title":"Service-Oriented Computing - ICSOC 2003","author":"A Lazovik","year":"2003","unstructured":"Lazovik, A., Aiello, M., Papazoglou, M.: Planning and monitoring the execution of web service requests. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 335\u2013350. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-24593-3_23"},{"issue":"10","key":"5_CR25","first-page":"102","volume":"82","author":"HL Lee","year":"2004","unstructured":"Lee, H.L., et al.: The triple-A supply chain. Harvard Bus. Rev. 82(10), 102\u2013113 (2004)","journal-title":"Harvard Bus. Rev."},{"issue":"3","key":"5_CR26","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1080\/1366271022000034444","volume":"9","author":"JT Macher","year":"2002","unstructured":"Macher, J.T., Mowery, D.C., Simcoe, T.S.: e-business and disintegration of the semiconductor industry value chain. Ind. Innov. 9(3), 155\u2013181 (2002)","journal-title":"Ind. Innov."},{"key":"5_CR27","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s10844-022-00766-w","volume":"61","author":"L Malburg","year":"2023","unstructured":"Malburg, L., Hoffmann, M., Bergmann, R.: Applying MAPE-K control loops for adaptive workflow management in smart factories. J. Intell. Inf. Syst. 61, 83\u2013111 (2023)","journal-title":"J. Intell. Inf. Syst."},{"issue":"2","key":"5_CR28","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/s13740-018-0096-0","volume":"8","author":"A Marrella","year":"2019","unstructured":"Marrella, A.: Automated planning for business process management. J. Data Semant. 8(2), 79\u201398 (2019)","journal-title":"J. Data Semant."},{"issue":"2","key":"5_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2948071","volume":"8","author":"A Marrella","year":"2016","unstructured":"Marrella, A., Mecella, M., Sardina, S.: Intelligent process adaptation in the SmartPM system. ACM Trans. Intell. Syst. Technol. 8(2), 1\u201343 (2016)","journal-title":"ACM Trans. Intell. Syst. Technol."},{"issue":"1","key":"5_CR30","doi-asserted-by":"publisher","first-page":"47","DOI":"10.3233\/AIC-170748","volume":"31","author":"A Marrella","year":"2018","unstructured":"Marrella, A., Mecella, M., Sardi\u00f1a, S.: Supporting adaptiveness of cyber-physical processes through action-based formalisms. AI Commun. 31(1), 47\u201374 (2018)","journal-title":"AI Commun."},{"key":"5_CR31","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/s40171-020-00248-4","volume":"21","author":"SK Paul","year":"2020","unstructured":"Paul, S.K., Chowdhury, P.: Strategies for managing the impacts of disruptions during COVID-19: an example of toilet paper. Global J. Flexible Syst. Manage 21, 283\u2013293 (2020)","journal-title":"Global J. Flexible Syst. Manage"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"Puterman, M.L.: Markov Decision Processes (1994)","DOI":"10.1002\/9780470316887"},{"key":"5_CR33","doi-asserted-by":"publisher","unstructured":"Stadtler, H.: Supply chain management: an overview. In: Stadtler, H., Kilger, C. (eds.) Supply Chain Management and Advanced Planning: Concepts, Models, Software, and Case Studies, pp. 3\u201328. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-540-74512-9_2","DOI":"10.1007\/978-3-540-74512-9_2"},{"key":"5_CR34","unstructured":"Sutton, R.S., Barto, A.G.: Reinforcement Learning: An Introduction (2018)"},{"issue":"1","key":"5_CR35","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1109\/TASE.2020.3018402","volume":"18","author":"B Wally","year":"2020","unstructured":"Wally, B., et al.: Leveraging iterative plan refinement for reactive smart manufacturing systems. IEEE Trans. Autom. Sci. Eng. 18(1), 230\u2013243 (2020)","journal-title":"IEEE Trans. Autom. Sci. Eng."}],"container-title":["Communications in Computer and Information Science","Service-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-45728-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,11]],"date-time":"2023-10-11T09:14:12Z","timestamp":1697015652000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-45728-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031457272","9783031457289"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-45728-9_5","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"12 October 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SummerSOC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Symposium and Summer School on Service-Oriented Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Heraklion, Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 July 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"summersoc2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.summersoc.eu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easy Chair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"27","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Full paper: 6 (16-21 pages),  Short paper: 2 (9-10 pages)","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}