基于Web应用的SCXML到自动机的转换  

Transformation from SCXML based on web application to automata

作　　者：张东方[1] 沈云付[1] 

机构地区：[1]上海大学计算机工程与科学学院,上海200072

出　　处：《计算机工程与设计》2010年第20期4385-4388,4433,共5页Computer Engineering and Design

基　　金：国家863高技术研究发展计划基金项目(2007AA01Z144)

摘　　要：为了对Web应用进行验证,保证Web应用的可靠性和质量,提出了将Web应用的SCXML描述提取出通用状态机的算法。在对Web服务应用的语言SCXML的各构成要素进行深入分析的基础上,该算法实现了将SCXML描述转化为相应的自动机,为对Web应用进行模型检查打下基础。对Web应用游戏系统的SCXML文件转换得到了对应的自动机实例,实验结果表明了该算法的正确性和有效性。To verify and ensure the reliability and quality of web applications,an algorithm of extracting the automata from the state chart extensible markup language（SCXML） is presented,which describes the application of web services.Based on the deep analysis of the constituent elements of the SCXML language,it is realized the transformation from SCXML of the web applications to the automata with the algorithm,which lays a foundation for model checking of the web applications.The validity and efficiency of the presented algorithm is demonstrated by the example of the transformation of the web application for game system to the automata.

关 键 词：WEB应用 状态图扩展标记语言 有限状态自动机 模型检查 形式验证 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]