Skip to Main content Skip to Navigation
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

https://hal.inria.fr/hal-01774943
Contributor : Hal Ifip <>
Submitted on : Tuesday, April 24, 2018 - 10:54:16 AM
Last modification on : Tuesday, April 24, 2018 - 11:20:06 AM
Long-term archiving on: : Wednesday, September 19, 2018 - 1:14:07 PM

File

978-3-319-19282-6_3_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Francesco Angelis, Giovanna 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⟩

Share

Metrics

Record views

71

Files downloads

128