Skip to Main content Skip to Navigation
Conference papers

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

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-01383322
Contributor : Hal Ifip <>
Submitted on : Tuesday, October 18, 2016 - 2:53:55 PM
Last modification on : Thursday, March 5, 2020 - 5:41:03 PM

File

978-3-662-44980-6_12_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Dapeng Zhang, Xiang Ji, Xinsheng Wang. An AUML State Machine Based Method for Multi-agent Systems Model Checking. 8th International Conference on Intelligent Information Processing (IIP), Oct 2014, Hangzhou, China. pp.106-112, ⟨10.1007/978-3-662-44980-6_12⟩. ⟨hal-01383322⟩

Share

Metrics

Record views

184

Files downloads

253