Formal ReSpecT in the A&A Perspective

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.

[1]  Andrea Omicini,et al.  Coordination Artifacts as First-Class Abstractions for MAS Engineering: State of the Research , 2005, SELMAS.

[2]  Farhad Arbab,et al.  Coordination and composition in multi-agent systems , 2005, AAMAS '05.

[3]  Andrea Omicini,et al.  Coordination as a Service , 2006, Fundam. Informaticae.

[4]  Andrea Omicini,et al.  Time-Aware Coordination in ReSpecT , 2005, COORDINATION.

[5]  Tom Ziemke,et al.  Social cognition, artefacts, and stigmergy: A comparative analysis of theoretical frameworks for the understanding of artefact-mediated collaborative activity , 2001, Cognitive Systems Research.

[6]  Andrea Omicini,et al.  Extending ReSpecT for Multiple Coordination Flows , 2002, PDPTA.

[7]  Franco Zambonelli,et al.  Challenges and Research Directions in Agent-Oriented Software Engineering , 2004, Autonomous Agents and Multi-Agent Systems.

[8]  Andrea Omicini,et al.  The Multidisciplinary Patterns of Interaction from Sciences to Computer Science , 2006 .

[9]  Marc Esteva,et al.  AMELI: an agent-based middleware for electronic institutions , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[10]  Andrea Omicini,et al.  Formal ReSpecT , 2001, APPIA-GULP-PRODE.

[11]  Andrea Omicini,et al.  Activity Theory as a Framework for MAS Coordination , 2002, ESAW.

[12]  Andrea Omicini.  On the semantics of tuple-based coordination models , 1999, SAC '99.

[13]  Edsger W. Dijkstra,et al.  Co-operating sequential processes , 1968 .

[14]  Andrea Omicini,et al.  Programming MAS with Artifacts , 2005, PROMAS.

[15]  Clay Spinuzzi,et al.  Context and consciousness: Activity theory and human-computer interaction , 1997 .

[16]  Andrea Omicini,et al.  Agens Faber: Toward a Theory of Artefacts for MAS , 2006, Electron. Notes Theor. Comput. Sci..

[17]  D. Kirsh.  Distributed Cognition , Coordination and Environment Design , 1999 .

[18]  Amy L. Murphy,et al.  LIME: Linda meets mobility , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[19]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[20]  Andrea Omicini,et al.  Distributed Workflow upon Linkable Coordination Artifacts , 2006, COORDINATION.

[21]  Andrea Omicini,et al.  Coordination Infrastructures in the Engineering of Multiagent Systems , 2004 .

[22]  A. N. Leont’ev,et al.  Activity, consciousness, and personality , 1978 .

[23]  Andrea Omicini,et al.  SODA: A Roadmap to Artefacts , 2005, ESAW.

[24]  Scott A. Smolka,et al.  Interactive Computation: The New Paradigm , 2006 .

[25]  Franco Zambonelli,et al.  Methodologies and software engineering for agent systems : the agent-oriented software engineering handbook , 2004 .

[26]  Andrea Omicini,et al.  On the expressive power of a language for programming coordination media , 1998, SAC '98.

[27]  Franco Zambonelli,et al.  Coordination for Internet Application Development , 1999, Autonomous Agents and Multi-Agent Systems.

[28]  Andrea Omicini,et al.  Agents & Artifacts for Systems Biology: Toward a Framework based on TuCSoN , 2006 .

[29]  H. Van Dyke Parunak,et al.  Digital pheromone mechanisms for coordination of unmanned vehicles , 2002, AAMAS '02.

[30]  Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, December 4-6, 2000 , 2000, APPIA-GULP-PRODE.

[31]  Andrea Omicini,et al.  From tuple spaces to tuple centres , 2001, Sci. Comput. Program..

[32]  Farhad Arbab,et al.  Reo: A Channel-based Coordination Model for Component Composition , 2005 .