ビューワの概観
本研究報告では，分散アプリケーションを解析し，振る舞いを視覚的に表現する
ことによって分散アプリケーションの開発時のデバッグを支援するツールを提案する．
分散アプリケーションはネットワークで接続された複数の計算機上で動作するサ
ブシステムから構成されていて，サブシステムは相互に通信を行う．
個々のサブシステムは他のサブシステムからの要求を待ち受ける必要がある．
分散アプリケーションを複数の計算機で動作させた時に発生する非決定性および
サブシステム間の通信の同期問題を解決するためには，プログラムそのものに対
する解析の他に，動的な解析を行うことが必要である．
そこで分散アプリケーションの振る舞いをモデル化し，視覚的に表示するツール
を提案する．
サブシステム内のスレッドと，スレッド間の通信に着目したモデルを用いて
分散アプリケーションの振る舞いを時間軸に沿って模式的に表示する．
本ツールは分散アプリケーション全体の振る舞いを表示するので，分散アプリケー
ションを開発する時にサブシステム内の挙動を視覚的に観測できる．
本ツールによって分散アプリケーションの実行において正しくない動作をするス
レッドを特定できるようになり，分散環境におけるデバッグ作業の効率が向上す
る．