Search

The goal of this work is the proposal of a language for programming coordination artifacts, providing a better level of abstraction than than achieved via imperative programming languages. We propose a declarative logic language based on reactive rules to define coordination artifacts implementing both well-known and novel coordination paradigms. A prototype built on top of CArtAgO, and relying on the tuProlog Prolog engine, is also presented, where different coordination paradigms realized upon the language are shown.

Modelling the interaction among system components is a fundamental issue in complex system simulation. Simulation frameworks based on coordination models—that is, explicitly handling interaction—suit well the complex system simulation: and those based on nature-inspired coordination models, in particular, are well-suited for the simulation of complex natural systems. In this paper, we adopt an approach to self-organising coordination based on biochemical tuple spaces for self-organising coordination, and show how it can be applied to the simulation of complex interaction patterns of intracellular signalling pathways. We first present the model and a general high-level architecture, then we develop and discuss a simple case study—a single signalling pathway from the complex network of the Ras signalling pathways.