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

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.