en
Doctoral thesis
English

A Logic-Based Coordination Middleware for Self-Organising Systems: Distributed reasoning based on many-valued logics

Defense date2017-07-03
Abstract

This thesis focuses on logical formalisms to specify, design and develop self-organising and self-adaptive systems. In particular we introduce new formal languages and platforms based on non-classical logics that are able to formalise system behaviours in a rigorous way; moreover, such specifications can be directly executed in our platform, intensively reducing the gap between specification and implementation. As a result, it possible to reduce effort, time and costs of the engineering process of self-organising and self-adaptive systems. Our major contributions include: (i) a coordination model that realises the notion of coordination in terms of combinations of logic programs; (ii) a logic language based on a extendible family of many-valued logics used to perform graded paraconsistent reasoning; (iii) a logic spatial language for run-time evaluation of graph-based spatial properties in distributed systems and (iv) the implementation of the coordination model and the logic languages to implement and execute logic-based applications in heterogeneous distributed systems such as laptops, tablets and embedded devices.

eng
Keywords
  • Self-organising systems
  • Many-valued logics
  • Formal languages
  • Formal verification
Citation (ISO format)
DE ANGELIS, Francesco. A Logic-Based Coordination Middleware for Self-Organising Systems: Distributed reasoning based on many-valued logics. 2017. doi: 10.13097/archive-ouverte/unige:155126
Main files (1)
Thesis
accessLevelPrivate
Identifiers
184views
1downloads

Technical informations

Creation10/10/2017 5:29:00 PM
First validation10/10/2017 5:29:00 PM
Update time03/16/2023 1:24:43 AM
Status update03/16/2023 1:24:43 AM
Last indexation05/06/2024 8:14:42 AM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack