Skip to Main content Skip to Navigation
New interface
Conference papers

Logic Fragments: A Coordination Model Based on Logic Inference

Abstract : Chemical-based coordination models have proven useful to engineer self-organising and self-adaptive systems. Formal assessment of emergent global behaviours in self-organising systems is still an issue, most of the time emergent properties are being analysed through extensive simulations. This paper aims at integrating logic programs into a chemical-based coordination model in order to engineer self-organising systems as well as assess their emergent properties. Our model is generic and accommodates various logics. 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. This paper discusses our logic-based coordination model and shows how to engineer and verify a simple pattern detection example and a gradient-chemotaxis example.
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, April 24, 2018 - 10:54:16 AM
Last modification on : Friday, September 30, 2022 - 11:28:09 AM
Long-term archiving on: : Wednesday, September 19, 2018 - 1:14:07 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Francesco Angelis, Giovanna Di Marzo Serugendo. Logic Fragments: A Coordination Model Based on Logic Inference. 17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.35-48, ⟨10.1007/978-3-319-19282-6_3⟩. ⟨hal-01774943⟩



Record views


Files downloads