氏名: 尾関嘉一郎 (l0481620)
論文題目: Join-Calculus言語によるモバイル通信プロセスのプログラミング
論文概要
本論文では、Join-Calculus言語を用いて複数の計算機上で並行に動作するアプリケーションを作成する。
Join-Calculus言語は、INRIAで開発されたプロセス代数を基礎とする言語であり、モバイル通信プロセスによる並列分散プログラミングが可能である。
モバイル通信プロセスではプログラム自体を他の計算機に移動することにより、プログラムが分散実行される。
この機能を用いて複数の計算機を使用する、サーバ/クライアント型のチャットアプリケーションを作成した。
ここではクライアントはサーバにメッセージを送信しメッセージの表示プログラムの生成を依頼する。
サーバはそのプログラムをクライアントに移動して、メッセージを表示する。
このときサーバは、クライアントの選択によって様々な通信方法を実現する。
このようなモバイル通信プロセスによる柔軟性の高い分散プログラミングの手法を示す。
目次に戻る