Verification of Data-intensive Web Applications

摘要：

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.

关键词： data-intensive Web applications WebML verification

作者: Ju Gao Hongwei Zeng Zhenhua Feng

作者单位: School of Computer Engineering and Science Shanghai University Shanghai, 200072, China

会议类型: 国际会议

会议名称: 2009 International Conference on Management of e-Commerce and e-Government ICMeCG 2009(第三届电子商务与电子政务管理国际会议)

会议地点: 南昌

会议语种:英文

页码: 370-375

在线出版日期: 2009-09-01（万方平台首次上网日期，不代表论文的发表时间）