发表刊物：2012 IEEE Symposium on Electrical and Electronics Engineering
刊物所在地：IEEE Computer Society, 2001 L Street N.W., Suite 700, Washington, DC 20036-4928, United States
关键字：KQML; multi-agent systems; model checking; MCMAS
摘要：The Knowledge Query Manipulation Language (KQML) has become a de-facto standard of agent communication languages. To be able to guarantee the correctness and reliability of a KQML code, in this paper we propose an intermediate formal model transition seven-tuple for modeling KQML, develop a modeling approach for converting the KQML language to the input language ISPL of the model checker MCMAS for multi-agent systems, which enable us to verify temporal and epistemic properties. The validity of the proposed verification approach is demonstrated by a case study of train-controller system.
页面范围：690-693
字数：2500
是否译文：否
发表时间：2011-12-06
第一作者：Luo(外),Lingjie,Zou(外),Mengmeng,骆翔宇