ソフトウェアの発展を可能にする等価変換に基づくシステム構築法の研究

基于等价变换的软件开发系统构建方法研究

• 批准号: 09245202
• 负责人: 赤間 清
• 金额: $ 1.22万
• 依托单位: Hokkaido University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1997
• 资助国家: 日本
• 起止时间: 1997 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-09245202/
• 关键词: ソフトウェア発展; 仕様; 等価変換パラダイム; データ構造; ルール生成

ソフトウェア発展とは、ソフトウェアがその仕様の変更や仕様環境の変化に対応して、その機能や構造を変化、発展させ、それらの変更や変化を許容できることであり、仕様とプログラムの関係を適切に捉える理論を構築することが非常に重要である。本研究では、第一に、等価変換パラダイムに基づいて、仕様とプログラムの新しい関係を提案した。すなわち、(1)仕様を等価変換して、(計算に向いた)新しい仕様を得る。(2)その仕様を等価変換するルール群と制御記述を得る。ルール群と制御記述の組がプログラムである。本研究では、この枠組のもとで、(a)新しいデータ構造を導入するための理論を与えた。また、(b)仕様から等価変換するルールを生成する基礎理論を作り実験システムを構築した。(a)はいままであまり研究されていないタイプの変換である。しかし、効率的なプログラムを作成する上で、データ構造の改善は非常に重要な役割をはたす。データ構造の改善のできない枠組では、多くの現実の問題に関して、十分効率的に解くプログラムをつくることが困難である。(b)は、パターンで指定されたアトムに対して適用可能な等価変換ルールを仕様から生成する。これは、従来のunfold/fold変換を用いたプログラム変換の技術を包含する。本研究は、効率的なプログラムを構築するための汎用の枠組を与えるとともに、ソフトウェア発展の理論の基礎を与えると期待される。

It is very important to construct a theory that allows for the transformation, development, and transformation of the functional structure of the environment. This study proposes a new relationship between the first and the second order of change. (1) Change the name of the person,(2) Change the name of the person,(3) Change the name of the person,(4) Change the name of the person. (2)All kinds of official documents, such as group documents, control documents, etc. The group of the control group is divided into three groups: This study is about the introduction of new structural theories into the world. (b) The basic theory of the transformation process is constructed. (a)This is the first time I've ever been to a school. It is very important to improve the quality of the products. How to improve the structure of the system? How to improve the efficiency of the system? (b)For example, if you want to change your name, you can change it. The unfold/fold conversion technology includes: This study aims to construct a general framework for the development of efficient and effective technologies.

项目成果

赤間 清: "″解なし″問題の抽象化による解法のための基礎理論" 電子情報通信学会論文誌. (発表予定).

Kiyoshi Akama：“通过抽象解决“无解”问题的基本理论，电子、信息和通信工程师学会杂志”。（待出版）。

赤間 清: "特殊化システムの拡張による知識表現系の変更" 人工知能学会誌. 13.1. 341-349 (1998)

Kiyoshi Akama：“通过扩展专业化系统来改变知识表示系统”《人工智能学会杂志》13.1（1998）。

畑山 満美子: "等価変換ルールの追加による知識処理システムの改善" 人工知能学会誌. 12,6. 861-869 (1997)

Mumiko Hatayama：“通过添加等效转换规则改进知识处理系统”人工智能学会杂志 12,6 (1997)。

赤間 清: "項領域における包含制約の等価変換" 人工知能学会誌. (発表予定).

Kiyoshi Akama：“术语域中包含约束的等效变换”，日本人工智能学会杂志（待出版）。

赤間 清: "論理プログラムの等価変換による問題解決の枠組" 人工知能学会誌. 12,4. 90-99 (1997)

Kiyoshi Akama：“通过逻辑程序的等效转换解决问题的框架”，人工智能学会杂志 12,4（1997）。