. Lin-huimin and . Zhang-wenhui, Model Checking: Theories, techniques, and applications, Acta Electronica Sinica, vol.12, issue.30, pp.1906-1912, 2002.

W. Dong, J. Wang, X. Qi, and Z. C. Qi, Model checking UML statecharts, Proc. of 8th Asia-Pacific Software Engineering Conference, 2001.

X. Luo, Z. Tan, and S. Dong, Automatic Detection Method for Web Services Feature Interaction, Computer Science, vol.37, issue.12, pp.106-110, 2010.

. Du, UML consistency and test case generation based on model checking, College of Computer Science and Technology, 2011.

A. Gherbi and F. Khendek, Consistency of UML/SPT Models, SDL 2007, pp.203-224, 2007.
DOI : 10.1007/978-3-540-74984-4_13

P. Gammieand and R. V. Meyden, Mck: Model Checking the logic of Knowledge, pp.478-483, 2004.

A. Lomuscio and F. Raimondi, MCMAS: A model checker for multi-agent systems

S. Kaile and L. Xiangyu, Abudul Scatter. The Interpreted System Model of knowledge, belief, desire and intention, The fifth international Joint Conference on Autonomous Agents and Multi-Agent Systems, pp.220-222, 2006.

C. Bin and W. Zhixue, Symbolic Model Checking Algorithm for Temporal Epistemic logic CTL*K, Computer Science, vol.36, issue.5, pp.214-219, 2009.

R. Fagin, J. Halpen, Y. Moses, and M. Vardi, Reasoning about Knowledge, 1995.

Z. Zhao, Research on Agent Unified Modeling Language. Institute of Computing Technology, Chinese Academy of Sciences, 2003.

F. Raimoudi, Model Checking Multi-Agent Systems, 2006.