%0 Journal Article
%T 基于xml的web应用模型抽取
%A 程广金
%A 缪淮扣
%A 方明科
%A 梅佳
%A 高洪皓？
%J 计算机科学
%D 2011
%X 以模型检验为目标，从时间的约束角度出发，提出一种基于xmi、文档的wcb应用的模型抽取方法。模型抽取由时间及相关链接的提取、模型构造和结果显示3部分组成。首先，通过对web应用进行逆向分析，从带时间约束的xmi.源代码对链接及时间约束等相关信息进行提取、规整和存储。其次，对wcb应用中的链接、时间约束等建模元素进行分析，应用映射与聚合等抽象技术对获得的信息进行重构，得到适合于形式化验证的时间自动机(ta,timedautomata)模型，并对时间约束下的并发进行模型组合。最后，以电子邮箱系统为实例阐述如何实现模型抽取。
%K xm工文档
%K 时间约束
%K 模型抽取
%K 时间自动机
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=110929&flag=1