1998 Fiscal Year Annual Research Report

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

Research Project

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

Research Products
(6 results)

All Other

All Publications (6 results)

[Publications] 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)
[Publications] 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)
[Publications] 大月美佳: "WWWを利用したソフトウェア部品の管理ツール" 長崎大学工学部研究報告. 29・52. 73-80 (1999)
[Publications] Norihiko Yoshida: "Higher-Order Abstraction of Process Compositions and Their Transformation" Reports of the Faculty of Engineering,Nagasaki University. 29・52. 67-71 (1999)
[Publications] Norihiko Yoshida: "Transformational Derivation of Higher-Order Process Compositions" Proc.Int'l Workshop on Parallel and Distributed Computing for Symbolic and Irreguler Applications. (掲載予定). (1999)
[Publications] Toshihiko Shimokawa: "Dynamic Multi-Server Reconfigulation Using Meta-Level Computation in Distributed Information Sharing" Proc.5th Int'l Conf.on Information Systems Analysis and Synthesis. (掲載予定). (1999)

1998 Fiscal Year Annual Research Report

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

Principal Investigator

吉田 紀彦 長崎大学, 工学部, 教授 (00182775)

Research Products

[Publications] 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)

[Publications] 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)

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

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

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

[Publications] Toshihiko Shimokawa: "Dynamic Multi-Server Reconfigulation Using Meta-Level Computation in Distributed Information Sharing" Proc.5th Int'l Conf.on Information Systems Analysis and Synthesis. (掲載予定). (1999)

吉田紀彦長崎大学, 工学部, 教授 (00182775)