Fundamental Researches on Meta-Programming
| Project/Area Number |
01580026
|
|---|
| Research Category |
Grant-in-Aid for General Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Informatics
|
|---|
| Research Institution | Nagoya 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)
|
|---|
| Keywords | Programming 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)
Research Products
(17 results)
