Situated tuple centres in ReSpecT

ABSTRACT

Coordination languages and models can play a key role in the engineering of environment in MAS (multiagent systems). In this paper, we take the ReSpecT coordination language for programming tuple centres, and extend it so as to govern interactions between agents and environment. In particular, we show how its event model can be generalised to support the management of general environment events and make tuple centres situated. To this end, first a case study is sketched where it is shown how the extended ReSpecT can be adopted to coordinate a system for sensing and controlling environmental properties. Then the syntax and semantics of the extended version of ReSpecT is discussed.

REFERENCES

• 1: Farhad Arbab, Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, v.14 n.3, p.329-366, June 2004 [doi>10.1017/S0960129504004153]
• 2: Matteo Casadei , Andrea Omicini, Situating A&A ReSpecT for Pervasive Environment Applications, Proceedings of the 2008 IEEE 17th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, p.76-81, June 23-25, 2008 [doi>10.1109/WETICE.2008.31]
• 3: Mehdi Dastani , Farhad Arbab , Frank de Boer, Coordination and composition in multi-agent systems, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, July 25-29, 2005, The Netherlands [doi>10.1145/1082473.1082540]
• 4: Marco Mamei , Franco Zambonelli, Programming Pervasive and Mobile Computing Applications with the TOTA Middleware, Proceedings of the Second IEEE International Conference on Pervasive Computing and Communications (PerCom'04), p.263, March 14-17, 2004
• 5: A. Molesini, A. Omicini, E. Denti, and A. Ricci. SODA: A roadmap to artefacts. In O. Dikenelli, M.-P. Gleizes, and A. Ricci, editors, Engineering Societies in the Agents World VI, volume 3963 of LNAI, pages 49--62. Springer, June 2006. 6th International Workshop (ESAW 2005), Kuşadasi, Aydin, Turkey, 26--28 Oct. 2005. Revised, Selected & Invited Papers.
• 6: Amy L. Murphy , Gian Pietro Picco , Gruia-Catalin Roman, LIME: A coordination model and middleware supporting mobility of hosts and agents, ACM Transactions on Software Engineering and Methodology (TOSEM), v.15 n.3, p.279-328, July 2006 [doi>10.1145/1151695.1151698]
• 7: A. Omicini. Hybrid coordination models for handling information exchange among Internet agents. In A. Bonarini, M. Colombetti, and P. L. Lanzi, editors, Workshop "Agenti intelligenti e Internet: teorie, strumenti e applicazioni", pages 1--4, 7th AI*IA Convention (AI*IA 2000), Milano, Italy, 13 Sept. 2000.
• 8: Andrea Omicini, Formal ReSpecT in the A&A Perspective, Electronic Notes in Theoretical Computer Science (ENTCS), v.175 n.2, p.97-117, June, 2007 [doi>10.1016/j.entcs.2007.03.006]
• 9: A. Omicini, A. Ricci, and M. Viroli. Time-aware coordination in ReSpecT. In J.-M. Jacquet and G. P. Picco, editors, Coordination Models and Languages, volume 3454 of LNCS, pages 268--282. Springer-Verlag, Apr. 2005. 7th International Conference (COORDINATION 2005), Namur, Belgium, 20--23 Apr. 2005. Proceedings.
• 10: Andrea Omicini , Alessandro Ricci , Mirko Viroli, Artifacts in the A&A meta-model for multi-agent systems, Autonomous Agents and Multi-Agent Systems, v.17 n.3, p.432-456, December 2008 [doi>10.1007/s10458-008-9053-x]
• 11: Andrea Omicini , Alessandro Ricci , Mirko Viroli , Cristiano Castelfranchi , Luca Tummolini, Coordination Artifacts: Environment-Based Coordination for Intelligent Agents, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, p.286-293, July 19-23, 2004, New York, New York [doi>10.1109/AAMAS.2004.95]
• 12: G. A. Papadopoulos and F. Arbab. Coordination models and languages. Advances in Computers, 46: 330--401, 1998.
• 13: Debashis Saha , Amitava Mukherjee, Pervasive Computing: A Paradigm for the 21st Century, Computer, v.36 n.3, p.25-31, March 2003 [doi>10.1109/MC.2003.1185214]
• 14: M. Satyanarayanan. Pervasive computing: Vision and challenges. IEEE Personal Communications, 8(4): 10--17, Aug. 2001.
• 15: Danny Weyns , Andrea Omicini , James Odell, Environment as a first class abstraction in multiagent systems, Autonomous Agents and Multi-Agent Systems, v.14 n.1, p.5-30, February 2007 [doi>10.1007/s10458-006-0012-0]

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.4 Distributed Systems
          Subjects: Distributed applications

Additional Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
        I.2.11 Distributed Artificial Intelligence
            Subjects: Multiagent systems; Coherence and coordination

Keywords:
A&A, MAS environment, ReSpecT, artifacts, situatedness, tuple centres