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 条
  • [31] Building data-intensive grid applications with globus toolkit -: An evaluation based on web crawling
    Walter, Andreas
    Boehm, Klemens
    Schosser, Stephan
    SERVICE-ORIENTED COMPUTING - ICSOC 2007, PROCEEDINGS, 2007, 4749 : 570 - +
  • [32] Data-Intensive Scalable Computing for Scientific Applications
    Bryant, Randal E.
    COMPUTING IN SCIENCE & ENGINEERING, 2011, 13 (06) : 25 - 33
  • [33] Estimating computation times of data-intensive applications
    Krishnaswamy, Shonali
    Loke, Seng Wai
    Zaslavsky, Arkady
    IEEE Distributed Systems Online, 2004, 5 (04): : 1 - 12
  • [34] IPSO: A Scaling Model for Data-Intensive Applications
    Li, Zhongwei
    Duan, Feng
    Minh Nguyen
    Che, Hao
    Lei, Yu
    Jiang, Hong
    2019 39TH IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS 2019), 2019, : 238 - 248
  • [35] Optimizing Interactive Development of Data-Intensive Applications
    Interlandi, Matteo
    Tetali, Sai Deep
    Gulzar, Muhammad Ali
    Noor, Joseph
    Condie, Tyson
    Kim, Miryung
    Millstein, Todd
    PROCEEDINGS OF THE SEVENTH ACM SYMPOSIUM ON CLOUD COMPUTING (SOCC 2016), 2016, : 510 - 522
  • [36] Citus: Distributed PostgreSQL for Data-Intensive Applications
    Cubukcu, Umur
    Erdogan, Ozgun
    Pathak, Sumedh
    Sannakkayala, Sudhakar
    Slot, Marco
    SIGMOD '21: PROCEEDINGS OF THE 2021 INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA, 2021, : 2490 - 2502
  • [37] Understanding performance of distributed data-intensive applications
    Miceli, Christopher
    Miceli, Michael
    Rodriguez-Milla, Bety
    Jha, Shantenu
    PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2010, 368 (1926): : 4089 - 4102
  • [38] Towards the managment of time in data-intensive Web sites
    Atzeni, P
    Del Nostro, P
    CONCEPTUAL MODELING FOR ADVANCED APPLICATION DOMAINS, PROCEEDINGS, 2004, 3289 : 390 - 401
  • [39] GORDON:. AN IMPROVED ARCHITECTURE FOR DATA-INTENSIVE APPLICATIONS
    Caulfield, Adrian M.
    Grupp, Laura M.
    Swanson, Steven
    IEEE MICRO, 2010, 30 (01) : 121 - 130
  • [40] System dynamics simulations for data-intensive applications
    Neuwirth, Christian
    ENVIRONMENTAL MODELLING & SOFTWARE, 2017, 96 : 140 - 145
12345