Extended Modeling Languages for Interaction Protocol Design
暂无分享,去创建一个
Xu Wang | Jean-Luc Koning | Marc-Philippe Huget | Jun Wei | M. Huget | Jun Wei | Xu Wang | Jean-Luc Koning
[1] H. Van Dyke Parunak,et al. Representing Agent Interaction Protocols in UML , 2000, AOSE.
[2] Gerard J. Holzmann,et al. Design and validation of computer protocols , 1991 .
[3] A. Koller,et al. Speech Acts: An Essay in the Philosophy of Language , 1969 .
[4] Bernhard Bauer,et al. Extending UML for agents , 2000 .
[5] Jean-Luc Koning,et al. A Semi-Formal Specification Language Dedicated to Interaction Protocols , 2000, EJC.
[6] Amal El Fallah Seghrouchni,et al. A Formal Study of Interactions in Multi-agent Systems , 1999, Int. J. Comput. Their Appl..
[7] Afsaneh Haddadi,et al. Generic, Configurable, Cooperation Protocols for Multi-Agent Systems , 1993, MAAMAW.
[8] Agentbuilder. Agentbuilder,et al. An integrated toolkit for constructing intelligent software agents , 1999 .
[9] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[10] Benjamin Cox,et al. NetBill Security and Transaction Protocol , 1995, USENIX Workshop on Electronic Commerce.
[11] H. Van Dyke Parunak,et al. Representing Social Structures in UML , 2001, AOSE.
[12] John R. Searle,et al. Speech Acts: An Essay in the Philosophy of Language , 1970 .
[13] Kazuhiro Kuwabara,et al. AgenTalk: describing multiagent coordination protocols with inheritance , 1995, Proceedings of 7th IEEE International Conference on Tools with Artificial Intelligence.
[14] Munindar P. Singh. Toward Interaction-Oriented Programming , 1996 .