基于层次自动机的应用软件行为建模  

Behavior Modeling for Application Software Using Hierarchical Automata

作　　者：杨涛[1] 肖田元[2] 张林鍹[2] 

机构地区：[1]西南科技大学信息工程学院,四川绵阳621010 [2]清华大学自动化系国家CIMS工程研究中心,北京100084

出　　处：《系统仿真学报》2005年第4期778-781,共4页Journal of System Simulation

基　　金：国家863CIMS主题项目(2001AA411330);西南科技大学引进人才科研启动基金(ZK043100)。

摘　　要：对应用软件的行为建模有助于实时推断用户的操作意图,为初学者提供上下文相关的关于软件操作的帮助。Petri Net、有限自动机、IDEF3和状态图是常用的行为建模方法。层次自动机是对有限自动机的推广,具有结构性强和直观的优点。一般应用软件的操作界面都具有一定的层次性,采用层次自动机可以充分利用该特点。给出了层次自动机的形式化定义和面向对象实现框架,并且以Pro/E为例说明了将层次自动机用于应用软件行为建模的有效性。Behavior modeling facilitates inferring users' intention in real time and offers context-sensitive helps about how to use application software to beginners. Petri Net, Finite State Automata (FSA), IDEF3 and State Charts are traditionally used for behavior modeling. Hierarchical Automata (HA), as an extension of FSA, are characterized by well-structuredness and ease to understand. Most application software has hierarchical graphic user interfaces, which gives full scope to the expressiveness of HA. The formal definition and implementation framework are proposed. A case study of Pro/E is conducted to illustrate the effectiveness of HA in modeling the behavior of application software.

关 键 词：层次自动机 行为建模 应用软件 智能界面 

分 类 号：TP391.72[自动化与计算机技术—计算机应用技术]