Andrea Omicini

Coordination languages and models 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 talk, 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.

5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2006)
Bonn, Germany, 31/08/2006

 Talk at FOCLASA 2006 — a satellite workshop of CONCUR 2006 —, presenting paper “Formal ReSpecT in the A&A Perspective”. The paper was later amended, extended, and published in the FOCLASA 2006 formal proceedings on ENTCS as “Formal ReSpecT in the A&A Perspective”.

    

Talk

Formal ReSpecT in the A&A Perspective

— speakers

Andrea Omicini

— authors

Andrea Omicini

— sort

talk

— language

wgb.gif

Context

— at

5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2006)

— where

Bonn, Germany

— when

31/08/2006

Links

— external

CONCUR 2006 Program

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY