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
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
NetBill security and transaction protocol
WOEC'95 Proceedings of the 1st conference on USENIX Workshop on Electronic Commerce - Volume 1
Interaction Protocol Design: Application to an Agent-Based Teleteaching Project
ICCI '03 Proceedings of the 2nd IEEE International Conference on Cognitive Informatics
Towards design tools for protocol development
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Design time analysis of multiagent protocols
Data & Knowledge Engineering
Towards Design Tools for Protocol Development
Agent Communication II
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
Hi-index | 0.00 |
Designing agent interaction protocols need first to consider what the requirements are. This is done in the requirement analysis phase. The output of this phase is an informal document written in natural language. To our best knowledge, this phase is barely considered in the literature neither in communication protocol engineering nor in interaction protocol engineering. As a consequence, it is difficult for designers to do it easily. Experience seems to be the key. In order to help designers, we propose to structure the requirement analysis document into fields. These fields gather protocol's features. This paper presents such document and applies the structuration to the electronic commerce protocol NetBill.