An AUML State Machine Based Method for Multi-agent Systems Model Checking

摘要：

　　This paper firstly proposes a Multi-agent System Model Checking Framework, which is based on AUML (Agent Unified Modeling Language) state machine model and temporal logics of knowledge and provides a method using AUML state machine for Multi-Agent Systems formal modeling.Then a method for the conversion from AUML state machine formal description to ISPL language is proposed.Finally a simulation is accomplished with the conversion tool AUML2ISPL.

关键词： Model Checking MCMAS AUML state machine ISPL Multi-agent System

作者: Dapeng Zhang Xiang Ji Xinsheng Wang

作者单位: Institute of Information Science and Engineering, Yanshan University,Qinhuangdao, 066004, China;Guan Institute of Information Science and Engineering, Yanshan University,Qinhuangdao, 066004, China

会议类型: 国际会议

会议名称: 8th International Conference on Intelligent Information Processing(2014年IFIP智能信息处理国际会议)

会议地点: 杭州

会议语种:英文

页码: 106-112

在线出版日期: 2014-10-01（万方平台首次上网日期，不代表论文的发表时间）