文章基本信息

标题：Verification of FSM using Attributes Definition of NPCs Models
本地全文：下载
作者：Chong-Han Kim ; Seung-Moon Jeong ; Gi-Taek Hur 等
期刊名称：International Journal of Computer Science and Network Security
印刷版ISSN：1738-7906
出版年度：2006
卷号：6
期号：7A
页码：168-174
出版社：International Journal of Computer Science and Network Security
摘要：The NPC (Non Playable Character) model is a very significant factor in the area of the on-line computer games and the design of virtual space systems. FSM (Finite State Machine) is the most widely used algorithm which uses the finite states to represent the behaviors of NPCs. The correct specification about the artificially intelligent NPC model prevents us from losing the resources in the phase of implementation, and makes it possible to verify the suitability for the requirement specification. In this paper, we defined the property about the behavior pattern of a fish object when we construct the virtual ocean, and we formalized and established the interrelationship of behavior pattern by environment changing. We designed and implemented NPC fish models which have a formal property in the virtual ocean by using FSM algorithm. And we proved propriety about the designed algorithm through verifying the functions of the NPC model with SMV, a model checker based on the CTL.
关键词：NPC, FSM, Model Checking, Virtual Ocean