Formal ReSpecT in the A&A Perspective

Andrea Omicini

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

Electronic Notes in Theoretical Computer Science 175(2), pages 97-117, 175 pages, June 2007.
Carlos Canal, Mirko Viroli (eds.), Elsevier Science B.V.
5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06), CONCUR'06, Bonn, Germany, 31 August 2006. Post-proceedings

@article{respect-entcs175,
	Author = {Omicini, Andrea},
	Doi = {10.1016/j.entcs.2007.03.006},
	Editor = {Canal, Carlos and Viroli, Mirko},
	Elsevier-Ref = {ENTCS1735},
	Issn = {1571-0661},
	Journal = {Electronic Notes in Theoretical Computer Science},
	Keywords = {Tuple-based Coordination, Artifacts for MAS, A\&A, Tuple Centres, ReSpecT},
	Month = jun,
	Note = {5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06), CONCUR'06, Bonn, Germany, 31~} # aug # {~2006. Post-proceedings},
	Number = 2,
	Pages = {97--117},
	Publisher = {Elsevier Science B.V.},
	ScopusId = {2-s2.0-34250022550},
	Title = {Formal {{\sf ReSpecT}} in the {A\&A} Perspective},
	Url = {http://www.sciencedirect.com/science/article/pii/S1571066107003519},
	Volume = 175,
	Year = 2007}