| 基于XML的Web应用模型抽取 |
| |
| 引用本文： | 程广金,缪淮扣,方明科,梅佳,高洪皓. 基于XML的Web应用模型抽取[J]. 计算机科学, 2011, 38(9): 130-134 |
| |
| 作者姓名： | 程广金 缪淮扣 方明科 梅佳 高洪皓 |
| |
| 作者单位： | (上海大学计算机工程与科学学院 上海 200072);(上海市计算机软件评测中心 上海 201112);(信阳师范学院计算机与信息技术学院 信阳 464000) |
| |
| 基金项目： | 本文受国家自然科学基金项目(60673115,60970007)，国家重大基础研究(973)项目(2007CB310800)，上海市自然科学基金(09GR1412100)，上海市科委项目(10510704900)，上海市重点学科建设项目(J50103)资助。 |
| |
| 摘 要： | 以模型检验为目标，从时间的约束角度出发，提出一种基于XMI、文档的Wcb应用的模型抽取方法。模型抽取由时间及相关链接的提取、模型构造和结果显示3部分组成。首先，通过对Web应用进行逆向分析，从带时间约束的XMI.源代码对链接及时间约束等相关信息进行提取、规整和存储。其次，对Wcb应用中的链接、时间约束等建模元素进行分析，应用映射与聚合等抽象技术对获得的信息进行重构，得到适合于形式化验证的时间自动机(TA,Timed Automata)模型，并对时间约束下的并发进行模型组合。最后，以电子邮箱系统为实例阐述如何实现模型抽取。
|
| 关 键 词： | XM工文档，时间约束，模型抽取，时间自动机 |
Extracting Model of Web Application Based on XML |
| |
| CHENG Guang-jin,MIAO Huai-kou,FANG Ming-ke,MEI Ji,GAO Hong-hao. Extracting Model of Web Application Based on XML[J]. Computer Science, 2011, 38(9): 130-134 |
| |
| Authors: | CHENG Guang-jin MIAO Huai-kou FANG Ming-ke MEI Ji GAO Hong-hao |
| |
| Affiliation: | (School of Computer Engineering and Science,Shanghai University,Shanghai 200072,China);(Shanghai Key Laboratory of (}c}mputer Software Evaluating & Testing,Shanghai 201112,China);(School of Computer and Information 'Technology, Xinyang Xormal University, Xinyang 464000, China) |
| |
| 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. |
| |
| Keywords: | XML documents Time constraint Model extraction Timed automata |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
