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

声明式分布式面向对象语言模型研究

• 批准号: 05780217
• 负责人: 渡辺 慎哉
• 金额: $ 0.58万
• 依托单位: Hokkaido University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1993
• 资助国家: 日本
• 起止时间: 1993 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-05780217/
• 关键词: 分散オブジェクト

1.既存の並行・分散モデルの分析新しいモデルの提案に先だって、既存の並行・分散モデルの分析を行なった。対象としてCSP・Linda・Actorを選択した。分析は、これらのモデルを一般化論理プログラムに埋め込み、その上で比較するという方法で行なった。その結果、・既存のモデルが、ハードウェアの制約に依存していること・実行の概念が言語以外の部分で定義されていること・通信は相手の選択と値の伝搬という2つの部分から構成されていることなどが明らかになってきた。2.新しいモデルの提案上野分析結果、特に通信に関する結果から、より柔軟な通信を行なうモデルが実現可能であることが分かってきた。既存のモデルでは通信は単純なパターンマッチでしかなかったが、これを、一般化論理プログラムにおける拡張されたユニフィケーションに発展させることにより、相手の選択における柔軟性や双方向の通信などがユニフィケーションという統一的な枠組で表現できるようになる。さらに、一般化論理プログラムが持つ理論的厳密性を利用することにより、オプジェクト合成が安全に行なえるモデルを構築できることが分かった。

1. Analysis of existing parallel and decentralized networks Proposal for new networks Analysis of existing parallel and decentralized networks CSP-Linda-Actor The analysis is based on a generalized logic scheme. As a result, the existing concept of communication is defined as the part other than speech, and the selection of communication is determined as the part of communication. 2. New proposal Ueno analysis results, special communication related results, soft communication related results, soft communication related results The existing communication system is pure and simple, and the generalized logic system is flexible and flexible, and the bidirectional communication system is uniform and flexible. In addition, the generalized logic structure is used to construct the security structure of the theory.

项目成果

渡辺慎哉 他: "Language Embeddigによる並行オブジェクトモデルの分析" 北海道大学工学部研究報告. 167. 19-27 (1993)

Shinya Watanabe 等人：“使用 Language Embeddig 分析并行对象模型”北海道大学工学部研究报告 167. 19-27 (1993)。

渡辺慎哉 他: "Actorと一般化論理プログラム" 信学技報. SS92-36. 47-54 (1993)

Shinya Watanabe 等人：“Actor 和广义逻辑程序”IEICE 技术报告 SS92-36 (1993)。