本研究課題では、分散ソフトウェアをプロトタイピングしていくために、様々なプロセス局面上でのモデル化やプロトタイピング環境についての研究を行った。まず、並行オブジェクト群による連携動作の構造的な枠組の解明を行った。これは並行オブジェクトの振舞いが正規表現からなるパス式で表されるという前提のもとで、オブジェクト間での原始的な連携動作を定義し、それらをもとに任意の連携動作を構造的に表現しようとするものである。次に、並行オブジェクトシステムの設計方略として、連携動作で実現したい機能をまず構造的に明らかにしていき、次いで原子的な連携動作を並行オブジェクトで実現することを提案した。できるだけこれまでの構造化分析・設計法に基づいて連携動作の分析を行い、オブジェクト間の並行性は詳細設計の段階に後送りしようとするものである。並行オブジェクト群のプロトタイピングに適した緩いオブジェクト間結合を表すため、Lindaのタプル通信を拡張し、タプルの照合および値の伝搬のための規則を可変としたGenericな空間によって相互作用を行う並行計算モデルを提案した。プログラマがデータ構造を自由に導入でき、かつデータ構造に応じた単一化手続きを定義することができ、そして一般化されたデータ構造に基づいた理論体系を用いてデータ構造と単一化手続きの正当性の判定のできる言語UL/αを開発した。プロトタイピングでは、対象とす...