Multi-paradigm Java-Prolog integration in tuProlog
Science of Computer Programming
Formal ReSpecT in the A&A Perspective
Electronic Notes in Theoretical Computer Science (ENTCS)
Programming pervasive and mobile computing applications: The TOTA approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
Biochemical Tuple Spaces for Self-organising Coordination
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
CArtAgO: a framework for prototyping artifact-based environments in MAS
E4MAS'06 Proceedings of the 3rd international conference on Environments for multi-agent systems III
Coordination artifacts as first-class abstractions for MAS engineering: state of the research
Software Engineering for Multi-Agent Systems IV
Hi-index | 0.00 |
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.