期刊专题

10.3969/j.issn.1002-137X.2011.09.029

基于XML的Web应用模型抽取

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

XML文档、时间约束、模型抽取、时间自动机

38

TP311(计算技术、计算机技术)

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

2012-01-14(万方平台首次上网日期,不代表论文的发表时间)

共6页

130-134,149

暂无封面信息
查看本期封面目录

计算机科学

1002-137X

50-1075/TP

38

2011,38(9)

专业内容知识聚合服务平台

国家重点研发计划“现代服务业共性关键技术研发及应用示范”重点专项“4.8专业内容知识聚合服务技术研发与创新服务示范”

国家重点研发计划资助 课题编号:2019YFB1406304
National Key R&D Program of China Grant No. 2019YFB1406304

©天津万方数据有限公司 津ICP备20003920号-1

信息网络传播视听节目许可证 许可证号:0108284

网络出版服务许可证:(总)网出证(京)字096号

违法和不良信息举报电话:4000115888    举报邮箱:problem@wanfangdata.com.cn

举报专区:https://www.12377.cn/

客服邮箱:op@wanfangdata.com.cn