CAD系统中嵌套有穷状态自动机的设计与实现  

Design and Implementation of Embedded Finite State Machines in CAD Systems

作　　者：吕蕴华[1] 张三元[1] 叶修梓[1] 

机构地区：[1]浙江大学计算机学院,浙江杭州310027

出　　处：《现代机械》2006年第3期33-34,45,共3页Modern Machinery

摘　　要：基本CAD系统中都要用到有穷自动机,在一般的CAD系统中,通常用switch、case语句来设计相应的状态图,这样做不但在状态复杂时逻辑上容易出错,而且使多个开发者无法同时开发和调试自动机的几个子模块,一定程度上限制了开发并行性和进度,非嵌套有穷自动机的设计基本上模仿状态图的逻辑设计,让状态图的设计者可以像画状态图一样直观地设计自动机,增加了逻辑上的清晰性。在此基础上改造的嵌套有穷自动机有效地实现了多个开发者对某一自动机子功能的并行设计和单元测试,能有效地提高开发效率。Finite state machine is needed in nearly all the CAD system, switch, case clause are used to design the corresponding statechart diagrams in normal CAD systems. But it can easily cause logical confusion and it is difficult for developers to design and test the modules of the statemachine. To some extent ,it will prevent us from synactic developing. A normal finite state machine can be designed just as draw a statechart diagrams with the machine class mentioned in the paper,and with lesslogical confusion. The nested state machine based on the normal state machine allows synatic developing and module testing,it can improve the efficiency of development.

关 键 词：非嵌套有穷自动机 嵌套有穷自动机 状态机类 事务类 状态类 状态机/状态类 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构] TP391.72[自动化与计算机技术—计算机科学与技术]