Verify Behaviors of CGF with ASM

摘要：

　　Verification is one of the most important steps in modeling and simulation.However,behavior modeling is extremely complex,especially in battlefield simulations.Till now,there are few efficient methods for behavior verification of computer generated forces.In this paper; a novel approach is proposed based on the theory of Abstract State Machines (ASM),which is usually used in the field of model-based software testing.In our work,Behaviors of CGF are described in ASML,which is a kind of specification language of ASM.With this approach,the verification of the states of CGF behaviors can be possibly achieved at the design stage,and we can improve our behavior design then.

关键词： Abstract state machine AsmL Computer generated forces Behavior

作者: Zhang Wei Zeng Liang Li Sikun Xiong Yueshan

作者单位: School of Computer National University of Defense Technology Changsha, P.R.China

会议类型: 国际会议

会议名称: 2012 2nd International Conference on Computer Application and System Modeling(2012第二届计算机应用与系统建模国际会议)(ICCASM-2012)

会议地点: 沈阳

会议语种:英文

页码: 1113-1116

在线出版日期: 2012-07-27（万方平台首次上网日期，不代表论文的发表时间）