命令型・宣言型並行プログラムにおける従属性に関する一般的理論の構築と応用

1994 年度 実績報告書

• 研究課題/領域番号: 06452394
• 研究種目: 一般研究(B)
• 研究機関: 九州大学
• 研究代表者: 程 京徳 九州大学, 工学部, 助教授 (30217228)
• 研究分担者: 牛島 和夫 九州大学, 工学部, 教授 (40037750)
• キーワード: プログラム従属性 / 論理型並行プログラム / 関数型並行プログラム / プロセス相互作用 / 並行プログラムの系統的開発法

研究概要

本研究は、信頼性が高いかつ効率が良い並行プログラムの系統的開発法を確立するために、宣言型並行プログラムにおけるプロセス間の同期と通信に関する従属性を究明すると共に、これまで我々が構築した命令型並行プログラムの従属性理論を拡張し、並行プログラムにおける従属性に関する一般的理論を構築することにより、命令型並行プログラムと宣言型並行プログラムとをこの従属性理論の枠組の中で統一する。これによって、宣言的に記述される並行プログラムの形式的仕様の検証から、命令的に記述される並行プログラムの作成、最適化変換、テスト、デバッグ、保守、複雑さ計測までの並行プログラム開発を一貫にして支援する系統的開発法の理論的基礎を提供することを目指す。
今年度は次の研究を行った:
1、論理並行プログラムにおけるプロセス相互作用の表現モデルの構築
命令型並行プログラムにおける多重制御流れと多重データ流れを表現できる有向グラフとして我々が導入した非決定的定義使用ネットを、論理型並行プログラムにおける多重制御流れと多重データ流れを表現できるように拡張し、論理型並行プログラムにおけるプロセス相互作用の表現モデルを構築した。
2、論理型並行プログラムにおける従属性の究明
論理型並行プログラムにおけるプロセス相互作用に表現モデルに基づいて、Concurrent Prologで書かれたプログラムを対象プログラムとして、論理型並行プログラムにおけるプロセス間の同期と通信に関する従属性を洗い出し抽象化することを行った。
3、関数型並行プログラムにおけるプロセス相互作用の表現と従属性の究明
Common LISPやMirandaで書かれたプログラムを対象プログラムとして、関数型並行プログラムにおけるプロセス相互作用の表現モデルとそれに基づいて関数型並行プログラムにおけるプロセス間の同期と通信に関する従属性を如何に形式的に定義することに関する考察を行った。

研究成果

• [文献書誌] Jingde CHENG: "Entailment Calculus as a Logical Tool for Reasoning Rule Generation and Verification" Moving Towards Expert Systems Globally in the 2lst Century. 386-392 (1994)
• [文献書誌] Jingde CHENG: "Nondeterministic Parallel Control-Flow/Definition-Use Nets and Their Applications" Parallel Computing:Trends and Applications. 589-592 (1994)
• [文献書誌] Kazuaki GOSHI: "Improving the Inconsistency Processing in Annotated Logic Programming" Proc.2nd Singapore International Conference on Intelligent Systems. 243-248 (1994)
• [文献書誌] Jingde CHENG: "A Relevant Logic Approach to Automated Theorem Finding" Proc.Workshop on Automated Theorem Proving attached to International Symposium on Fifth Generation Computer Systems. 8-15 (1994)
• [文献書誌] Jianjun ZHAO: "Literal Dependence Net and Its Use in Concurrent Logic Programming Environment" Proc.Workshop on Parallel Logic Programming attached to International Symposium on Fifth Generation Computer Systems. 127-141 (1994)
• [文献書誌] Jianjun ZHAO: "Dependence Analysis of Concurrent Logic Programs and Its Applications" Proc.12th Internation Conference on Logic Programming. (1995)