基于XML的Web应用模型抽取

作     者：程广金 缪淮扣 方明科 梅佳 髙洪皓 CHENG Guang-jin;MIAO Huai-kou;FANG Ming-ke;MEI Jia;GAO Hong-hao

作者机构：上海大学计算机工程与科学学院上海200072 上海市计算机软件评测中心上海201112 信阳师范学院计算机与信息技术学院信阳464000 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2011年第38卷第9期

页      面：130-134,149页

核心收录：

学科分类：08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论] 

基　　金：国家自然科学基金项目(60673115 60970007) 国家重大基础研究(973)项目(2007CB310800) 上海市自然科学基金(09ZR1412100) 上海市科委项目(10510704900) 上海市重点学科建设项目(J50103)资助 

主　　题：XML文档 时间约束 模型抽取 时间自动机 

摘      要：以模型检验为目标,从时间的约束角度出发,提出一种基于XML文档的Web应用的模型抽取方法。模型抽取由时间及相关链接的提取、模型构造和结果显示3部分组成。首先,通过对Web应用进行逆向分析,从带时间约束的XML源代码对链接及时间约束等相关信息进行提取、规整和存储。其次,对Web应用中的链接、时间约束等建模元素进行分析,应用映射与聚合等抽象技术对获得的信息进行重构,得到适合于形式化验证的时间自动机(TA,Timed Automata)模型,并对时间约束下的并发进行模型组合。最后,以电子邮箱系统为实例阐述如何实现模型抽取。