Reo Connectors as Coordination Artifacts in 2APL Systems

Authors:
Farhad Arbab;Lăcrămioara Aştefănoaei;Frank S. Boer;Mehdi Dastani;John-Jules Meyer;Nick Tinnermeier
Affiliations:
Universiteit Leiden, The Netherlands and CWI, Amsterdam, The Netherlands;CWI, Amsterdam, The Netherlands;Universiteit Leiden, The Netherlands and CWI, Amsterdam, The Netherlands;Universiteit Utrecht, The Netherlands;Universiteit Utrecht, The Netherlands;Universiteit Utrecht, The Netherlands
Venue:
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Year:
2008

Citing 9
Cited 6

Automatic verification of finite-state concurrent systems using temporal logic specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
Nomadic Pict: Language and Infrastructure Design for Mobile Agents

IEEE Concurrency
Reo: a channel-based coordination model for component composition

Mathematical Structures in Computer Science
Models and Temporal Logics for Timed Component Connectors

SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
MoCha-pi, an exogenous coordination calculus based on mobile channels

Proceedings of the 2005 ACM symposium on Applied computing
Coordination and composition in multi-agent systems

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Modeling component connectors in Reo by constraint automata

Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Symbolic Model Checking for Channel-based Component Connectors

Electronic Notes in Theoretical Computer Science (ENTCS)
2APL: a practical agent programming language

Autonomous Agents and Multi-Agent Systems

Programming Multi-agent Systems

Computational Logic in Multi-Agent Systems
Comparing three coordination models: Reo, ARC, and PBRD

Science of Computer Programming
Coordination operators and their composition under the actor-role-coordinator (ARC) model

ACM SIGBED Review
Puff, the magic protocol

Formal modeling
The refinement of choreographed multi-agent systems

DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Symbolic execution of Reo circuits using constraint automata

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Communication is an important topic in multi-agent systems. Reo is a channel-based exogenous coordination model which can be used not only for the communication, but also for the coordination of individual agents. 2APL is an agent-oriented programming language where at the multi-agent level one can specify for individual agents which external environments they have access to. In this paper, we understand Reo networks as specific environments for 2APL agents and we focus on the integration of Reo networks into the 2APL platform. We show how Reo networks can be used to coordinate the behaviour of individual agents by means of an auction example.