\begin{abstract}
当研究室ではデータを Data Segment、タスクを Code Segment という単位で分割して記述する手法を提唱している。
Data Segmentは整数や文字列や構造体などの基本的なデータの集まりである。
Code Segmentは入力となるData Segmentが全て揃ったら並列に処理を開始し計算結果のData Segmentを出力するタスクである。
この手法を用いて、スケーラブルな分散プログラムを信頼性高く記述できることを目的とした並列分散フレームワークAliceを開発した。

Aliceでは通常の処理の間にMeta Computationという処理を挟むことで、コードを大きく変更せずに挙動変更を可能にしている。
Aliceが実用的な分散アプリケーションを記述でき、Meta Computationが仕様の変更を抑えた信頼性の高い拡張を可能にするということはTreeVNCの例題などから確認された。

しかし、NAT越えなどのMetaComputationを実装しようとした際、現状では拡張が困難であり再設計が望ましいことが判明した。
また、それに伴いAliceの直感的でないAPIを改善し、型の整合性を保証することで信頼性を向上させるべきだと考えた。

本研究ではAliceで得られた知見を元に分散フレームワークChristieの設計を行った。
Christieでは、APIにJavaのアノテーションを用いることでシンプルな記述で信頼性の高いプログラミングを実現する。
また、Data Gear Managerを複数立ち上げられるようにしたことでNAT越えなどの拡張に対応した。




\end{abstract}

\begin{abstract_eng}
In our laboratory, we propose a method of dividing and describing data as Data Segment and task as Code Segment.
Data segment is a collection of basically data such as integers, character strings and structures.
The Code Segment starts processing in parallel from the time when the input Data Segments are complete and outputs the Data segment of the calculation result. 
Using this method, we developed a parallel distributed framework Alice which aims to describe a scalable distributed program with enhanced reliability. 

In Alice, by interposing the process Meta Computation during normal processing, we can change the behavior without changing the code significantly.
Alice can describe a practical distributed application, Meta Computation is confirmed from the example of TreeVNC to make it highly extendable with little specification change.
However, when trying to implement MetaComputation such as NAT traversal, extension is difficult at present and redesign was found to be desirable.
Along with that, I thought that improving counterintuitive API of Alice should guarantee type consistency and improve reliability.

In this research, we designed the distributed framework Christie based on the findings obtained with Alice.
Christie realizes highly reliable programming with a simple description by using Java Annotation for API.
Also, by enabling multiple Data Gear Managers to be launched, we responded to expansion such as NAT traversal.

\end{abstract_eng}