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.
Chapter PDF
References
Huimin, L., Wenhui, Z.: Model Checking: Theories, techniques, and applications. Acta Electronica Sinica 12(30), 1906–1912 (2002)
Dong, W., Wang, J., Qi, X., Qi, Z.C.: Model checking UML statecharts. In: Proc. of 8th Asia-Pacific Software Engineering Conference (2001)
Luo, X.Y., Tan, Z., Dong, S.R.: Automatic Detection Method for Web Services Feature Interaction. Computer Science 37(12), 106–110 (2010)
Du. UML consistency and test case generation based on model checking. College of Computer Science and Technology, NanJing, Master Dissertation (2011)
Gherbi, A., Khendek, F.: Consistency of UML/SPT Models. In: Gaudin, E., Najm, E., Reed, R. (eds.) SDL 2007. LNCS, vol. 4745, pp. 203–224. Springer, Heidelberg (2007)
Gammie, P., van der Meyden, R.: Mck: Model Checking the logic of Knowledge. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 479–483. Springer, Heidelberg (2004)
Lomuscio, A., Raimondi, F.: mcmas: A model checker for multi-agent systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol. 3920, pp. 450–454. Springer, Heidelberg (2006)
Kaile, S., Xiangyu, L., Scatter, A.: The Interpreted System Model of knowledge, belief, desire and intention. In: The Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems, pp. 220–222. ACM (2006)
Bin, C., Zhixue, W.: Symbolic Model Checking Algorithm for Temporal Epistemic logic CTL*K. Computer Science 36(5), 214–219 (2009)
Fagin, R., Halpen, J.Y., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge (1995)
Zhao, Z.: Research on Agent Unified Modeling Language. Institute of Computing Technology, Chinese Academy of Sciences, Beijing, PHD Dissertation (2003)
Raimoudi, F.: Model Checking Multi-Agent Systems, Department of Computer Science London University, London, PHD Dissertation (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 IFIP International Federation for Information Processing
About this paper
Cite this paper
Zhang, D., Ji, X., Wang, X. (2014). An AUML State Machine Based Method for Multi-agent Systems Model Checking. In: Shi, Z., Wu, Z., Leake, D., Sattler, U. (eds) Intelligent Information Processing VII. IIP 2014. IFIP Advances in Information and Communication Technology, vol 432. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44980-6_12
Download citation
DOI: https://doi.org/10.1007/978-3-662-44980-6_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-44979-0
Online ISBN: 978-3-662-44980-6
eBook Packages: Computer ScienceComputer Science (R0)