文献

J-GLOBAL ID：201802251114487408   整理番号：18A0657240

コンポーネント指向フレームワークを用いたSPAの画面遷移を対象とするモデル検査手法

著者 (2件)： 大嶋乃斗 (早稲田大 大学院創造理工学研究科) ,  岸知二 (早稲田大 創造理工)
資料名： 情報処理学会研究報告(Web)  (IPSJ Technical Report (Web))
巻： 2018  号： SE-198  ページ： Vol.2018-SE-198,No.8,1-7 (WEB ONLY)  発行年： 2018年03月02日 
JST資料番号： U0451A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： Webアプリケーションの検証手法の1つにモデル検査があるが,検証対象のWebアプリケーションをモデル化する必要があるため,モデル検査に関する知識が少ない通常のWebアプリケーション開発者が適用するのは難しいという課題がある。特に近年,Webブラウザの高機能化などによって,Webアプリケーションは多様化し,コンポーネント指向フレームワークを用いたSingle-Page Application(SPA)が注目されてきたが,これらはコンポーネントが複雑に組み合わさるため,画面構成などが複雑になり,モデル化をさらに難しくしている。本研究では,コンポーネント指向フレームワークを用いたSPAの画面遷移を対象に,ソースコードから検証モデルを自動的に生成し,モデル検査を行う手法を提案する。(著者抄録)

シソーラス用語： 成分 ,  フレームワーク【ソフトウェア開発】 ,  状態 ,  *モデル検査 ,  検査 ,  *応用プログラム ,  検証 ,  モデリング ,  計算機コード ,  自動化 ,  表示装置
準シソーラス用語： コンポーネント ,  *画面 ,  *遷移 ,  *Webアプリケーション ,  モデル化 ,  Webブラウザ ,  ソースコード

分類 (2件)： その他の計算機利用技術  (JE14000C) ,  計算機網  (JC03000K)

引用文献 (15件)：

• Edmund M. Clarke,Orna Grumberg,Doron Peled「Model Checking」,The MIT Press,1999.
• Michael S. Mikowski,Josh C. Powell「シングルページWebアプリケーション」,O’REILLY,2014.
• Madhuri A. Jadhav,Balkrishna R. Sawant,Anushree Deshmukh 「Single Page Application using AngularJS」,International Journal of Computer Science and Information Technologies(IJCSIT),Vol.6, No.3,pp.2876-2879,2015.
• Ning Zhang,Yizhen Cao,Shengyan Zhang「Research of web front-end engineering solution in public cultural service project」, Computer and Information Science (ICIS)2017,pp.623-626,2017.
• 「Backbone.js」,http://backbonejs.org/, accessed 2018-02-06.

タイトルに関連する用語 (6件)： コンポーネント ,  フレームワーク ,  SPA ,  遷移 ,  モデル検査 ,  手法