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
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;
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
DOI :
10.1109/ICMeCG.2009.55
