An AUML State Machine Based Method for Multi-agent Systems Model Checking - Intelligent Information Processing VII (IIP 2014) Access content directly
Conference Papers Year : 2014

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

Xiang Ji
  • Function : Author
  • PersonId : 990772
Xinsheng Wang
  • Function : Author
  • PersonId : 990773

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.
Fichier principal
Vignette du fichier
978-3-662-44980-6_12_Chapter.pdf (237.02 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01383322 , version 1 (18-10-2016)

Licence

Attribution

Identifiers

Cite

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⟩
627 View
1051 Download

Altmetric

Share

Gmail Facebook X LinkedIn More