Interaction protocol engineering

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2650, Issue , 2003, Pages 179-193

  Huget, Marc Philippe ^a   Koning, Jean Luc ^b  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

^b GRENOBLE INSTITUTE OF TECHNOLOGY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION SYSTEMS; FORMAL LANGUAGES; INFORMATION RETRIEVAL; LIFE CYCLE; NETWORK PROTOCOLS; SEMANTICS; SPECIFICATIONS; SPEECH COMMUNICATION;

FORMAL DESCRIPTION TECHNIQUES; INTERACTION PROTOCOLS; MULTIAGENT FRAMEWORK; SPEECH ACT THEORY;

MULTI AGENT SYSTEMS;

EID: 23144458850     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-44972-0_9     Document Type: Conference Paper

References (30)

1. B. Bauer, J. P. Muller, and J. Odell. An extension of UML by protocols for multiagent interaction. In International Conference on MultiAgent Systems (ICMAS'00), pages 207-214, Boston, Massachusetts, July, 10-12 2000.
2. P.-Y. M. Chu. Towards Automating Protocol Synthesis and Analysis. PhD thesis, Ohio State University, 1989.
3. E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 2000.
4. B. Cox, J. Tygar, and M. Sirbu. Netbill security and transaction protocol. In Proceedings of the First U SENIX Workshop in Electronic Commerce, July 1995.
5. R. Davis and R. G. Smith. Negotiation as a metaphor for distributed problemsolving. Artificial Intelligence, 20:63-109, 1983.
6. FIPA. Specification: Agent Communication Language. Foundation for Intelligent Physical Agents, http://www.fipa.org/spec/fipa99spec.htm, September 1999. Draft-2.
7. FIPA. Specification. Foundation for Intelligent Physical Agents, http://www.fipa.org/repository/fipa2000.html, 2000.
8. M. Fisher and M. Wooldridge. Specifying and executing protocols for cooperative action. In International Working Conference on Cooperating Knowledge-Based Systems (CKBS-94), Keele, 1994.
9. M. Greaves, H. Holmback, and J. Bradshaw. What is a conversation policy? In Autonomous Agents'99 Special Workshop on Conversation Policies. 1999.
10. G. J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, 1991.
11. G. J. Holzmann. The model checker spin. IEEE Transactions on Software Engineering, 23(5), May 1997.
12. M.-P. Huget. Une ingnierie des protocoles d'interaction pour les systmes multiagents. PhD thesis, Universit Paris 9 Dauphine, June 2001.
13. M.-P. Huget. Design agent interaction as a service to agents. In M.-P. Huget, F. Dignum, and J.-L. Koning, editors, AAMAS Workshop on Agent Communication Languages and Conversation Policies (ACL2002), Bologna, Italy, July 2002.
14. C. Iglesias, M. Garrijo, J. Gonzales, and J. Velasco. Design of multi-agent system using mas-commonkads. In Springer-Verlag, editor, Proceedings of ATAL 98, Workshop on Agent Theories, Architectures, and Languages, volume LNAI 1555, pages 163-176, Paris, France, July 1998.
15. N. R. Jennings and M. Wooldridge. Agent-oriented software engineering. In J. Bradshaw, editor, Handbook in Agent Technology. MIT Press, 2000.
16. K. Jensen. High-Level Petri Nets, Theory and Application. Springer-Verlag, 1991.
17. 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.
18. J.-L. Koning, M.-P. Huget. J. Wei, and X. Wang. Extended modeling languages for interaction protocol design. In Proceedings of Agent-Oriented Software Engineering (AOSE 01), Montreal, Canada, May 2001.
19. K. Kuwabara, T. Ishida, and N. Osato. AgenTalk: Describing multiagent coordination protocols with inheritance. In Seventh IEEE International Conference on Tools with Artificial Intelligence, pages 460-465, Herndon, Virginia, November 1995.
20. S. Löffler and A. Serhrouchni. Protocol design: from specification to implementation. In 5th Open Workshop for High-Speed Networks, Mar. 1996.
21. M. Narasimhan. An object oriented framework for composing communication protocols. Master's thesis, Department of Computing and Information Sciences, Kansas State University, Manhattan, Kansas, January 1997.
22. P. Noriega. Agent mediated auctions: The Fishmarket Metaphor. PhD thesis, Universitat Autnoma de Barcelona, 1998.
23. 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.
24. A. Salomaa. Theory of Automata. Pergamon Press, 1969.
25. J. Searle. Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge, 1969.
26. S. S. Sian. Adaptation based on cooperative learning in multi-agent systems. In Y. Demazeau and J.-P. Mller, editors, Decentralized AI, volume II, pages 257-272, Amsterdam, The Netherlands, 1991. Elsevier Science Publishers B.V.
27. J. L. Tavares da Silva and Y. Demazeau. Distributed agenda management through decentralised vowels co-ordination approach. In 8th Iberoamerican Conference on Artificial Intelligence (IBERAMIA '02), 2002. under submission.
28. K. J. Turner. Using Formal Description Techniques - An Introduction to Estelle, LOTOS and SDL. John Wiley and Sons, Ltd, 1993.
29. C. Webber and S. Pesty. A two-level multi-agent architecture for a distance learning environment. In E. B. Costa, editor, ITS 2002/Workshop on Architectures and Methodologies for Building Agent-based Learning Environments, pages 26-38, 2002.
30. M. Wooldridge, N. R. Jennings, and D. Kinny. The gaia methodology for agent-oriented analysis and design. Journal of Autonomous Agents and Multi-Agent Systems, 3(3):285-312, 2000.