Computer Science ›› 2011, Vol. 38 ›› Issue (9): 130-134.
Previous Articles Next Articles
CHENG Guang-jin, MIAO Huai-kou,FANG Ming-ke, MEI Jia,GAO Hong-hao
Online:
Published:
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
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.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2011/V38/I9/130
Cited