Logic-based coordination: a semantic approach to self-composition of services

Ashley Caselli

Logic-based approaches have always been at the core of research concerning the coordination of multi-agent systems (MAS). Starting from the Shared Prolog, logic-based coordination models have evolved into comprehensive approaches for nowadays complex and distributed systems, such as IoT (e.g. ReSpecT) and self-organizing ones (e.g. Logic Fragment Coordination Model). Separately and in parallel to the emergence of MAS, research in the Web field has been focusing on providing technologies in support of the creation of Internet-based distributed systems in which automatic processes such as service discovery, invocation and composition are feasible. Integrating MAS and Web paradigms will help enable new and advanced operational and usage modalities of Web services, and vice versa. Those operational modalities, such as self-adaptation and self-management, are fundamental in today's scenarios characterized by dynamism. It is therefore presented a logic-based coordination model in which the self-composition of semantically annotated services is highly promoted and supported. A possible implementation is also provided in the form of a basic prototype developed using tuProlog, TuCSoN and ReSpecTX. Moreover, the assessment of the model is illustrated through formally defined scenarios.

(keywords) multi-agent systems; logic programming; logic-based coordination, self-composition of services

Theses / Views


•  tags  •  supervisors  •  co-supervisors  

•  completed  •  ongoing  •  available  

 2023    2022    2021    2020    2019    2018    2017    2016    2015    2014–1995

•  1st cycle  •  2nd cycle  •  3rd cycle  


— thesis student


— supervisors

Andrea Omicini

— co-supervisors

Giovanni Ciatto, Giovanna Di Marzo Serugendo


— cycle

second-cycle thesis

— status

completed thesis

— language



— activity started


— degree date


Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY