1995 Fiscal Year Annual Research Report
| Project/Area Number |
07558157
|
|---|
| Research Category |
Grant-in-Aid for Developmental Scientific Research (B)
|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
牛島 和夫 九州大学, 工学部, 教授 (40037750)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
蒲池 正幸 九州大学, 工学部, 助手 (90274498)
乃村 能成 九州大学, 工学部, 助手 (70274496)
古川 善吾 九州大学, 情報処理教育センター, 助教授 (30190135)
程 京徳 九州大学, 工学部, 助教授 (30217228)
|
|---|
| Keywords | 並行プログラム / 開発環境 / プログラム従属性 / Ada |
|---|
| Research Abstract |
(1)並行処理プログラムの動作を把握するためのモデルの構築
並行処理プログラムのテストケースを生成をするためには、並行処理プログラムの動作を把握する必要がある。その動作を把握するためのモデルとして｀事象相互作用グラフ´を提案した。そのグラフは、プログラムユニット内の並行処理機構を表す文を節点とし、制御の移行を枝とする｀事象グラフ´と、ユニット間の同期・通信・待ちを事象グラフ間の節点で結ぶ｀相互作用´とで表されるグラフである。
(2)開発支援環境の各ツールの共通インタフェイスの設計と実現
並行型プログラムにおける基本従属性を表現するプロセス従属ネットの概念を用いて、異なるプログラミング言語で作成された対象プログラムを言語によらない中間表現に変換するプログラムを試作した。また、その中間表現を用いて、開発支援環境の個々のツールの共通インタフェースを設計した。さらに、その設計に基づいて、並行型プログラムの各開発活動を一貫して支援する開発支援環境を試作した。
(3)論理型並行プログラムにおける従属性の究明
論理型並行プログラムにおけるプロセス相互作用の表現モデルに基づいて、Concurrent Prologで書かれたプログラムを対象プログラムとして、論理型並行プログラムにおけるプロセス間の同期と通信に関する従属性と洗い出し抽象化することを行った。
|
-
[Publications] Jingde CHENG and Kazuo USHIJIMA: "Tasking Deadlocks in Ada 95 Programs and Their Detection,in A.Strohmeier (ed.),Ade:Reliable Sofware Technologies (Proceedings of the Ade-Europe 15th Annual International Conference)," Lecture Notes in Computer Science. (to appear). (1996)
-
[Publications] Jianjun ZHAO,Jingde CHENG,and Kazuo USHIJIMA: "Program Dependence Analysis of Concurrent Logic Programs and Its Applications," Proceedings of the 12th International Conference on Logic Programming,. 825- (1995)
-
[Publications] Jianjun ZHAO,Jingde CHENG,and Kazuo USHIJIMA: "Theoretical and Experimental Study of Dependence-Based Complexity Metrics for Distributed Programs," Proceedings of the 4th International Conference for Young Computer Scientists. 133-138 (1995)
-
[Publications] Jingde CHENG and Kazuo USHIJIMA: "Program Dependence Analysis in Distributed Software Engineering (Invited Talk)," Proceedings of the International Symposium on Paralle anf Distributed Supercomputing,. 15-24 (1995)
-
[Publications] Yoshiaki KASAHARA,Yoshinari NOMURA,Masayuki KAMACHI,Jingde CHENG,and Kazuo USHIJIMA: "An Integrated Support Environment for Distributed Software Development Based on Unified Program Representations," Proceedings of the 1995 Asia-Pacific Software Engineering Conference,. 254-263 (1995)
-
[Publications] Yoshiaki KASAHARA,Masayuki KAMACHI,Yoshinari NOMURA,Jingde CHENG,and Kazuo USHIJIMA: "An Integrated Environment to Support Software Development Based on Unified Program Representations," Proceedings of the Changsha International CASE Symposium '95,. 65-72 (1995)
