2008 Fiscal Year Final Research Report
A Study of Automatic Optimization for Web Services Processing Dynamic Data
| Project/Area Number |
18700033
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Sapporo Gakuin University |
|---|
Principal Investigator |
HIDEKATSU Koike Sapporo Gakuin University, 社会情報学部, 准教授 (60405636)
|
|---|
| Project Period (FY) |
2006 – 2008
|
| Keywords | ソフトウェア工学 |
|---|
| Research Abstract |
本研究は、Webサービスをより効率的かつ正確に開発するための核となる方法を提案した。この方法の特徴は、システムの設計図に相当する形式的仕様に関して正しいプログラムの集合を数学的に定義し、その中から効率的なものを探索するので、生成されるプログラムの正当性と効率を両立できることである。Webサービスは社会的重要性と需要を増しつつあり、開発工期が従来よりも短い中で、高速に動作し、かつ、信頼性の高いプログラムを開発する必要がある。本研究の成果はその実現のための基礎となる可能性がある。
|
