基于XML的Web应用模型抽取

• 作者: 方明科 梅佳 程广金 缪淮扣 高洪皓
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: XML文档 时间约束 模型抽取 时间自动机
• 年，卷（期）: 2011,（9）
• 所属期刊栏目: 软件工程
• 页码范围: 130-134,149
• 分类号: TP311
• 字数: 6748字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2011.09.029

摘要

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