2003 Fiscal Year Annual Research Report

高信頼性リアクティブミドルウェア構築のためのソフトウェアモデルに関する研究

Research Project

Project/Area Number	14380141
Research Institution	Nagoya University
Principal Investigator	阿草清滋名古屋大学, 大学院・情報科学研究科, 教授 (90026360)
Co-Investigator(Kenkyū-buntansha)	山本晋一郎愛知県立大学, 情報科学部, 助教授 (40240098) 濱口毅名古屋大学, 大学院・情報科学研究科, 助手 (90273284) 結縁祥治名古屋大学, 大学院・情報科学研究科, 助教授 (70230612)
Keywords	Webアプリケーション / XMLドキュメント / ソフトウェアリポジトリ / モデル検査 / 実時間並行ソフトウェア / Java
Research Abstract	本年度は,ミドルウェア構築のための基礎技術として,主に以下の点について研究を実施した. 1.Webアプリケーションの振舞いモデルの構築動的なコンテンツを含むWebアプリケーションの振舞いをWebオートマトンとして定式化した.このモデル化によってWebコンテナ上で,Webアプリケーションを構成するためのミドルウェアの位置づけと外部からの観測に必要な基礎モデルが得られた. 2.ソフトウェアリポジトリに対する汎用操作 XMLドキュメントによってソフトウェアリポジトリを構成し,汎用的な細粒度リポジトリを実装した.ここでは,様々な目的のソフトウェアをXMLドキュメント化するためのタグの設計について研究を行った.さらに,言語間での相違を吸収するためのドキュメント技法について研究を行った. 3.並行ソフトウェアのテスト技法とモデル検査技術リアクティブプログラムは本質的に並行ソフトウェアであるので,Java並行プログラムの振舞いに関するモデル検査技法,および,契約デザインに基づく実行時解析について研究を行った.モデル検査については,バイトコードをまとめてメモリモデルを解析するための現実的な技法を開発し,メモリへのアクセスからみたミドルウェアの構成について検討した.契約デザインについては,従来からのモジュールごとの契約デザインを並行プログラムに拡張し,実行時に発生する問題を効率よく解析できるミドルウェアの構成の基礎的な手法について検討を行った. 来年度は,以上のような様々な結果を統合して,Webアプリケーション,組み込みシステムにおけるミドルウェアのXMLドキュメントによる構成手法およびモデル検査を用いた検証手法などについて研究を進める計画てである.

Research Products

(6 results)

All Other

All Publications (6 results)

[Publications] 吉田一, 山本晋一郎, 阿草清滋: "RDFの細粒度ソフトウェアリポジトリへの応用"レクチャーノート/ソフトウェア学ソフトウエア工学の基礎X(日本ソフトウェア科学会FOSE2003). 29. 101-104 (2003)
[Publications] 新美健一, 山本晋一郎, 阿草清滋: "抽象ソフトウェアエレメントによるCASEツール開発のためのフレームワーク"電子情報通信学会技術研究報告(ソフトウェアサイエンス). Vol.103 No.582. 19-24 (2004)
[Publications] Yuen Shoji, Keishi Kato, Daiju Kato, Shinichiro Yamamoto, Agusa Kiyoshi: "A Testing : Framework for Web Applications based on the MVC model with Behavioral Descriptions"International Conference on Information Technology & Applications 2004 (ICITA 2004). 1-6 (2004)
[Publications] 深谷直彦, 結縁祥治, 阿草清滋: "実行可能なメモリモデルに基づく並行プログラムのモデル検査"レクチャーノート/ソフトウェア学ソフトウエア工学の基礎X(日本ソフトウェア科学会FOSE2003). 29. 227-238 (2003)
[Publications] 松下聖志, 結縁祥治, 阿草清滋: "契約デザインに基づくJava並行プログラムのクリティカルセクションの実行時検査法"日本ソフトウェア科学会第20回大会論文集. 5C-2 (2003)
[Publications] 山本晋一郎, 丸山勝久: "Javaを対象とした細粒度リポジトリと付箋機能を備えたブラウザ"情報処理学会OO2003シンポジウム. 189-190 (2003)

2003 Fiscal Year Annual Research Report

高信頼性リアクティブミドルウェア構築のためのソフトウェアモデルに関する研究

Principal Investigator

阿草 清滋 名古屋大学, 大学院・情報科学研究科, 教授 (90026360)

Research Products

[Publications] 吉田 一, 山本 晋一郎, 阿草 清滋: "RDFの細粒度ソフトウェアリポジトリへの応用"レクチャーノート/ソフトウェア学 ソフトウエア工学の基礎X(日本ソフトウェア科学会FOSE2003). 29. 101-104 (2003)

[Publications] 新美 健一, 山本 晋一郎, 阿草 清滋: "抽象ソフトウェアエレメントによるCASEツール開発のためのフレームワーク"電子情報通信学会技術研究報告(ソフトウェアサイエンス). Vol.103 No.582. 19-24 (2004)

[Publications] Yuen Shoji, Keishi Kato, Daiju Kato, Shinichiro Yamamoto, Agusa Kiyoshi: "A Testing : Framework for Web Applications based on the MVC model with Behavioral Descriptions"International Conference on Information Technology & Applications 2004 (ICITA 2004). 1-6 (2004)

[Publications] 深谷直彦, 結縁祥治, 阿草清滋: "実行可能なメモリモデルに基づく並行プログラムのモデル検査"レクチャーノート/ソフトウェア学 ソフトウエア工学の基礎X(日本ソフトウェア科学会FOSE2003). 29. 227-238 (2003)

[Publications] 松下 聖志, 結縁 祥治, 阿草 清滋: "契約デザインに基づくJava並行プログラムのクリティカルセクションの実行時検査法"日本ソフトウェア科学会 第20回大会論文集. 5C-2 (2003)

[Publications] 山本 晋一郎, 丸山 勝久: "Javaを対象とした細粒度リポジトリと付箋機能を備えたブラウザ"情報処理学会OO2003シンポジウム. 189-190 (2003)

阿草清滋名古屋大学, 大学院・情報科学研究科, 教授 (90026360)

[Publications] 吉田一, 山本晋一郎, 阿草清滋: "RDFの細粒度ソフトウェアリポジトリへの応用"レクチャーノート/ソフトウェア学ソフトウエア工学の基礎X(日本ソフトウェア科学会FOSE2003). 29. 101-104 (2003)

[Publications] 新美健一, 山本晋一郎, 阿草清滋: "抽象ソフトウェアエレメントによるCASEツール開発のためのフレームワーク"電子情報通信学会技術研究報告(ソフトウェアサイエンス). Vol.103 No.582. 19-24 (2004)

[Publications] 深谷直彦, 結縁祥治, 阿草清滋: "実行可能なメモリモデルに基づく並行プログラムのモデル検査"レクチャーノート/ソフトウェア学ソフトウエア工学の基礎X(日本ソフトウェア科学会FOSE2003). 29. 227-238 (2003)

[Publications] 松下聖志, 結縁祥治, 阿草清滋: "契約デザインに基づくJava並行プログラムのクリティカルセクションの実行時検査法"日本ソフトウェア科学会第20回大会論文集. 5C-2 (2003)

[Publications] 山本晋一郎, 丸山勝久: "Javaを対象とした細粒度リポジトリと付箋機能を備えたブラウザ"情報処理学会OO2003シンポジウム. 189-190 (2003)