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.
Type de document :
Communication dans un congrès
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〉
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

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

Fichier

978-3-662-44980-6_12_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

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〉

Partager

Métriques

Consultations de la notice

51

Téléchargements de fichiers

15