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: ¥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サービスは社会的重要性と需要を増しつつあり、開発工期が従来よりも短い中で、高速に動作し、かつ、信頼性の高いプログラムを開発する必要がある。本研究の成果はその実現のための基礎となる可能性がある。

Research Products

• [Journal Article] メタ計算に基づくプログラム生成実験システム (2007)
  • Author(s): 西田好孝,赤間清,小池英勝
  • Journal Title: 信学技報 Vol.107, No.392 Pages: 31-36
  • NAID: 110006549279
• [Journal Article] Toward a Software Development Model for Automatic Marking Software (2007)
  • Author(s): Hidekatsu Koike, Kiyoshi Akama, Chiharu Ishikawa, Nagatomo Nakamura, Shinya Watanabe
  • Journal Title: Proc. of ACM Special Interest Group on University and College Computing Services Pages: 190-193
  • Peer Reviewed
• [Journal Article] Toward a Software Development Model for Automatic Marking Software (2007)
  • Author(s): Hidekatsu Koike
  • Journal Title: Proc. of ACM Special Interest Group on University and College Computing Services (SIGUCCS) Fall 2007 Conference Pages: 190-193
  • Peer Reviewed
• [Journal Article] メタ計算に基づくプログラム生成実験システム (2007)
  • Author(s): 西田 好孝
  • Journal Title: 電子情報通信学会技術研究報告 107 Pages: 31-36
• [Journal Article] Converting Constraint Handling Rules to Equivalent Transformation Rules (2006)
  • Author(s): Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, and Hidekatsu Koike
  • Journal Title: Journal of Advanced Computational Intelligence and Intelligent Informatics Vol.10 No.3 Pages: 339-348
  • Peer Reviewed
• [Journal Article] Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model (2006)
  • Author(s): Hidekatsu Koike, Kiyoshi Akama, and Hiroshi Mabuchi
  • Journal Title: Journal of Advanced Computational Intelligence and Intelligent Informatics Vol.10 No.3 Pages: 302-311
  • Peer Reviewed
• [Journal Article] Using an Automatic Marking System for Programming Courses (2006)
  • Author(s): Hidekatsu Koike, Kiyoshi Akama, Hiko Morita, Katsunori Miura
  • Journal Title: Proc. of ACM Special Interest Group on University and College Computing Services Pages: 173-177
  • Peer Reviewed
• [Journal Article] Program Generation in the Equivalent Transformation Computation Model using the Squeeze Method,Perspectives of System Informatics (2006)
  • Author(s): Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
  • Journal Title: Lecture Notes in Computer Science Vol. 4378 Pages: 41-54
  • Peer Reviewed
• [Journal Article] Componentwise Program Construction : Requirements and Solutions (2006)
  • Author(s): Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
  • Journal Title: WSEAS Transactions on Information Science and Applications Issue 7, Volume 3 Pages: 1214-1221
  • Peer Reviewed
• [Journal Article] Componentwise Program Construction : Requirements and Solutions (2006)
  • Author(s): Akama, K.
  • Journal Title: WSEAS Transactions on Information Science and Applications Issue 7, Volume 3 Pages: 1214-1221
• [Journal Article] Program Generation in the Equivalent Transformation Computation Model Using the squeeze Method, Perspectives of System Informatics (2006)
  • Author(s): Akama, K.
  • Journal Title: Six International Andrei Ershov Memorial Conference Pages: 17-24
• [Journal Article] Using an Automatic Marking System for Programming Courses (2006)
  • Author(s): Koike, H.
  • Journal Title: Proc.of ACM Special Interest Group on University and College Computing Services (SIGUCCS) Fall 2006 Conference Pages: 173-177
• [Journal Article] Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model (2006)
  • Author(s): Koike, H.
  • Journal Title: Journal of Advanced Computational Intelligence and Intelligent Informatics Vol.10 No.3 Pages: 302-311
• [Journal Article] Converting Constraint Handling Rules to Equivalent Transformation Rules (2006)
  • Author(s): Shigeta, Y.
  • Journal Title: Journal of Advanced Computational Intelligence and Intelligent Informatics Vol.10 No.3 Pages: 339-348
• [Remarks] 言語処理系ETIのHP
  • URL: http://assam.cims.hokudai.ac.jp/eti/
• [Remarks] 研究で機能拡張を行った言語処理系ETI
  • URL: http://assam.cims.hokudai.ac.jp/eti/