LUCIANA SILO

PhD Graduate

PhD program:: XXXVII


supervisor: Giuseppe De Giacomo
co-supervisor: Massimo Mecella

Thesis title: Goal-Oriented Service Composition for Smart Manufacturing

The rapid advancement of modern manufacturing systems, driven by Industry 4.0, has intensified the need for automated, adaptive, and resilient production planning. In this context, service composition has gained renewed interest as a key enabler of smart manufacturing. However, traditional service composition approaches often fail to address the dynamism and uncertainty typical of manufacturing environments, necessitating the development of more robust and flexible methodologies. This thesis revisits the concept of service composition, extending it beyond conventional frameworks to a goal-oriented paradigm, which ensures greater flexibility, robustness, and efficiency in orchestrating manufacturing processes. A fundamental contribution of this work is the seamless integration of Digital Twins within service composition frameworks developed, enabling real-time system monitoring and dynamic adaptation to evolving manufacturing conditions. The proposed methodologies are implemented and validated through available software libraries and real-world case studies, demonstrating their effectiveness in adaptive production planning and intelligent manufacturing control. By bridging the gap between formal service composition techniques and industrial applications, this research contributes to the development of scalable, efficient, and innovative automation solutions for smart manufacturing environments.

Research products

11573/1740492 - 2025 - Service composition for LTLf task specifications
De Giacomo, G.; Favorito, M.; Silo, L. - 01a Articolo in rivista
paper: INFORMATION SYSTEMS (Elsevier Science Limited:Oxford Fulfillment Center, PO Box 800, Kidlington Oxford OX5 1DX United Kingdom:011 44 1865 843000, 011 44 1865 843699, EMAIL: asianfo@elsevier.com, tcb@elsevier.co.UK, INTERNET: http://www.elsevier.com, http://www.elsevier.com/locate/shpsa/, Fax: 011 44 1865 843010) pp. - - issn: 0306-4379 - wos: (0) - scopus: 2-s2.0-105005849999 (0)

11573/1708913 - 2024 - Composition of Stochastic Services for LTLf Goal Specifications
De Giacomo, Giuseppe; Favorito, Marco; Silo, Luciana - 04b Atto di convegno in volume
conference: 13th International Symposium, FoIKS 2024 (Sheffield, UK)
book: Foundations of Information and Knowledge Systems - (978-3-031-56940-1)

11573/1726776 - 2024 - LTLf Goal-oriented Service Composition
De Giacomo, Giuseppe; Favorito, Marco; Silo, Luciana - 04b Atto di convegno in volume
conference: 3rd International Workshop on Process Management in the AI Era (Santiago De Compostela; Spain)
book: PMAI 2024. Process Management in the AI Era 2024. Proceedings of the 3rd International Workshop on Process Management in the AI Era (PMAI 2024) co-located with 27th European Conference on Artificial Intelligence (ECAI 2024) - ()

11573/1706666 - 2024 - Services in Industry 4.0. Modeling and Composition for Agile Supply Chains
Leotta, Francesco; Monti, Flavia; Silo, Luciana - 04b Atto di convegno in volume
conference: International Conference on Service Oriented Computing (Roma)
book: Lecture Notes in Computer Science, vol 14518 - (978-981-97-0988-5; 978-981-97-0989-2)

11573/1727103 - 2024 - Orchestration of Services in Smart Manufacturing through Automated Synthesis
Monti, Flavia; Silo, Luciana; Favorito, Marco; De Giacomo, Giuseppe; Leotta, Francesco; Mecella, Massimo - 01a Articolo in rivista
paper: IEEE TRANSACTIONS ON SERVICES COMPUTING (Los Alamitos, CA, USA: Computer Society) pp. 4069-4082 - issn: 1939-1374 - wos: WOS:001386683400008 (0) - scopus: 2-s2.0-85209765995 (0)

11573/1701844 - 2023 - Composition of Nondeterministic Services for LTLf Task Specification
De Giacomo, G.; Favorito, M.; Silo, L. - 04b Atto di convegno in volume
conference: OVERLAY 2023 Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2023 (Rome; Italy)
book: OVERLAY 2023. Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2023. Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023) - ()

11573/1682754 - 2023 - AIDA: A Tool for Resiliency in Smart Manufacturing
De Giacomo, Giuseppe; Favorito, Marco; Leotta, Francesco; Mecella, Massimo; Monti, Flavia; Silo, Luciana - 04b Atto di convegno in volume
conference: International Conference on Advanced Information Systems Engineering (Zaragoza, Spain)
book: Intelligent Information Systems - (978-3-031-34673-6; 978-3-031-34674-3)

11573/1679638 - 2023 - Digital twins composition in smart manufacturing via Markov decision processes
De Giacomo, Giuseppe; Favorito, Marco; Leotta, Francesco; Mecella, Massimo; Silo, Luciana - 01a Articolo in rivista
paper: COMPUTERS IN INDUSTRY (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. - - issn: 0166-3615 - wos: WOS:000981685900001 (21) - scopus: 2-s2.0-85152136496 (28)

11573/1689330 - 2023 - On the Suitability of AI for Service-based Adaptive Supply Chains in Smart Manufacturing
Monti, Flavia; Silo, Luciana; Leotta, Francesco; Mecella, Massimo - 04b Atto di convegno in volume
conference: IEEE International Conference on Web Services (Chicago; USA)
book: Proceedings of the 2023 IEEE International Conference on Web Services IEEE ICWS 2023 - (979-8-3503-0485-5; 979-8-3503-0486-2)

11573/1690329 - 2023 - Services in Smart Manufacturing: Comparing Automated Reasoning Techniques for Composition and Orchestration
Monti, Flavia; Silo, Luciana; Leotta, Francesco; Mecella, Massimo - 04b Atto di convegno in volume
conference: 17th Symposium and Summer School, SummerSOC 2023 (Heraklion; Crete; Greece)
book: Service-Oriented Computing 17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 – July 1, 2023, Revised Selected Papers - (978-3-031-45727-2; 978-3-031-45728-9)

11573/1687748 - 2023 - Agent Behavior Composition in Stochastic Settings
Silo, Luciana - 04b Atto di convegno in volume
conference: EUMAS 2023, European Conference of Multi-Agents Systems Conference (Napoli, Università Federico II)
book: EUMAS 2023: Multi-Agent Systems - (978-3-031-43263-7)

11573/1663267 - 2022 - Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes
De Giacomo, Giuseppe; Favorito, Marco; Leotta, Francesco; Mecella, Massimo; Silo, Luciana - 04b Atto di convegno in volume
conference: Wokshop PMAI - 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022) (Wien; Austria)
book: PMAI 2022. Process Management in the AI Era 2022. Proceedings of the Workshop on Process Management in the AI Era 2022 (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022) - ()

11573/1611250 - 2021 - Digital Twins Composition via Markov Decision Processes
De Giacomo, G.; Favorito, M.; Leotta, F.; Mecella, M.; Silo, L. - 04b Atto di convegno in volume
conference: 1st Italian Forum on Business Process Management, ITBPM 2021 (Rome; Italy)
book: Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management (BPM 2021) - ()

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma