Verification of Data-intensive Web Applications

被引：1
|
作者：
Gao, Ju [1 ]
Zeng, Hongwei [1 ]
Feng, Zhenhua [1 ]
机构：
[1] Shanghai Univ, Sch Engn & Comp Sci, Shanghai 200072, Peoples R China
来源：
ICMECG: 2009 INTERNATIONAL CONFERENCE ON MANAGEMENT OF E-COMMERCE AND E-GOVERNMENT, PROCEEDINGS | 2009年
关键词：
data-intensive Web applications; WebML; verification; MODEL CHECKING;
D O I：
10.1109/ICMeCG.2009.55
中图分类号：
F [经济];
学科分类号：
02 ;
摘要：
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.
引用
收藏
页码：370 / 375
页数：6
相关论文
共 50 条
  • [1] Conceptual modeling of data-intensive Web applications
    Ceri, S
    Fraternali, P
    Matera, M
    IEEE INTERNET COMPUTING, 2002, 6 (04) : 20 - 30
  • [2] A framework for the internationalization of data-intensive Web applications
    Belussi, A
    Posenato, R
    WEB ENGINEERING, PROCEEDINGS, 2004, 3140 : 478 - 482
  • [3] Level of detail concepts in data-intensive Web applications
    Comai, S
    WEB ENGINEERING, PROCEEDINGS, 2005, 3579 : 209 - 220
  • [4] Optimizing web service composition for data-intensive applications
    1600, Science and Engineering Research Support Society (07):
  • [5] Model transformations in the development of data-intensive web applications
    Di Ruscio, D
    Pierantonio, A
    ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS, 2005, 3520 : 475 - 490
  • [6] Tools and approaches for developing data-intensive Web applications: A survey
    Fraternali, P
    ACM COMPUTING SURVEYS, 1999, 31 (03) : 227 - 263
  • [7] Designing data-intensive web applications for content accessibility using web marts
    Department of Database Systems, Politecnico di Milano, Italy
    不详
    不详
    Commun ACM, 2007, 4 (55-61):
  • [8] Enhancing Accessibility to Data in Data-Intensive Web Applications by Using Intelligent Web Prefetching Methodologies
    Buyuktanir, Tolga
    Sigirci, I. Onur
    Aktas, Mehmet S.
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2023, : 1405 - 1438
  • [9] Applications in Data-Intensive Computing
    Shah, Anuj R.
    Adkins, Joshua N.
    Baxter, Douglas J.
    Cannon, William R.
    Chavarria-Miranda, Daniel G.
    Choudhury, Sutanay
    Gorton, Ian
    Gracio, Deborah K.
    Halter, Todd D.
    Jaitly, Navdeep D.
    Johnson, John R.
    Kouzes, Richard T.
    Macduff, Matthew C.
    Marquez, Andres
    Monroe, Matthew E.
    Oehmen, Christopher S.
    Pike, William A.
    Scherrer, Chad
    Villa, Oreste
    Webb-Robertson, Bobbie-Jo
    Whitney, Paul D.
    Zuljevic, Nino
    ADVANCES IN COMPUTERS, VOL 79, 2010, 79 : 1 - 70
  • [10] Metacomputing and data-intensive applications
    Messina, P
    WORLDWIDE COMPUTING AND ITS APPLICATIONS, 1997, 1274 : 226 - 236
12345