2010 Fiscal Year Self-evaluation Report
A Development Method for Dependable WebService-ware
| Project/Area Number |
20300009
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Nagoya University |
|---|
Principal Investigator |
AGUSA Kiyoshi Nagoya University, 大学院・情報科学研究科, 教授 (90026360)
|
|---|
| Project Period (FY) |
2008 – 2011
|
| Keywords | Webサービス / コレオグラフィー / プログラム解析 |
|---|
| Research Abstract |
本研究では、ネットワーク上で提供されるWebサービスを統合することで構成されるソフトウェアシステムをWebサービスウェアとして定義し、高信頼で効率的な開発技法を確立したフレームワークの提案を目標とする。本研究では、通信指向プログラミングモデルに基づき、コレオグラフィー(Choreography)の考え方からWebサービスウェアを定式化して、全体的な通信の状況を記述した大域記述に対して、分散環境への適合性、分散実行の自動化を示す。さらに、分散コンポーネントの検索、開発の効率化を図り、通信指向プログラミングにおける抽象モデルと具体コードの整合性を陽に示すことによって、Webサービスを最大限に活用したWebサービスウェアに対して、高信頼で効率的な開発のフレームワークを提案する。フレームワークは、抽象度の高い上流過程における整合性のとれたプログラムモデルの構築と抽象度の低いコーディングにおける整合性のとれたコンポーネント設計技法からなる。Webの分散実行を大域的に記述して、等価な分散記述を導出するエンドポイント射影を基本技術として、設計からコーディングまでの一貫性のあるWebシステムの構築手法を示すことで信頼性向上を目的とする。
|
