• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Fundamental Researches on Meta-Programming

Research Project

Project/Area Number 01580026
Research Category

Grant-in-Aid for General Scientific Research (C)

Allocation TypeSingle-year Grants
Research Field Informatics
Research InstitutionNagoya Univ.

Principal Investigator

AGUSA Kiyoshi  Nagoya Univ., Faculty of Eng., Professor, 工学部, 教授 (90026360)

Co-Investigator(Kenkyū-buntansha) SAKAI Masahiko  Nagoya Univ., Faculty of Eng., Research Associate, 工学部, 助手 (50215597)
Project Period (FY) 1989 – 1990
Project Status Completed (Fiscal Year 1990)
Budget Amount *help
¥1,800,000 (Direct Cost: ¥1,800,000)
Fiscal Year 1990: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 1989: ¥900,000 (Direct Cost: ¥900,000)
KeywordsProgramming reusing / Software parts / Automatic program generation / Metaーprogramming / Customization / Program transformation / プラグラム自動生成 / メタプログラム / ソフトウェア部品 / ソフトウェア仕様 / カスタマイゼ-ション
Research Abstract

The aim of Software Engineering is "Automatic Program Generation".The wide semantic gap between requirements description of users and program description executed by a computer, however, make it so difficult. The research attacks from both directions, i. e. formalization of requirements description and high level abstraction of a program, are required to obtain "Automation" of program development.
Metaーprogramming is a kind of programming activity treating programs. Our research consists of 3 basic approaches, modelling of specification description, high level programming using software database, and customization of software parts.
As for modelling of specification description, we provide an abstract requirements model from which many related engineers can extract the object system model from their view points. Even end users can retrieve the information trough natural languageーlike descriptions. The specification system should have a multiーpoints-view since a functional model suits EDP … More (Electric Data Processing) while a logic model fits recursive problems, defined with constraints. For specification of the large system, we provide hierarchical specification methods based on parametrization and inheritance. More over, we mentioned reusing of existent specification description to save efforts to describe and verify. The reusing will help a lot for getting a target system since the implementation track can be followed.
The most important feature of software lies in applicability. Then, there are a lot of application fields of software systems. The wide application field makes it difficult to prepare the knowledge required to generate target systems for specification descriptions. In this research, we limited a pplication filed to EDP. The software parts to implement EDP systems are stored in a software database. The efficiency of an object program is apt to be low when we use high level and universal parts. To avoid this problem, we developed a system for parts customization. This is based on techniques similar to optimization techniques in a compiler. More global scope like among functions (or subroutines) should be checked while compilers check only one function. Less

Report

(3 results)
  • 1990 Annual Research Report   Final Research Report Summary
  • 1989 Annual Research Report
  • Research Products

    (17 results)

All Other

All Publications (17 results)

  • [Publications] Kiyoshi Agusa: "Improvement of Software Productivity with upper CASEs" Journal of Information Processing.

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 濱口 毅: "代数的仕様の論理型プログラムへの変換" 情報処理学会第42回(平成3年前期)全国大会 講演論文集(5). 5. 51-52 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 馬渕 謙: "自動プログラミング環境におけるソフトウェア理解支援システム" 情報処理学会 第42回(平成3年前期)全国大会 講演論文集(5). 5. 289-290 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 酒井 正彦: "被覆集合帰納法と代数的仕様の検証の機械的支援に関する考察" 情報処理学会 第42回(平成3年前期)全国大会 講演論文集(5). 5. 49-50 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 酒井 正彦: "代数的仕様検証のための拡張被覆集合帰納法の手続き化" 電子情報通信学会春季全国大会.

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Kiyoshi Agusa: "Improvement of Software Productivity with upper CASEs" Journal of Information Processing.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Takeshi Hamaguchi: "How to Transform Algebraic Specification into a Logic Program" Proc. 42th Annual Convention IPS Japan. vol. 5. 51-52 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Ken Mabuchi: "Software Understanding Support System for Automatic Programming Environment" Proc. 42th Annual Convention IPS Japan. vol. 5. 289-290 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Masahiko Sakai: "Cover Set Induction and a Study about Mechanical Support for Verifying Algebraic Specification" Proc. 42th Annual Convention IPS Japan. vol. 5. 49-50 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Masahiko Sakai: "Mechanizing Extended Cover Set Induction for Verifying Algebraic Specification" National Convention Record, 1991 The Institute of Electronics, Information and Communication Eng.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Kiyoshi Agusa: "Improvement of Software Productivity with upper CASEs" Journal of Information Processing.

    • Related Report
      1990 Annual Research Report
  • [Publications] 濱口 毅: "代数的仕様の論理型プログラムへの変換" 情報処理学会 第42回(平成3年前期)全国大会講演論文集(5). 5. 51-52 (1991)

    • Related Report
      1990 Annual Research Report
  • [Publications] 馬渕 謙: "自動プログラミングにおけるソフトウェア理解支援システム" 情報処理学会 第42回(平成3年前期)全国大会講演論文集(5). 5. 289-290 (1991)

    • Related Report
      1990 Annual Research Report
  • [Publications] 酒井 正彦: "被覆集合帰納法と代数的仕様の検証の機械的支援に関する考察" 情報処理学会 第42回(平成3年前期)全国大会講演論文集(5). 5. 49-50 (1991)

    • Related Report
      1990 Annual Research Report
  • [Publications] 酒井 正彦: "代数的仕様検証のための拡張被覆集合帰納法の手続き化" 電子情報通信学会春季全国大会.

    • Related Report
      1990 Annual Research Report
  • [Publications] 大西淳,阿草清滋,大野豊: "要求フレ-ムに基づいたソフトウェア要求仕様化技法" 情報処理学会論文誌. 31. 175-181 (1990)

    • Related Report
      1989 Annual Research Report
  • [Publications] Kiyoshi Agusa: "JAPANESE PERSPECTIVES IN SOFTWARE ENGINEERING" Yoshihiro Matusmoto,Yutaka Ohno,Addison Wesley, 13 (1989)

    • Related Report
      1989 Annual Research Report

URL: 

Published: 1989-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi