%0 Conference Proceedings
%T Logic Fragments: A Coordination Model Based on Logic Inference
%+ Université de Genève = University of Geneva (UNIGE)
%A Angelis, Francesco
%A Marzo Serugendo, Giovanna, Di
%Z Part 1: Tuple-Based Coordination
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 17th International Conference on Coordination Languages and Models (COORDINATION)
%C Grenoble, France
%Y Tom Holvoet
%Y Mirko Viroli
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-9037
%P 35-48
%8 2015-06-02
%D 2015
%R 10.1007/978-3-319-19282-6_3
%K Logic Program
%K Logic Inference
%K Logic Language
%K Coordination Model
%K Paraconsistent Logic
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01774943/document
%2 https://inria.hal.science/hal-01774943/file/978-3-319-19282-6_3_Chapter.pdf
%L hal-01774943
%U https://inria.hal.science/hal-01774943
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-DISCOTEC
%~ IFIP-LNCS-9037