Logic Fragments: A Coordination Model Based on Logic Inference - Coordination Models and Languages
Conference Papers Year : 2015

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.
Fichier principal
Vignette du fichier
978-3-319-19282-6_3_Chapter.pdf (1.05 Mo) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01774943 , version 1 (24-04-2018)

Licence

Identifiers

Cite

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⟩
51 View
95 Download

Altmetric

Share

More