Programming Coordination Laws of Artifacts in CArtAgO

   page       BibTeX_logo.png   
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.

keywordsCArtAgO, coordination artifact, declarative coordination language
origin event
worldCM 2011@SAC 2011