DocumentCode
1694282
Title
Verification of Data-Intensive Web Applications
Author
Gao, Ju ; Zeng, Hongwei ; Feng, Zhenhua
Author_Institution
Sch. of Comput. Eng. & Sci., Shanghai Univ., Shanghai, China
fYear
2009
Firstpage
370
Lastpage
375
Abstract
Data-intensive Web applications have been expanding rapidly, it is necessary to assure their correctness. In this paper, we propose an approach to the verification of Data-intensive Web applications. The design of a Web application is described in WebML, and then transformed into the Kripke structure. Computation Tree Logic (CTL) is employed to define the properties to be verified and model checker NuSMV is introduced to perform verification against the Kripke structure. In addition, an example is given to demonstrate the approach.
Keywords
Internet; formal logic; formal verification; specification languages; trees (mathematics); Kripke structure; WebML; computation tree logic; data-intensive web application verification; model checker; Application software; Automata; Conference management; Data engineering; Electronic government; Engineering management; Logic; Navigation; Performance evaluation; System testing; WebML; data-intensive Web applications; verification;
fLanguage
English
Publisher
ieee
Conference_Titel
Management of e-Commerce and e-Government, 2009. ICMECG '09. International Conference on
Conference_Location
Nanchang
Print_ISBN
978-0-7695-3778-8
Type
conf
DOI
10.1109/ICMeCG.2009.55
Filename
5280040
Link To Document