Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

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

Dapeng Zhang 1, 2 Xiang Ji 1 Xinsheng Wang 1 
1 Yanshan University [Qinhuangdao]
2 Guilin University of Electronic Technology
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.
Keywords : Model Checking MCMAS AUML state machine ISPL Multiagent System
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download
https://hal.inria.fr/hal-01383322
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, October 18, 2016 - 2:53:55 PM
Last modification on : Thursday, March 5, 2020 - 5:41:03 PM

File

Vignette du document
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

Collections

IFIP | IFIP-AICT | IFIP-TC | IFIP-AICT-432 | IFIP-TC12

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

76

Files downloads

136

 

Contact                    Legal Notice                    Personal Data