\section{ はじめに}

本研究室では、vim、Emacs、Ecpliseを相互接続するプロトコルを提案して来た。
今回は、Session Manager を導入することにより、より単純なユーザインタフェース
を実現するとともに、複雑なプロトコルをSession Manager側に閉じ込めて、
Editor側の実装の手間を軽くすることを提案する。

一方で、プロトコル自体がかなり複雑になったので、プロトコルの正しさ
及び、プロトコル実装の正しさを検証する必要が出て来た。
プロトコル検証では、Java PathFinder\cite{havelund98model}の
有効性が知られているが、それを用いるために、ソケット
通信をThread間の同期で実現するライブラリを作成した。
また、Editor側の実装の正しさの検証及びデバッグのために、
テスト用のEditorを作成した。