文献

J-GLOBAL ID：201302287354132119   整理番号：13A0491924

非同期通信を行うWebアプリケーションによる資源競合問題に対するモデル検査による検証

Verification by model checking for resource contention issues by the Web applications with asynchronous communication

著者 (5件)： 都丸卓也 (電通大) ,  本田耕三 (電通大) ,  中川博之 (電通大) ,  田原康之 (電通大) ,  大須賀昭彦 (電通大)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 112  号： 419(KBSE2012 58-68)  ページ： 53-58  発行年： 2013年01月21日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： Webアプリケーションの開発においては,クライアント側のユーザビリティ向上が重要になってきている。たとえばAjaxなどの技術における非同期通信の利用により,クライアント側の操作をブロックせずに動作することが可能となっている。しかしながら,非同期通信によって予期しない順序でサーバ処理が行われる可能性がある。本研究では,特に資源へのアクセスと非同期通信の使用時に起こる可能性のある問題と解決方法を示す。従来はこのような問題に対し,モデル検査などの形式検証手法が有効であると考えられてきたが,専門知識が必要でかつ検証の労力が大きいという課題があった。本論文では,モデル検査による検証手法を,一般の技術者にも容易に利用可能とするための検証手法を提案する。これにより開発者は資源競合の検証において,Webアプリケーションのモデルを記述せず,資源へのアクセスの順序を記述するだけで良くなるので,専門知識が不要となり,かつ検証時の労力の大幅な軽減が可能となった。(著者抄録)

シソーラス用語： *応用プログラム ,  Web【情報システム】 ,  *通信方式 ,  *資源割付 ,  スケジューリング ,  問題 ,  計算機プログラミング ,  アクセシビリティ ,  *モデル検査 ,  競争 ,  インターネット
準シソーラス用語： *Webアプリケーション ,  *非同期通信 ,  *資源競合問題 ,  Ajax ,  資源競合

分類 (4件)： 計算機システム開発  (JD02010R) ,  電話・データ通信・交換一般  (ND11010T) ,  オペレーティングシステム  (JD03020J) ,  計算理論  (JB02000A)

タイトルに関連する用語 (5件)： 非同期通信 ,  Webアプリケーション ,  資源競合 ,  モデル検査 ,  検証