en
Technical report
Open access
English

Towards a logic and chemical based coordination model

Publication date2015
Abstract

In this paper we propose a coordination model that integrates logic programs into a chemical-based coordination framework. The goal is to engineer self-organising systems as well as assess their emergent global properties. Our model is generic and accommodates various logics and it is also powerful enough to supersede various chemical-based approaches. By tuning the internal logic language we can tackle and solve coordination problems in a rigorous way, without renouncing to important engineering properties such as compactness, modularity and reusability of code. We present our logic-based coordination model and we shows how to engineer well-know self-organising mechanisms and how to assess their corresponding emergent properties.

Keywords
  • Coordination model
  • Logic programs
  • Logic languages.
Citation (ISO format)
DE ANGELIS, Francesco, DI MARZO SERUGENDO, Giovanna. Towards a logic and chemical based coordination model. 2015
Main files (1)
Report
accessLevelPublic
Identifiers
  • PID : unige:55396
803views
183downloads

Technical informations

Creation04/02/2015 8:35:00 PM
First validation04/02/2015 8:35:00 PM
Update time03/14/2023 11:09:59 PM
Status update03/14/2023 11:09:59 PM
Last indexation05/02/2024 4:08:52 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack