Extended modeling languages for interaction protocol design

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2222, Issue , 2002, Pages 68-83

  Koning, Jean Luc ^a   Huget, Marc Philippe ^b   Wei, Jun ^c   Wang, Xu ^c  

^a INP Grenoble ESISAR   (France)

^b Leibniz MAGMA   (France)

^c INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; DESIGN; MODELING LANGUAGES; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES;

AGENT INTERACTION PROTOCOLS; AGENT MODELING LANGUAGES; AGENT-BASED SYSTEMS; COMPONENT-BASED FORMAL SPECIFICATIONS; ELECTRONIC COMMERCE PROTOCOLS; INTER-ACTION PROTOCOLS; MODEL METHOD; OBJECT-ORIENTED SYSTEM;

SOFTWARE AGENTS;

EID: 84959054707     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-70657-7_5     Document Type: Conference Paper

References (19)

1. Agenttool information page. http://en.afit.af.mil/ai/agentool.htm, 2000.
2. B. Burmeister, A. Haddadi, and K. Sundermeyer. Generic, configurable, cooperation 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–171, Berlin, Germany, 1995. Springer Verlag. Appeared also in MAAMAW- 93, Neuchatel.
3. B. Cox, J. Tygar, and M. Sirbu. Netbill security and transaction protocol. In Proceedings of the First USENIX Workshop in Electronic Commerce, july 1995.
4. FIPA. Specification: Agent Communication Language. Foundation for Intelligent Physical Agents, http://www.fipa.org/spec/fipa99spec.htm, September 1999. Draft-2.
5. G. J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, 1991.
6. G. J. Holzmann. The model checker spin. IEEE Transactions on Software Engineering, 23(5), May 1997.
7. 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.
8. J.-L. Koning and M.-P. Huget. A component-based approach for modeling interaction protocols. In 10th European-Japanese Conference on Information Modelling and Knowledge Bases, Finland, May 2000.
9. 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 12, Frontiers in Artificial Intelligence and Applications. IOS Press, Amsterdam, 2001.
10. 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.
11. 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.
12. J. Odell, H. V. D. Parunak, and B. Bauer. Extending uml for agents. In G. Wagner, Y. Lesperance, and E. Yu, editors, Proceedings of the Agent-Oriented Information Systems Workshop at the 17th National conference on Artificial Intelligence, Austin, Texas, july, 30 2000. ICue Publishing.
13. 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.
14. H. V. D. Parunak and J. Odell. Representing social structures in uml. In M. Wooldridge, G. Weiss, and P. Ciancarini, editors, Second International Workshop on Agent-Oriented Software Engineering (AOSE-2001), LNCS, Montreal, Canada, May 2001. Springer-Verlag.
15. J. Searle. Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge, 1969.
16. 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.
17. M. P. Singh. Toward interaction oriented programming. Technical Report TR-96- 15, North Carolina State University, May 1996.
18. R. Systems. Agentbuilder, an integrated toolkit for constructing intelligent software agents. Technical report, Reticular Systems, 1999.
19. 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.