宣言性を有した分散オブジェクト指向言語モデルに関する研究

Research Project

Project/Area Number	05780217
Research Category	Grant-in-Aid for Encouragement of Young Scientists (A)
Allocation Type	Single-year Grants
Research Field	計算機科学
Research Institution	Hokkaido University
Principal Investigator	渡辺慎哉北海道大学, 工学部, 助手 (70210903)
Project Period (FY)	1993
Project Status	Completed (Fiscal Year 1993)
Budget Amount *help	¥900,000 (Direct Cost: ¥900,000) Fiscal Year 1993: ¥900,000 (Direct Cost: ¥900,000)
Keywords	分散オブジェクト
Research Abstract	1.既存の並行・分散モデルの分析新しいモデルの提案に先だって、既存の並行・分散モデルの分析を行なった。対象としてCSP・Linda・Actorを選択した。分析は、これらのモデルを一般化論理プログラムに埋め込み、その上で比較するという方法で行なった。その結果、・既存のモデルが、ハードウェアの制約に依存していること・実行の概念が言語以外の部分で定義されていること・通信は相手の選択と値の伝搬という2つの部分から構成されていることなどが明らかになってきた。 2.新しいモデルの提案上野分析結果、特に通信に関する結果から、より柔軟な通信を行なうモデルが実現可能であることが分かってきた。既存のモデルでは通信は単純なパターンマッチでしかなかったが、これを、一般化論理プログラムにおける拡張されたユニフィケーションに発展させることにより、相手の選択における柔軟性や双方向の通信などがユニフィケーションという統一的な枠組で表現できるようになる。さらに、一般化論理プログラムが持つ理論的厳密性を利用することにより、オプジェクト合成が安全に行なえるモデルを構築できることが分かった。