Logic Fragments: A Coordination Model Based on Logic Inference - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Logic Fragments: A Coordination Model Based on Logic Inference

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Licence

Paternité

Identifiants

Citer

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⟩
38 Consultations
79 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More