March 2011
The goal of this work is the proposal of a language for programming coordination artifacts, providing a better level of abstraction than that 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.
keywords
CArtAgO, coordination artifact, declarative coordination language
origin event
