A Multi-agent system architecture for monitoring medical protocols
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
ISLANDER: an electronic institutions editor
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
On the Formal Specifications of Electronic Institutions
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
Specifying Agent Interaction Protocols with Standard UML
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Defining interaction protocols using a commitment-based agent communication language
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Agent Interaction Protocols and Flexible Agent Interaction in Dynamic Environments
WETICE '06 Proceedings of the 15th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
Electronic institutions development environment
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: demo papers
Engineering open environments with electronic institutions
Engineering Applications of Artificial Intelligence
A dedicated approach for developing agent interaction protocols
PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems
Indirect interaction in environments for multi-agent systems
E4MAS'05 Proceedings of the 2nd international conference on Environments for Multi-Agent Systems
| Hi-index | 0.00 |
This paper presents a development of interaction protocol specification for automating the document downloading and notifying in e-learning system. From agent-roles diagram, it is now being transformed into its illocution schema as the real conversation message that three main agents consisting of e-learning agent, lecturer agent and student agent will convey when performing their goals. This interaction protocol is defined using ISLANDER editor as the graphical verification tool that will check the correctness of the interaction protocol defined using the Electronic Institution (EI) approach. The process of this interaction protocol specification will be explained in detail. Preliminarily, this interaction protocol specification is concentrating on the one-to-one agent interaction first since it is assumed to be a generic template for complex scenario soon. Once this interaction protocol is specified correctly, then it is ready to be monitored using its monitoring tool to check its execution. This paper describes the interaction protocol specification using Electronic Institutions Integrated Development Environment (EIDE) methodology.