文献

J-GLOBAL ID：201202224337360966   整理番号：12A0971621

UMLアクティビティ図からSPINモデル検査用コードの自動生成における並列処理拡張とAjaxアプリケーション設計への適用

Extension for the Parallel Processing in Automatic Generation from UML Activity Diagram to SPIN Model Checking Code and its Application to Ajax Application Design

著者 (2件)： 山田豊 (プラグマティック・テクノロジーズ) ,  和崎克己 (信州大 工)
資料名： 情報処理学会研究報告(CD-ROM)
巻： 2012  号： 1  ページ： ROMBUNNO.SE-176,NO.10  発行年： 2012年06月15日 
JST資料番号： Z0031C  ISSN： 2186-2583  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 筆者らが,以前に試作したUMLアクティビティ図からPROMELAで記述された検証用モデルに自動変換する変換器において,UMLアクティビティ図のフォークノード・マージノード等の並列処理記述を扱えるように拡張し,非同期通信により並列処理を伴うAjaxアプリケーションのモデルも扱うことができるようにした。提案手法の評価のため,Ajaxを用いた業務アプリケーションの画面遷移設計に適用実験を行った。(著者抄録)

シソーラス用語： *モデル検査 ,  *UML【モデリング言語】 ,  コード生成 ,  *並列処理 ,  通信方式 ,  計算機プログラミング ,  応用プログラム ,  ソフトウェア設計 ,  移動 ,  評価試験
準シソーラス用語： Ajax ,  アプリケーション ,  画面遷移設計 ,  状態遷移 ,  非同期通信

分類 (3件)： 計算理論  (JB02000A) ,  応用プログラミング言語  (JD03052Y) ,  ディジタル計算機方式一般  (JC02010O)

タイトルに関連する用語 (10件)： UML ,  アクティビティ図 ,  SPIN ,  モデル検査 ,  自動生成 ,  並列処理 ,  拡張 ,  Ajax ,  アプリケーション ,  設計