Using the model checker spin for web application design

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

研究成果: Conference contribution

7 被引用数 (Scopus)

抄録

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.

本文言語English
ホスト出版物のタイトルProceedings - 2010 10th Annual International Symposium on Applications and the Internet, SAINT 2010
ページ137-140
ページ数4
DOI
出版ステータスPublished - 2010
イベント2010 10th Annual International Symposium on Applications and the Internet, SAINT 2010 - Seoul, Korea, Republic of
継続期間: 2010 7月 192010 7月 23

出版物シリーズ

名前Proceedings - 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
国/地域Korea, Republic of
CitySeoul
Period10/7/1910/7/23

ASJC Scopus subject areas

  • コンピュータ ネットワークおよび通信
  • コンピュータ サイエンスの応用

フィンガープリント

「Using the model checker spin for web application design」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル