| Presentation | 2011-11-11 A Formal Verification Method by Transforming UML Models of Web Applications Takahiko OHSUGA, Kouichi ONO, Yoshiaki FUKAZAWA, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Model checking techniques are being applied to application software for formal verifications. Regarded as results of development, especially UML models are spread as it. To utilize UML models for formal verification, a method for transforming UML models to automata is already proposed. We propose a method for transforming UML models of Web applications to automata. Although relevant study needs to supplement the information for generating automata, our method doesn't require any information except for that of UML modeling. We apply this method to Web applications for mobile phone, and set a verification condition as nonexistence of vulnerable security flaw concerned with session management. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Web Applications / Formal Methods / Model Checking Techniques / UML |
| Paper # | KBSE2011-49 |
| Date of Issue |
| Conference Information | |
| Committee | KBSE |
|---|---|
| Conference Date | 2011/11/3(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A Formal Verification Method by Transforming UML Models of Web Applications |
| Sub Title (in English) | |
| Keyword(1) | Web Applications |
| Keyword(2) | Formal Methods |
| Keyword(3) | Model Checking Techniques |
| Keyword(4) | UML |
| 1st Author's Name | Takahiko OHSUGA |
| 1st Author's Affiliation | Graduate School of Fundamental Science and Engineering, Waseda University() |
| 2nd Author's Name | Kouichi ONO |
| 2nd Author's Affiliation | IBM Research Tokyo, IBM Japan Ltd. |
| 3rd Author's Name | Yoshiaki FUKAZAWA |
| 3rd Author's Affiliation | Graduate School of Fundamental Science and Engineering, Waseda University |
| Date | 2011-11-11 |
| Paper # | KBSE2011-49 |
| Volume (vol) | vol.111 |
| Number (no) | 282 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |