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

1995 Fiscal Year Annual Research Report

• Project/Area Number: 06452394
• Research Institution: Kyushu University
• Principal Investigator: 程 京徳 九州大学, 工学部, 助教授 (30217228)
• Co-Investigator(Kenkyū-buntansha): 牛島 和夫 九州大学, 工学部, 教授 (40037750)
• Keywords: 命令型並行プログラム / 宣言型並行プログラム / プログラム従属性 / プログラム解析 / プログラム理解 / デバッグ / 複雑さ評価 / 保守

Research Abstract

(1)命令型・宣言型並行プログラムにおけるプロセス相互作用の共通の表現モデルの構築
命令型並行プログラムにおける多重制御流れと多重データ流れを表現できる有向グラフとして我々が導入した非決定的定義使用ネットを、宣言型並行プログラムにおける多重制御流れと多重データ流れを表現できるように拡張し、命令型・宣言型並行プログラムにおけるプロセス相互作用の表現モデルを構築した。
(2)理論型並行プログラムにおける従属性の解析
理論型並行プログラムにおけるプロセス相互作用の表現モデルに基づいて、論理型並行プログラムにおける従属性を引き数のレベルまで解析した。
(3)オブジェクト指向並行プログラムにおける従属性の解析
CC++で書かれたプログラムを対象プログラムとして、オブジェクト指向並行プログラムにおける従属性を解析する技法を提案した。
(4)関数型プログラムにおける従属性の解析
Standand MLで書かれたプログラムを対象プログラムとして、関数型プログラムにおける従属性を解析する技法を提案した。
(5)occam2並行プログラムにおける従属性の解析
occam2並行プログラムのための並列定義使用ネット生成ツールを開発し、occam2並行プログラムにおける従属性を解析し、そのプロセス従属ネットを生成した。

Research Products

• [Publications] Jianjun ZHAO: "Theoretical and Experimental Study of Dependence-Based Complexity Metrics for Distributed Programs" Proc. 4th ICYCS. 345-352 (1995)
• [Publications] Jingde CHENG: "Applications of Program Dependence Analysis in Distributed Software Engineering(Invited Talk)" Proc. ISPDS. 15-24 (1995)
• [Publications] Yoshiaki KASAHARA: "An Integrated Environment to Support Software Development Based on Unified Program Representations" Proc. CICS'95. 65-72 (1995)
• [Publications] Yoshiaki KASAHARA: "An Integrated Support Environment for Distributed Software Development Based on Unified Program Representations" Proc. 1995 APSEC. 254-263 (1995)
• [Publications] Jianjun ZHAO: "Program Dependence Analysis of Concurrent Logic Programs and Its Appncations" Proc. 1996 ICPDS. (1996)
• [Publications] Jingde CHENG: "Tasking Deadlocks in Ada 95 Programs and Their Detection" Lecture Notes in Computer Science. (1996)