Art

J-GLOBAL ID：200902102501506264   Reference number：02A0881350

Concurrent System Technology and Its Application to Multiple Agent Systems. Specification and Analysis of the Contract Net Protocol Based on State Machine Model.

状態機械モデルに基づく契約ネットプロトコルの仕様と分析

Author (5)： ITABASHI G (Scientia Corp., Sendai-shi, JPN) ,  HARAMOTO Y (Sendai National Coll. Technol., Sendai-shi, JPN) ,  KATO Y (Sendai National Coll. Technol., Sendai-shi, JPN) ,  TAKAHASHI K (Sendai National Coll. Technol., Sendai-shi, JPN) ,  SHIRATORI N (Tohoku Univ. Sendai-shi, JPN)
Material： IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Institute of Electronics, Information and Communication Engineers)  (IEICE Trans Fundam Electron Commun Comput Sci (Inst Electron Inf Commun Eng))
Volume： E85-A  Issue： 11  Page： 2447-2452  Publication year： Nov. 01, 2002 
JST Material Number： F0699C  ISSN： 0916-8508  Document type： Article
Article type： 短報  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： *multiagent system ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=02A0881350&from=J-GLOBAL&jstjournalNo=F0699C") }}

JST classification (2)： Computer networks  (JC03000K) ,  Control systems  (JC02030K)

Reference (5)：

• SMITH, R. G. The contract net protocol : High-level communication and control in a distributed problem solver. IEEE Trans. Comput. 1980, C-29, 12, 1104-1113
• CASAVANT, T. L. A communicating finite automata approach to modeling distributed computation and its application to distributed decision-making. IEEE Trans. Comput. 1990, 39, 5, 628-639
• SHAW, A. C. A specification method for mobile and concurrent systems based on the concept of field and finite state machine, and its application. Trans. IPS Japan. 2001, 42, 12, 3041-3053
• ITABASHI, G. A specification method for mobile and concurrent systems based on the concept of field and finite state machine, and its application. Trans. IPS Japan. 2001, 42, 12, 3041-3053
• TAKAHASHI, K. Specification of a mobile system based on finite state model. Proc. First International Conference on Parallel and Distributed Computing Applications and Technologies. 2000, 209-214

Terms in the title (4)： 機械モデル ,  契約ネットプロトコル ,  仕様 ,  分析