| Presentation | 2013-01-29 Verification by model checking for resource contention issues by the Web applications with asynchronous communication Takuya TOMARU, Kozo HONDA, Hiroyuki NAKAGAWA, Yasuyuki TAHARA, Akihiko OHSUGA, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Client-side usability become more and more important to develop the Web aplication For example, Ajax allows sending requests asynchronously without blocking clients However, server processing is performed in order not anticipated by the asynchronous communication In this paper, we demonstrate the possible problems caused by the asynchronism and how to solve aproblem It has been considered model checking can be used to solve this problem But expertise and effort is a challenge In tins paper, we propose a method for validation that can also be used for general engineer It is necessary only to describe the order of acquisition and release of resources So It can reduce the efforts and be eliminating the need for expertise mitigation. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Ajax / verification / Rich Internet applications / model checking |
| Paper # | KBSE2012-67 |
| Date of Issue |
| Conference Information | |
| Committee | KBSE |
|---|---|
| Conference Date | 2013/1/21(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) | Verification by model checking for resource contention issues by the Web applications with asynchronous communication |
| Sub Title (in English) | |
| Keyword(1) | Ajax |
| Keyword(2) | verification |
| Keyword(3) | Rich Internet applications |
| Keyword(4) | model checking |
| 1st Author's Name | Takuya TOMARU |
| 1st Author's Affiliation | () |
| 2nd Author's Name | Kozo HONDA |
| 2nd Author's Affiliation | |
| 3rd Author's Name | Hiroyuki NAKAGAWA |
| 3rd Author's Affiliation | |
| 4th Author's Name | Yasuyuki TAHARA |
| 4th Author's Affiliation | |
| 5th Author's Name | Akihiko OHSUGA |
| 5th Author's Affiliation | |
| Date | 2013-01-29 |
| Paper # | KBSE2012-67 |
| Volume (vol) | vol.112 |
| Number (no) | 419 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |