Validating interactions in ubiquitous software systems using dialogue oriented interactions

This paper addresses the problem of conforming interactions in a highly distributed and disconnected environment according to their design specifications. Ubiquitous software systems are considered as a case of study.

[1]  Amal El Fallah Seghrouchni,et al.  Protocol Engineering for Multi-agent Interaction , 1999, MAAMAW.

[2]  Frank Dignum,et al.  Issues in Agent Communication , 2000, Lecture Notes in Computer Science.

[3]  Mark S. Fox,et al.  COOL: A Language for Describing Coordination in Multi Agent Systems , 1995, ICMAS.

[4]  Ralf König.  State-Based Modeling Method for Multiagent Conversation Protocols and Decision Activities , 2002, Agent Technologies, Infrastructures, Tools, and Applications for E-Services.

[5]  Mihai Barbuceanu,et al.  Conversation Oriented Programming for Agent Interaction , 2000, Issues in Agent Communication.

[6]  Yun Peng,et al.  Using Colored Petri Nets for Conversation Modeling , 2000, Issues in Agent Communication.

[7]  Nicholas R. Jennings,et al.  Commitments and conventions: The foundation of coordination in multi-agent systems , 1993, The Knowledge Engineering Review.

[8]  Frank von Martial.  Coordinating Plans of Autonomous Agents , 1992, Lecture Notes in Computer Science.

[9]  Abdelkader Gouaïch.  Distributed ubiquitous software services , 2003, IEEE/WIC International Conference on Intelligent Agent Technology, 2003. IAT 2003..

[10]  Fabien Michel,et al.  MIC: An Agent Formal Environment , 2003 .