Abstract : 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.
Zhongzhi Shi; Zhaohui Wu; David Leake; Uli Sattler. 8th International Conference on Intelligent Information Processing (IIP), Oct 2014, Hangzhou, China. Springer, IFIP Advances in Information and Communication Technology, AICT-432, pp.106-112, 2014, Intelligent Information Processing VII. 〈10.1007/978-3-662-44980-6_12〉
https://hal.inria.fr/hal-01383322
Contributeur : Hal Ifip
<>
Soumis le : mardi 18 octobre 2016 - 14:53:55
Dernière modification le : mardi 18 octobre 2016 - 15:08:51
Dapeng Zhang, Xiang Ji, Xinsheng Wang. An AUML State Machine Based Method for Multi-agent Systems Model Checking. Zhongzhi Shi; Zhaohui Wu; David Leake; Uli Sattler. 8th International Conference on Intelligent Information Processing (IIP), Oct 2014, Hangzhou, China. Springer, IFIP Advances in Information and Communication Technology, AICT-432, pp.106-112, 2014, Intelligent Information Processing VII. 〈10.1007/978-3-662-44980-6_12〉. 〈hal-01383322〉
