Design and validation of computer protocols
Design and validation of computer protocols
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Representing agent interaction protocols in UML
First international workshop, AOSE 2000 on Agent-oriented software engineering
Representing Social Structures in UML
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
AgenTalk: Describing Multiagent Coordination Protocols with Inheritance
TAI '95 Proceedings of the Seventh International Conference on Tools with Artificial Intelligence
Toward Interaction-Oriented Programming
Toward Interaction-Oriented Programming
NetBill security and transaction protocol
WOEC'95 Proceedings of the 1st conference on USENIX Workshop on Electronic Commerce - Volume 1
Open protocol design for complex interactions in multi-agent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
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
Towards an ADL for Designing Agent-Based Systems
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
A top down approach for MAS protocol descriptions
Proceedings of the 2003 ACM symposium on Applied computing
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Formal semantics for AUML agent interaction protocol diagrams
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Specification of role-based interactions components in multi-agent systems
Software Engineering for Multi-Agent Systems III
| Hi-index | 0.00 |
Successful development of agent interaction protocols requires modeling methods and tools that support a relatively complete development lifecycle. Agent-based systems are inherently complex but exhibit many similarities to object-oriented systems. For these reasons not only current modeling languages need to be extended, but also related tools should be provided for agent interaction protocol design to be supported. In this paper, we focus on the design stage of an agent interaction protocol development cycle. We start by giving general criteria for comparing agent modeling languages. The ones we take into consideration in this paper are extensions of Agent-UML and FIPA-UAML languages. We describe these languages and discuss some extensions on a simplified application of the Netbill electronic commerce protocol. We then briefly introduce a component-based formal specification language in order to support the protocol's design stage and present a tool built upon the FIPA norm (making use of the PDN or UAML notation) which supports the analysis and design of interaction protocols.