Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
B. Cox, J. Tygar, and M. Sirbu. Netbill security and transaction protocol. In Proceedings of the First USENIX Workshop in Electronic Commerce, July 1995.
FIPA. Specification. Foundation for Intelligent Physical Agents, http://www..pa.org/repository/.pa2000.html, 2000.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, 1991.
G. J. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5), May 1997.
M.-P. Huget. Une ingénierie des protocoles d’interaction pour les systèmes multiagents. PhD thesis, Université Paris 9 Dauphine, June 2001.
M.-P. Huget and J.-L. Koning. Engineering Interaction Protocols for Multiagent Systems, volume Communication in Multiagen Systems” Bacground, Current Trends and Future. Springer-Verlag, marc-philippe huget edition, 2002. to appear.
J. Odell, H.V.D. Parunak, and B. Bauer. Representing agent interaction protocols in UML. In P. Ciancarini and M. Wooldridge, editors, Proceedings of First International Workshop on Agent-Oriented Software Engineering, Limerick, Ireland, June, 10 2000. Springer-Verlag.
OMG. UML 1.4. Technical report, OMG, 2001.
J. Searle. Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, 1969.
M. Wooldridge, N.R. Jennings, and D. Kinny. The Gaia methodology for agentoriented analysis and design. Journal of Autonomous Agents and Multi-Agent Systems, 3(3):285–312, 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Huget, MP., Koning, JL. (2003). Requirement Analysis for Interaction Protocols. In: Mařík, V., Pěchouček, M., Müller, J. (eds) Multi-Agent Systems and Applications III. CEEMAS 2003. Lecture Notes in Computer Science(), vol 2691. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45023-8_39
Download citation
DOI: https://doi.org/10.1007/3-540-45023-8_39
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40450-7
Online ISBN: 978-3-540-45023-8
eBook Packages: Springer Book Archive