1994 Fiscal Year Annual Research Report

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

Research Project

Project/Area Number	06452394
Research Category	Grant-in-Aid for General Scientific Research (B)
Research Institution	Kyushu University
Principal Investigator	程京徳九州大学, 工学部, 助教授 (30217228)
Co-Investigator(Kenkyū-buntansha)	牛島和夫九州大学, 工学部, 教授 (40037750)
Keywords	プログラム従属性 / 論理型並行プログラム / 関数型並行プログラム / プロセス相互作用 / 並行プログラムの系統的開発法
Research Abstract	本研究は、信頼性が高いかつ効率が良い並行プログラムの系統的開発法を確立するために、宣言型並行プログラムにおけるプロセス間の同期と通信に関する従属性を究明すると共に、これまで我々が構築した命令型並行プログラムの従属性理論を拡張し、並行プログラムにおける従属性に関する一般的理論を構築することにより、命令型並行プログラムと宣言型並行プログラムとをこの従属性理論の枠組の中で統一する。これによって、宣言的に記述される並行プログラムの形式的仕様の検証から、命令的に記述される並行プログラムの作成、最適化変換、テスト、デバッグ、保守、複雑さ計測までの並行プログラム開発を一貫にして支援する系統的開発法の理論的基礎を提供することを目指す。今年度は次の研究を行った: 1、論理並行プログラムにおけるプロセス相互作用の表現モデルの構築命令型並行プログラムにおける多重制御流れと多重データ流れを表現できる有向グラフとして我々が導入した非決定的定義使用ネットを、論理型並行プログラムにおける多重制御流れと多重データ流れを表現できるように拡張し、論理型並行プログラムにおけるプロセス相互作用の表現モデルを構築した。 2、論理型並行プログラムにおける従属性の究明論理型並行プログラムにおけるプロセス相互作用に表現モデルに基づいて、Concurrent Prologで書かれたプログラムを対象プログラムとして、論理型並行プログラムにおけるプロセス間の同期と通信に関する従属性を洗い出し抽象化することを行った。 3、関数型並行プログラムにおけるプロセス相互作用の表現と従属性の究明 Common LISPやMirandaで書かれたプログラムを対象プログラムとして、関数型並行プログラムにおけるプロセス相互作用の表現モデルとそれに基づいて関数型並行プログラムにおけるプロセス間の同期と通信に関する従属性を如何に形式的に定義することに関する考察を行った。

Research Products
(6 results)

All Other

All Publications (6 results)

[Publications] 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)
[Publications] Jingde CHENG: "Nondeterministic Parallel Control-Flow/Definition-Use Nets and Their Applications" Parallel Computing:Trends and Applications. 589-592 (1994)
[Publications] Kazuaki GOSHI: "Improving the Inconsistency Processing in Annotated Logic Programming" Proc.2nd Singapore International Conference on Intelligent Systems. 243-248 (1994)
[Publications] 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)
[Publications] 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)
[Publications] Jianjun ZHAO: "Dependence Analysis of Concurrent Logic Programs and Its Applications" Proc.12th Internation Conference on Logic Programming. (1995)

1994 Fiscal Year Annual Research Report

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

Principal Investigator

程 京徳 九州大学, 工学部, 助教授 (30217228)

Research Products

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

[Publications] Jingde CHENG: "Nondeterministic Parallel Control-Flow/Definition-Use Nets and Their Applications" Parallel Computing:Trends and Applications. 589-592 (1994)

[Publications] Kazuaki GOSHI: "Improving the Inconsistency Processing in Annotated Logic Programming" Proc.2nd Singapore International Conference on Intelligent Systems. 243-248 (1994)

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

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

[Publications] Jianjun ZHAO: "Dependence Analysis of Concurrent Logic Programs and Its Applications" Proc.12th Internation Conference on Logic Programming. (1995)

程京徳九州大学, 工学部, 助教授 (30217228)