IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
On the Formal Specifications of Electronic Institutions
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
What Is a Conversation Policy?
Issues in Agent Communication
Specification and verification of agent interaction protocols in a logic-based system
Proceedings of the 2004 ACM symposium on Applied computing
A formal framework for agent interaction semantics
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
IOM/T: an interaction description language for multi-agent systems
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Towards Making Agent UML Practical: A Textual Notation and a Tool
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver
IEEE Transactions on Computers
UML 2.0 and agents: how to build agent-based systems with the new UML standard
Engineering Applications of Artificial Intelligence
A dynamic joint protocols selection method to perform collaborative tasks
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Scenario Description Language for Multi-agent Systems
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
Generic Protocol Configuration and Execution within a Coalition
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Testing and Debugging of MAS Interactions with INGENIAS
Agent-Oriented Software Engineering IX
A unification-based approach to configure generic protocols into agent interaction models
International Journal of Agent-Oriented Software Engineering
Scenario description language in multi-agent simulation system
KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications
| Hi-index | 0.00 |
Agent-UML (AUML) extended UML in order to facilitate the modeling process for agent based systems. It offers several graphical notations, including protocol diagrams which represent agent interaction protocols. In this paper, we describe an AUML-based framework to specify generic protocols. We call generic protocols, agent interaction protocols where only a general behavior of the interacting entities can be described. From AUML protocol diagrams, we identified five fundamental concepts on top of which we defined formal specifications of generic protocols. Through our specifications, we addressed a lack in generic protocol representation by emphasizing the description of actions performed in the course of interactions based on such protocols. The framework we developed is formal, expressive and of practical use. It helps decouple interaction concerns from the rest of an agent's architecture. As an application, we used this framework to publish the specifications of generic protocols for agent interactions in several multi-agent system applications we developed. Additionally, the framework helped us address two issues faced in the design of agent interactions based on generic protocols, protocol configuration and their dynamic selection.