|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
2010 10th IEEE/IPSJ International Symposium on Applications and the Internet
Using the Model Checker Spin for Web Application Design
Seoul, Korea
July 19-July 23
ISBN: 978-0-7695-4107-5
| ASCII Text | x | ||
| Kei Homma, Satoru Izumi, Yuki Abe, Kaoru Takahashi, Atsushi Togashi, "Using the Model Checker Spin for Web Application Design," 2012 IEEE/IPSJ 12th International Symposium on Applications and the Internet, pp. 137-140, 2010 10th IEEE/IPSJ International Symposium on Applications and the Internet, 2010. | |||
| BibTex | x | ||
| @article{ 10.1109/SAINT.2010.73, author = {Kei Homma and Satoru Izumi and Yuki Abe and Kaoru Takahashi and Atsushi Togashi}, title = {Using the Model Checker Spin for Web Application Design}, journal ={2012 IEEE/IPSJ 12th International Symposium on Applications and the Internet}, volume = {0}, year = {2010}, isbn = {978-0-7695-4107-5}, pages = {137-140}, doi = {http://doi.ieeecomputersociety.org/10.1109/SAINT.2010.73}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2012 IEEE/IPSJ 12th International Symposium on Applications and the Internet TI - Using the Model Checker Spin for Web Application Design SN - 978-0-7695-4107-5 SP137 EP140 A1 - Kei Homma, A1 - Satoru Izumi, A1 - Yuki Abe, A1 - Kaoru Takahashi, A1 - Atsushi Togashi, PY - 2010 KW - Model Checking KW - Web Application KW - Spin VL - 0 JA - 2012 IEEE/IPSJ 12th International Symposium on Applications and the Internet ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SAINT.2010.73
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.
Index Terms:
Model Checking, Web Application, Spin
Citation:
Kei Homma, Satoru Izumi, Yuki Abe, Kaoru Takahashi, Atsushi Togashi, "Using the Model Checker Spin for Web Application Design," saint, pp.137-140, 2010 10th IEEE/IPSJ International Symposium on Applications and the Internet, 2010
Usage of this product signifies your acceptance of the Terms of Use.