权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

高次推論に基づくプログラム合成とソフトウェア発想モデルに関する研究

基于高阶推理的程序综合与软件构思模型研究

基本信息

批准号：
03235206
负责人：
豊田順一
金额：
$ 1.28万
依托单位：
Osaka University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
1990
资助国家：
日本
起止时间：
1990 至 1991
项目状态：
已结题

项目摘要

1. 類似性に基づくプログラム部品検索システムの開発:昨年度に引き続いて、プログラム部品の類似性について考察を行い、類似性の記述を容易にするような部品の表現形式について研究を行った。この結果を用いて、その形式で表現される部品間に類似性を定議し、昨年度から引き続いて研究を行ってきた類推機構を用いてプログラム部品検索システムのプロトシステムの作成に着手した。2. ウィンドウ制御プログラム合成システムーWINCSの改良:部分的な改良作業を行っている。実際のプログラム開発では、通常複数個のプログラム部品を組み合わせて利用するのが普通である。しかし、ライブライ-などの広範囲で利用可能にしたプログラム部品は、組み合わせの方法によっては利用不可能な場合が生じる。このような場合、プログラム部品の組み合わせ時に利用不可能な部品が指定されるのを避けるためTMSを使用して来たが。競合解消と多世界の運用について検討を行い、このシステムの改良を行った。3. 変形解析法によるPROLOGプログラムの仕様生成:プログラム部品を再利用するためには、その部品の仕様を明らかにする必要がある。しかし、人手によってすべての部品の仕様を作成するのは不可能である。この問題を解決するために、本年度は、PROLOGを対象として、プログラム部品の再利用を行い、収集した部品について、それらの仕様を自動生成するシステムを作成した。

1. Development of similarity base group component model system: last year, introduction of similarity base group component model system, investigation of similarity base group component model system, easy description of similarity base group component model system, study of component model system. The results of this study were used to determine the similarity between the components in the form of a series of studies conducted in the past year. 2. WINCS improvement: part of the improvement process. In practice, the development of software is usually a combination of a plurality of software components. For example, if you want to make use of the possibility, you can make use of the possibility. The use of TMS is not possible when the components are grouped together. Co-opetition and multi-world application are discussed in the discussion and improvement of the system. 3. The method of shape analysis is used to generate PROLOG files: the files are reused, and the files are clearly identified. It's impossible to make a job out of the parts. This year, PROLOG will create a system for the reuse of components, collection of components, and other issues.