自然な仕様記述から実行可能プログラムを直接生成する体系の研究

1993 Fiscal Year Annual Research Report

• Project/Area Number: 05452363
• Research Institution: Osaka University
• Principal Investigator: 寺田 浩詔 大阪大学, 工学部, 教授 (80028985)
• Co-Investigator(Kenkyū-buntansha): 許 炎 大阪大学, 工学部, 助手 (00243171) ; 岩田 誠 大阪大学, 工学部, 助手 (60232683)
• Keywords: 多面的図的仕様記述 / データ駆動パラダイム / CASE / 協調的要求分析 / プログラム自動生成 / 自律分散処理 / 自己適用的システム実現法 / 動的データ駆動型マルチプロセッサ・システム

Research Abstract

本研究の目的は、自然な仕様記述から高度並列に実行可能な目的プログラムを直接生成する体系を、データ駆動パラダイムを理論的基盤として、確立し、ソフトウェアシステムの保守性の大幅な向上の基礎を提供することにある。研究初年度である本年度は、本図的仕様記述体系の有効性を実証するため、仕様記述の処理系自身の仕様記述ならびにその変換に必要な機能の拡充を行なった。これらの成果は以下のように要約される。
i.仕様記述形式の拡張:
応用プロセスのアルゴリズムに応じて、柔軟に高効率に実現可能な構造体データ処理の図的仕様記述手法として、アルゴリズム毎に固有のデータビュー、ならびに、これらを統合した階層的データビューの表現法が、柔軟な構造体データ処理構造の生成には必須であることを明らかにした。
ii.データ駆動型中間言語の拡張:
多重ストリームを対象にしてスループットを極小化できる状態遷移処理構造、ならびに、共有データ・アクセスの相互排他の期間・範囲を最小化できる構造体データ処理構造をそれぞれトークン・ストリームに対する処理構造として定式化した。
iii.基本処理系のデータ駆動型並列実現法の検討:
基本処理系のデータ駆動型並例実現法のプラットフォームとして、設備備品として申請したWS上のプロセッサシミュレータと試作プロセッサ・ボードとを有機的に活用した、エミュレータを設計し、実現した。

Research Products

• [Publications] 坪田 浩乃: "シングルチップ・データ駆動型プロセッサのアーキテクチャ評価" 情報処理学会論文誌. 34. 606-615 (1993)
• [Publications] Makoto Iwata: "Multilateral diagrammatical specification environment based on data-driven paradigm" Proc.IEEE 2nd International WS on Data-Flow Computing. (to be published). (1994)
• [Publications] 岩田 誠: "仕様記述からの多重実時間処理プログラムの直接生成手法に関する検討" 第47回情報処理学会全国大会. 4J-1. 5-221-5-222 (1993)
• [Publications] Hiroaki Terada: "Superpipelined dynamic data-driven VLSI processors" Proc.IEEE 2nd International WS on Data-Flow Computing. (to be published). (1994)
• [Publications] Ali M.Alhaj: "Exploiting parallelism in neural networks on a dynamic data-driven system" IEICE Trans.Fundamentals. E76-A. 1804-1811 (1993)
• [Publications] 佐藤 尚和: "可変遅延素子を用いた自己同期パイプライン" 信学会研究報告. ICD93-48. 31-38 (1993)