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
|
Project Status |
Completed (Fiscal Year 2008)
|
Budget Amount *help |
¥3,670,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥270,000)
Fiscal Year 2008: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2007: ¥1,100,000 (Direct Cost: ¥1,100,000)
Fiscal Year 2006: ¥1,400,000 (Direct Cost: ¥1,400,000)
|
Keywords | ソフトウェア工学 / 等価変換 / プログラム生成 / Webサービス / 最適化 / 情報システム |
Research Abstract |
本研究は、Webサービスをより効率的かつ正確に開発するための核となる方法を提案した。この方法の特徴は、システムの設計図に相当する形式的仕様に関して正しいプログラムの集合を数学的に定義し、その中から効率的なものを探索するので、生成されるプログラムの正当性と効率を両立できることである。Webサービスは社会的重要性と需要を増しつつあり、開発工期が従来よりも短い中で、高速に動作し、かつ、信頼性の高いプログラムを開発する必要がある。本研究の成果はその実現のための基礎となる可能性がある。
|
Report
(4 results)
Research Products
(16 results)