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

    

Thesis

Supervision

— supervisor
Andrea Omicini
— co-supervisor
Giovanni Ciatto
Giovanna Di Marzo Serugendo

Category

2nd-Cycle Thesis

Status

completed

Language

wgb.gif

Dates

— activity started
02/05/2018
— degree date
21/03/2019

IDs & URLs

— AMS Laurea
17984

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY