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

摘要：

为了对Web应用进行验证,保证Web应用的可靠性和质量,提出了将Web应用的SCXML描述提取出通用状态机的算法.在对Web服务应用的语言SCXML的各构成要素进行深入分析的基础上,该算法实现了将SCXML描述转化为相应的自动机,为对Web应用进行模型检查打下基础.对Web应用游戏系统的SCXML文件转换得到了对应的自动机实例,实验结果表明了该算法的正确性和有效性.

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

所属期刊栏目：31

分类号：TP301.2(计算技术、计算机技术)

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

在线出版日期：2010-12-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：4385-4388,4433