APICe » Publications » LogicArtifactSac2011

Programming Coordination Laws of Artifacts in CArtAgO

Marco Sbaraglia, Mirko Viroli, Matteo Casadei
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.
.
@inproceedings{logicartifacts-sac11,
	Address = {Taichun, Taiwan},
	Author = {Sbaraglia, Marco and Casadei, Matteo and Viroli, Mirko},
	Booktitle = {26th Annual ACM Symposium on Applied Computing (SAC 2011)},
	Month = {21--25~} # mar,
        url = {http://apice.unibo.it/xwiki/bin/download/Publications/LogicArtifactSac2011}
	Title = {Programming Coordination Laws of Artifacts in CArtAgO},
	Year = 2011}