Abstract
Successful development of agent interaction protocols re- quires modeling methods and tools that support a relatively complete development lifecycle.Agent-based systems are inherently complexbut exhibit many similarities to object-oriented systems.For these reasons not only current modeling languages need to be extended,but also re-lated tools should be provided for agent interaction protocol design to be supported.In this paper,we focus on the design stage of an agent in-teraction protocol development cycle.We start by giving general criteria for comparing agent modeling languages.The ones we take into consid-eration in this paper are extensions of Agent-UML and FIPA-UAML languages.We describe these languages and discuss some extensions on a simpli .ed application of the Netbill electronic commerce protocol.We then brie .y introduce a component-based formal speci .cation language in order to support the protocol ? 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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
B. Burmeister, A. Haddadi,and K. Sundermeyer.Generic,configurable,coop-eration protocols for multi-agent systems.In C. Castelfranchi and J.-P. Muller, editors,From Reaction to Cognition,volume 957 of Lecture notes in AI,pages 157–71,Berlin,Germany,1995.Springer Verlag.Appeared also in MAAMAW-93,Neuchatel.
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:Agent Communication Language.Foundation for Intelli-gent Physical Agents,http://www..pa.org/spec/.pa99spec.htm,September 1999. Draft-2.
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.
K. Jensen.Coloured Petri Nets.Basic Concepts,Analysis Methods and Practical Use,volume 1,Basic Concepts of Monographs in Theoretical Computer Science, chapter 6,Overview of Design/CPN.Springer-Verlag,1992.ISBN:3–540-60943-1.
J.-L. Koning and M.-P. Huget.A component-based approach for modeling interac-tion protocols.In 10th European-Japanese Conference on Information Modelling and Knowledge Bases,Finland,May 2000.
J.-L. Koning and M.-P. Huget.A semi-formal specification language dedicated to interaction protocols.In H. Kangassalo, H. Jaakkola,and E. Kawaguchi,editors, Information Modelling and Knowledge Bases XII,Frontiers in Artificial Intelligence and Applications.IOS Press, Amsterdam,2001.
J.-L. Koning, M.-P. Huget, J. Wei,and X. Wang.Engineering electronic commerce interaction protocols.In Proceedings of Intelligent Agents,Web Technologies and Internet Commerce (IAWTIC 01),Las Vegas,NV,USA,July 2001.
K. Kuwabara, T. Ishida,and N. Osato.AgenTalk:Describing multiagent coor-dination protocols with inheritance.In Seventh IEEE International Conference on Tools with Artificial Intelligence,pages 460–65,Herndon,Virginia,November 1995.
J. Odell, H.V.D. Parunak, and B. Bauer.Extending uml for agents.In G. Wag-ner, Y. Lesperance,and E. Yu,editors,Proceedings of the Agent-Oriented Informa-tion Systems Workshop at the 17th National conference on Artificial Intelligence, Austin,Texas,july,3 2000.ICue Publishing.
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 Interna-tional Workshop on Agent-Oriented Software Engineering,Limerick,Ireland,june, 10 2000.Springer-Verlag.
H.V.D. Parunak and J. Odell.Representing social structures in uml.In M. Wooldridge, G. Weiss,and P. Ciancarini,editors,Second International Work-shop on Agent-Oriented Software Engineering (AOSE-2001), LNCS, Montreal, Canada, May 2001. Springer-Verlag.
J. Searle.Speech Acts:An Essay in the Philosophy of Language.Cambridge Uni-versity Press,Cambridge,1969.
A.E.-F. Seghrouchni, S. Haddad,and H. Mazouzi.A formal study of interaction in multi-agent systems.In Modelling Autonomous Agents in Multi-Agent Worlds (MAAMAW),1999.
M.P. Singh.Toward interaction oriented programming.Technical Report TR-96-15,North Carolina State University,May 1996.
Systems.Agentbuilder,an integrated toolkit for constructing intelligent software agents.Technical report,Reticular Systems,1999.
J.Wei, S.-C. Cheung,and X. Wang.Towards a methodology for formal design and analysis of agent interaction protocols:An investigation in electronic commerce. In International Software Engineering Symposium,Wuhan,Hubei,China.,March 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Koning, JL., Huget, MP., Wei, J., Wang, X. (2002). Extended Modeling Languages for Interaction Protocol Design. In: Wooldridge, M.J., Weiß, G., Ciancarini, P. (eds) Agent-Oriented Software Engineering II. AOSE 2001. Lecture Notes in Computer Science, vol 2222. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-70657-7_5
Download citation
DOI: https://doi.org/10.1007/3-540-70657-7_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43282-1
Online ISBN: 978-3-540-70657-1
eBook Packages: Springer Book Archive