# HG changeset patch
# User Shinji KONO <kono@ie.u-ryukyu.ac.jp>
# Date 1237642491 -32400
# Node ID e3f7ff6dc6405eec319bdf1739c855df09fe192c
# Parent  5de476fabbbcc3d24dbc66cb76286558ff54fcb8
add

diff -r 5de476fabbbc -r e3f7ff6dc640 rep-verify-sigos.ind
--- a/rep-verify-sigos.ind	Sat Mar 21 19:14:32 2009 +0900
+++ b/rep-verify-sigos.ind	Sat Mar 21 22:34:51 2009 +0900
@@ -2,3 +2,62 @@
 
 --author: 与儀健人, 宮城健太, 河野真治
 
+--Remote Editing Protocol の設計方針
+
+--Protocol の構成
+
+---Session managerの導入
+
+---Session managerの接続protocol
+
+sm_join
+
+session manager id
+
+---Session 接続 protocol
+
+session id
+
+editor id
+
+join/put
+
+select
+
+---Editor Command
+
+---Merge Protocol
+
+point to point
+
+merge ring ( nop の挿入)
+
+merge ring ( ack の導入)
+
+---Merge のSession Managerへの移動
+
+非同期merge時の衝突解消
+
+Editor のlock
+
+--Protocol の正しさ
+
+Merge Protocol の正しさの証明
+
+--Protocol の実装
+
+Session Manager
+
+Ecplise Plug-in
+
+Emacs 
+
+Vim
+
+--Socket Simulator
+
+Java Pathfinder による検証
+
+--検証とデバッグ
+
+--比較