Using the model checker spin for web application design

Kei Homma, Satom Izumi, Yuki Abe, Kaom Takahashi, Atsushi Togashi

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

7 Citations (Scopus)

Abstract

The number of Web applications handling online transaction is increasing, but verification of the correctness of the Web application design has been done manually. This paper proposes a method for modeling Web applications using two finite-state automata, i.e., a page automaton which specifies Web page transitions, and an internal state automaton which specifies internal state transitions of the Web application. An example Web application is modeled by the proposed method and checked using the model checker Spin.

Original languageEnglish
Title of host publicationProceedings - 2010 10th Annual International Symposium on Applications and the Internet, SAINT 2010
Pages137-140
Number of pages4
DOIs
Publication statusPublished - 2010
Event2010 10th Annual International Symposium on Applications and the Internet, SAINT 2010 - Seoul, Korea, Republic of
Duration: 2010 Jul 19 → 2010 Jul 23

Publication series

NameProceedings - 2010 10th Annual International Symposium on Applications and the Internet, SAINT 2010

Other

Other2010 10th Annual International Symposium on Applications and the Internet, SAINT 2010
CountryKorea, Republic of
CitySeoul
Period10/7/19 → 10/7/23

Keywords

  • Model checking
  • Spin
  • Web application

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Computer Science Applications

Access to Document

Other files and links

Fingerprint Dive into the research topics of 'Using the model checker spin for web application design'. Together they form a unique fingerprint.

Cite this