高階並行プロセス計算の基礎理論と実践

1997 Fiscal Year Annual Research Report

• Project/Area Number: 08680343
• Research Institution: SHIZUOKA UNIVERSITY
• Principal Investigator: 富樫 敦 静岡大学, 情報学部, 教授 (20172140)
• Keywords: 高階並行プロセス計算 / 動作的意味論 / 計算モデル / 高階様相論理 / タイプシステム / 高階並行プログラミング言語 / 等価性 / 言語処理系

Research Abstract

本研究の目的は次の2点に集約される.
・自律協調計算,メタ計算,モ-ビル計算などに見られる高度なパラダイムを有する並行システムを記述・解析するための「高階並行プロセス計算モデル」を構築し,その動作的意味論に関する基礎理論を確立する.
・上記に基づいたプログラミング言語を開発し,実践を通して本モデルと基礎理論の妥当性を実証する.
本年度は,以下の項目に関して,以下の成果を得た.
研究項目(1)高階並行プロセス計算モデルの構築(前年度からの継続研究)
高度な計算パラダイムを有する並行システムを記述・解析するための「高階プロセス計算モデル」を構築した.このモデルは,それぞれ研究項目(2),(3)で展開する数学的議論とプログラミング言語のベースモデルとなる.
研究項目(2)高階並行プロセス計算の動作的意味に関する数学的基礎理論の確立(前年度からの継続研究)
(1)で提案した計算モデルに対して,等価性,モデルチェッキング,多相タイプ付けに関する研究を実施し,その数学的基礎を確立させた.
(3)高階並行プログラミング言語の開発
(1)のモデルに基づいた高階並行プログラミング言語を設計し,スパークステーション(設備備品費)上にその処理系を試作した.
(4)実践的な適用を通した本モデルと理論の検討
(3)のプログラミング言語を実際の問題に適用しその成果を検討することによって,本モデルと理論の実用性の面での妥当性を実証した.

Research Products

• [Publications] A.Togashi, F.Kanazashi, X.Lu: "A methodology for the description of system requirements and the derivation of formal specifications" Proc.of FORTE/PSTV97. 125-142 (1997)
• [Publications] 金指文明, 富樫敦: "π計算に対する証明システム" ソフトウェア工学の基礎IV,FOSE'97ワークショップ論文集,近代科学社. 20-27 (1997)
• [Publications] 金指文明, 陸暁松, 富樫敦: "ソフトウェアの効果的な開発環境" ソフトウェア工学の基礎IV,FOSE'97ワークショップ論文集,近代科学社. 67-70 (1997)
• [Publications] 陸暁松, 金指文明, 富樫敦: "システム要求と仕様記述の診断" ソフトウェア工学の基礎IV,FOSE'97ワークショップ論文集,近代科学社. 39-42 (1997)
• [Publications] A.Togashi: "On Typing Systems for the Polyadic pi-Calculus" Proc.of RIMS Workshop in Computing titled Concurrency Theory and Applications '96. 125-142 (1997)
• [Publications] A.Togashi: "Name matching v.s. structure matching in typing systems for the polyadic π-calculus" 静岡大学情報学研究. 1. 25-42 (1997)