\begin{abstract}

データをData Segment、タスクをCode Segmentという単位で分割して記述する手法を提唱しており、分散フレームワークAliceはそのプロトタイプとして開発された。Aliceが分散プログラムを記述する能力をもつことは、水族館の例題により確認された。

本研究ではAliceに実用的なアプリケーションを作成するために必要な、動的なトポロジーを管理する機能とAliceの制御を行えるメタ計算を追加した。そして既存のアプリケーションをAlice上で実装することで実用的なアプリケーションを記述する能力を持つことを確認した。

また、分散と並列両方の観点から性能改善を行ない、12％の性能向上に成功した。そして、先行研究であるFederated Lindaと同等の性能を持たせることができた。


\end{abstract}