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 条
  • [21] Static Analysis of Data-Intensive Applications
    Nagy, Csaba
    PROCEEDINGS OF THE 17TH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING (CSMR 2013), 2013, : 435 - 438
  • [22] Managing the evolution of data-intensive Web applications by model-driven techniques
    Cicchetti, Antonio
    Di Ruscio, Davide
    Iovino, Ludovico
    Pierantonio, Alfonso
    SOFTWARE AND SYSTEMS MODELING, 2013, 12 (01): : 53 - 83
  • [23] A Complexity-less Approach for Automated Development of Data-intensive Web Applications
    Panetti, Tommaso
    D'Ambrogio, Andrea
    2018 INTERNATIONAL SYMPOSIUM ON NETWORKS, COMPUTERS AND COMMUNICATIONS (ISNCC 2018), 2018,
  • [24] Declarative specification of data-intensive Web sites
    Fernández, M
    Suciu, D
    Tatarinov, I
    ACM SIGPLAN NOTICES, 2000, 35 (01) : 135 - 148
  • [25] Parallel data-intensive algorithms and applications
    Talia, D
    Srimani, PK
    PARALLEL COMPUTING, 2002, 28 (05) : 669 - 671
  • [26] Roles of agents in Data-Intensive Web Sites
    Ben Ammar, A
    Abdellatif, A
    Ben Ghezala, H
    KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 3, PROCEEDINGS, 2005, 3683 : 37 - 45
  • [27] Declarative specification of data-intensive Web sites
    Fernández, M
    Suciu, D
    Tatarinov, I
    USENIX ASSOCIATION PROCEEDINGS OF THE 2ND CONFERENCE ON DOMAIN-SPECIFIC LANGUAGES (DSL'99), 1999, : 135 - 148
  • [28] Data-intensive web sites: Design and maintenance
    Atzeni, Paolo
    Merialdo, Paolo
    Mecca, Giansalvatore
    World Wide Web, 2001, 4 (1-2) : 21 - 47
  • [29] Data-driven one-to-one Web site generation for data-intensive applications
    Ceri, S
    Fraternali, P
    Paraboschi, S
    PROCEEDINGS OF THE TWENTY-FIFTH INTERNATIONAL CONFERENCE ON VERY LARGE DATA BASES, 1999, : 615 - 626
  • [30] A data placement strategy for data-intensive applications in cloud
    Zheng P.
    Cui L.-Z.
    Wang H.-Y.
    Xu M.
    Jisuanji Xuebao/Chinese Journal of Computers, 2010, 33 (08): : 1472 - 1480
12345