\chapter{謝辞}-\hspace{1zw}本研究の遂行、また本論文の作成にあたり、ご多忙にも関わらず終始懇切なる御指導と御教授を賜わりました河野真治助教授に深く感謝したします。+\hspace{1zw}本研究の遂行、また本論文の作成にあたり、ご多忙にも関わらず終始懇切なる御指導と御教授を賜わりました河野真治准教授に深く感謝したします。数々の貴重な御助言と技術的指導を戴いた杉本優さん、比嘉健太さん、伊波立樹さん、並びに並列信頼研究室の皆様に感謝いたします。<li>当研究室が開発している並列分散フレームワークAliceではスケーラブルな分散プログラムを信頼性高く記述できる環境を実現する。<li>ここで言う信頼性とは定められた環境下で安定して仕様に従った動作を行うことを指す。いう単位で分割して記述するプログラミング手法を採用している。<li>Aliceでは、処理をComputationとMetaComputationに階層化し、コアな仕様と複雑な例外処理に分離する。<li>Aliceでは、ComputationとMetaComputationに階層化し、コアな仕様と複雑な例外処理に分離する。Alice上に実用的な分散アプリケーションが制作できることを示すために画面配信システムTreeVNCを構築する。Computationとして実装した。<li>もとのTreeVNCとの比較を行うことでMetaComputationの役割と有効性を示す。いう単位に分割して依存関係を記述することでプログラミングを行う。DS(出力されるDS)を持つ。<li>CSはkeyで指定されたDSが揃うと実行されるという性質を持つ。<li>CSはkeyで指定されたDSが全て揃うと実行されるという性質を持つ。継承することでDSを操作するためのAPIを利用して依存関係を記述することができる。Manager)により管理されており、CSはDSに対応する一意のkeyを使ってDSを操作する。