Formal ReSpecT in the A&A Perspective

   Info_icon.svg       Eye_icon.svg       BibTeX_logo.svg   
Carlos Canal, Mirko Viroli (eds.)
Proceedings of the 5th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006), pages 97–117
Electronic Notes in Theoretical Computer Science 175(2)
Elsevier Science B.V.
June 2007

Coordination models and languages have found a new course in the context of MAS (multiagent systems). By re-interpreting results in terms of agent-oriented abstractions, new conceptual spaces are found, which extend the reach of coordination techniques far beyond their original scope. This is for instance the case of coordination media, when recasted in terms of coordination artifacts in the MAS context.

In this paper, we take the well-established ReSpecT language for programming tuple centre behaviour, and adopt the A&A (agents and artifacts) meta-model as a perspective to reinterpret, revise, extend and complete it. A formal model of the so-called A&A ReSpecT language is presented, along with an example illustrating its use for MAS coordination.

keywords   Tuple-based Coordination, Artifacts for MAS, A&A, Tuple Centres, ReSpecT
reference talk
Talk_icon.svg Formal ReSpecT in the A&A Perspective (FOCLASA 2006 @ CONCUR'06, 31/08/2006) — Andrea Omicini
origin event
Event_icon.svg FOCLASA 2006 @ CONCUR'06
journal or series
Journal_icon.svg Electronic Notes in Theoretical Computer Science (ENTCS)
works as
reference publication for talk
Talk_icon.svg Formal ReSpecT in the A&A Perspective (FOCLASA 2006 @ CONCUR'06, 31/08/2006) — Andrea Omicini
superseding publication for
Publication_icon.svg Formal ReSpecT in the A&A Perspective (paper in proceedings, 2006) — Andrea Omicini