| HAL-Inria | Publications, software ... of Inria's scientists |
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.
Cited literature [12 references]
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
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