ソフトウェアのシステム構造記述の動的自己変換に関する基礎的研究

软件系统结构描述动态自变换基础研究

基本信息

批准号：
10139233
负责人：
吉田紀彦
金额：
$ 1.09万
依托单位：
Nagasaki University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas (A)
财政年份：
1998
资助国家：
日本
起止时间：
1998 至无数据
项目状态：
已结题

项目摘要

我々の最終的な目標は,システムのプロセス構造やモジュール構造を抽象的に記述・設計する枠組を構築することにある.この目標に向けて本研究では,自らの構造を動的に変更するソフトウェアシステムの基礎固めを目指している.本年度は,主要な成果として,関数型プログラミングにおける高階関数による構造記述の枠組を構築し,構造記述の等価変換の自己適用に向けたプログラム変換および自己反映計算の技術との結合の下地を確立した.副次的な成果として,オブジェクト指向設計で最近提案されている,システム構造と機能を抽象化したメタ部品であるデザインパターンについて,意味的構造を反映した構造化記述形式を確立した.本研究で下地を構築した動的ソフトウェアシステムは,運用形態やハードウェア環境などの変化に動的に追従しえるため,ソフトウェアの進化や適応の実現において重要な意義を持つ.例えば,ハードウェア構成に応じたシステム構造とその変換規則を「部品」としてライブラリ化しておき,ソフトウェアシステムが自らの置かれたハードウェア環境に応じて自らの構造を適応させるといったことの実現が期待できる.本研究は,本年度は特定領域研究「発展機構を備えたソフトウェアの構成原理の研究」(領域代表者:片山卓也(北陸先端科学技術大学院大学・情報科学研究科・教授))の公募研究であったが,来年度は計画研究に組み込まれるので,最終成果目標に向けてさらなる研究努力を続ける.

我们的最终目标是构建一个框架，该框架描述并设计了该目标的过程结构和模块结构。，在功能编程中使用高地板函数的结构描述是建立的，程序转换和自我反思的计算，用于对结构描述的等效转换的自我应用。这反映了面向对象的设计最近提出的设计模式的含义结构，这是系统结构和功能的摘要。遵循操作表格和硬件环境的更改，因此，它对软件的演变和适应性很重要。根据您自己的硬件环境，您自己的结构是基于特定领域的研究“与发展组织的软件配置原则的研究”（民主医生：takuya katayama（Hokuriku Advanced Science and Technology，Inforlage School of Information of Information of Mociess，教授））。