| 講演名 | 2013-01-29 非同期通信を行うWebアプリケーションによる資源競合問題に対するモデル検査による検証(ソフトウェア工学) 都丸 卓也, 本田 耕三, 中川 博之, 田原 康之, 大須賀 昭彦, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | Webアプリケーションの開発においては,クライアント側のユーザビリティ向上が重要になってきている。たとえばAJaxなとの技術における非同期通信の利用により,クライアント側の操作をブロックせすに動作することか可能となっている しかしなから,非同期通信によって予期しない順序てサーバ処理か行われる可能性かある 本研究では,特に資源へのアクセスと非同期通信の使用時に起こる可能性のある問題と解決方法を示す 従来はこのような問題に対し,モデル検査などの形式検証手法が有効てあると考えられてきたか,専門知識が必要てかつ検証の労力か大きいという課題があった 本論文では,モデル検査による検証手法を,一般の技術者にも容易に利用可能とするための検証手法を提案する これにより開発者は資源競合の検証において, Webアプリケーションのモデルを記述せす,資源へのアクセスの順序を記述するだけて良くなるのて,専門知識か不要となり,かつ検証時の労力の大幅な軽減か可能となった. |
| 抄録(英) | 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. |
| キーワード(和) | Ajax / verification / Rich Internet applications / model checking |
| キーワード(英) | Ajax / verification / Rich Internet applications / model checking |
| 資料番号 | KBSE2012-67 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2013/1/21(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 非同期通信を行うWebアプリケーションによる資源競合問題に対するモデル検査による検証(ソフトウェア工学) |
| サブタイトル（和） | |
| タイトル（英） | Verification by model checking for resource contention issues by the Web applications with asynchronous communication |
| サブタイトル（和） | |
| キーワード(1)（和/英） | Ajax / Ajax |
| キーワード(2)（和/英） | verification / verification |
| キーワード(3)（和/英） | Rich Internet applications / Rich Internet applications |
| キーワード(4)（和/英） | model checking / model checking |
| 第 1 著者 氏名（和/英） | 都丸 卓也 / Takuya TOMARU |
| 第 1 著者 所属（和/英） | |
| 第 2 著者 氏名（和/英） | 本田 耕三 / Kozo HONDA |
| 第 2 著者 所属（和/英） | |
| 第 3 著者 氏名（和/英） | 中川 博之 / Hiroyuki NAKAGAWA |
| 第 3 著者 所属（和/英） | |
| 第 4 著者 氏名（和/英） | 田原 康之 / Yasuyuki TAHARA |
| 第 4 著者 所属（和/英） | |
| 第 5 著者 氏名（和/英） | 大須賀 昭彦 / Akihiko OHSUGA |
| 第 5 著者 所属（和/英） | |
| 発表年月日 | 2013-01-29 |
| 資料番号 | KBSE2012-67 |
| 巻番号（vol） | vol.112 |
| 号番号（no） | 419 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |