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

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

• 批准号: 10139233
• 负责人: 吉田 紀彦
• 金额: $ 1.09万
• 依托单位: Nagasaki University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas (A)
• 财政年份: 1998
• 资助国家: 日本
• 起止时间: 1998 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-10139233/
• 关键词: ソフトウェア発展; 高階抽象プロセス; プログラム変換; 自己反映計算; メタレベル計算

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

My final goal, my ultimate goal, my structure, my abstract description・Design and construction of the project The basics of the new year's update are the basics of the new year. This year's main achievements are Fruity, Kanju-type プログラミングにおけるHigh-order Kanju によるstructural descriptionの枠组をconstructし, Structural description of the equal value of the change is suitable for oneself and reflects the technology of calculation to oneself. The combination of the ground and the ground has been established. The results of the sub-section are the latest proposals of the design and the design of the sub-section. Structural and functional abstract partsて, the structure of meaning reflects and the structured description form is established. This study is based on the construction of meaning.ソフトウェアシステムは, use the form やハードウェアenvironment などの変化に动的に Chase従しえるため,ソフトウェアのevolutionやAdaptationの実appearsにおいてimportantなmeaningをholdつ.Exampleえば,ハードウェアConstitutionに応じたシステムstructuralとその変change ruleを「Component」としてライブラリ化しておき,ソフトウェアシステムが自らの组かれたハードウェア Environment に応じて自らのstructure This research is based on the expectations of the current situation. This research is a specific field of research this year. "Research on the composition principle of the development mechanism" (Field representative: Katayama Takuya (Hokuriku) Graduate School of Advanced Science and Technology, Graduate School of Information Science, Professor

项目成果

Norihiko Yoshida: "Transformational Derivation of Higher-Order Process Compositions" Proc.Int'l Workshop on Parallel and Distributed Computing for Symbolic and Irreguler Applications. (掲載予定). (1999)

Norihiko Yoshida：“高阶过程组合的转换推导”Proc.Intl 符号和不规则应用程序的并行和分布式计算研讨会（待出版）。

Shuji Narazaki: "Dynamic Copy Allocation Scheme for Distributed Resource Sharing Based on Meta-level Computation" Proc.1998 Int'l Conf.on parallel and Distributed Processing Techniques and Applications. 829-834 (1998)

Shuji Narazaki：“基于元级计算的分布式资源共享的动态副本分配方案”Proc.1998 Intl Conf.on并行和分布式处理技术和应用。

Mika Ohtsuki: "Visual Aids for cataloging and Code Generation for SGML-based Documents of Design Patterns" Proc.Third World Conf.on Integrated Design and Process Technology. 305-312 (1998)

Mika Ohtsuki：“用于基于 SGML 的设计模式文档编目和代码生成的视觉辅助”Proc.Third World Conf.on 集成设计和处理技术。

大月美佳: "WWWを利用したソフトウェア部品の管理ツール" 長崎大学工学部研究報告. 29・52. 73-80 (1999)

大月美嘉：“使用WWW的软件组件管理工具”长崎大学工学部研究报告29・52（1999）。

Norihiko Yoshida: "Higher-Order Abstraction of Process Compositions and Their Transformation" Reports of the Faculty of Engineering,Nagasaki University. 29・52. 67-71 (1999)

吉田典彦：“过程组合物的高阶抽象及其变换”长崎大学工学部报告29・52（1999）。