UNIGE document Technical Report
previous document  unige:55396  next document
add to browser collection
Title

Towards a logic and chemical based coordination model

Authors
Year 2015
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 modelLogic programsLogic languages.
Full text
Report (Published version) (1.7 MB) - public document Free access
Structures
Research group Institute of Information Service Science (ISS)
Citation
(ISO format)
DE ANGELIS, Francesco, DI MARZO SERUGENDO, Giovanna. Towards a logic and chemical based coordination model. 2015 https://archive-ouverte.unige.ch/unige:55396

439 hits

118 downloads

Update

Deposited on : 2015-04-12

Export document
Format :
Citation style :