基于XML的Web应用模型抽取

计算机科学 ›› 2011, Vol. 38 ›› Issue (9): 130-134.

基于XML的Web应用模型抽取

程广金，缪淮扣,方明科，梅佳，高洪皓

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

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文受国家自然科学基金项目(60673115,60970007)，国家重大基础研究(973)项目(2007CB310800)，上海市自然科学基金(09GR1412100)，上海市科委项目(10510704900)，上海市重点学科建设项目(J50103)资助。

Extracting Model of Web Application Based on XML

CHENG Guang-jin, MIAO Huai-kou,FANG Ming-ke, MEI Jia,GAO Hong-hao

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

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

关键词: XM工文档，时间约束，模型抽取，时间自动机

Abstract: For model checking,an approach to extracting TA models of Web application based on XMI_ document with time constraint was proposed. The extraction process is divided into three phases; time and link extraction, model construction and display. Firstly, analyzed Web application reversely to extract, structure and store information related to link and time constraint from XMI_ source code. Then, analyzed elements for model construction such as link and time constraint,and restructure the information obtained with mapping and aggregation technology. Finally the TA(Timed Automata) model applying for formal checking was obtained. A particular case study, a mail box system is taken to i1lustrate the method to be feasible.

Key words: XML documents, Time constraint, Model extraction, Timed automata

程广金，缪淮扣,方明科，梅佳，高洪皓. 基于XML的Web应用模型抽取[J]. 计算机科学, 2011, 38(9): 130-134. https://doi.org/

CHENG Guang-jin, MIAO Huai-kou,FANG Ming-ke, MEI Jia,GAO Hong-hao. Extracting Model of Web Application Based on XML[J]. Computer Science, 2011, 38(9): 130-134. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed