# HG changeset patch # User Shinji KONO # Date 1238039637 -32400 # Node ID 8e30bfb5deb646599e5661b1156422a84cd4d407 # Parent f1214f4b5933f1df64806cc6212bce26881591c5 done. diff -r f1214f4b5933 -r 8e30bfb5deb6 fig/reMerge.bb --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/fig/reMerge.bb Thu Mar 26 12:53:57 2009 +0900 @@ -0,0 +1,5 @@ +%%Title: ./reMerge.pdf +%%Creator: ebb Version 0.5.2 +%%BoundingBox: 0 0 528 583 +%%CreationDate: Sat Feb 7 23:06:31 2009 + diff -r f1214f4b5933 -r 8e30bfb5deb6 fig/reMerge.graffle --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/fig/reMerge.graffle Thu Mar 26 12:53:57 2009 +0900 @@ -0,0 +1,1748 @@ + + + + + CanvasColor + + w + 1 + + ColumnAlign + 1 + ColumnSpacing + 36 + CreationDate + 2008-08-29 23:01:39 +0900 + Creator + 宮城健太 + GraphDocumentVersion + 4 + GraphicsList + + + Class + LineGraphic + ID + 35 + Labels + + + Label + + Align + 0 + Text + {\rtf1\ansi\ansicpg932\cocoartf949\cocoasubrtf430 +{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural + +\f0\fs24 \cf0 new command} + + LabelVisible + YES + Offset + 10.909090042114258 + Position + 0.52006888389587402 + + + Points + + {379.76, 355.41} + {530, 356} + + Style + + stroke + + Color + + b + 0 + g + 0 + r + 1 + + HeadArrow + StickArrow + HeadScale + 1.4285709857940674 + Pattern + 1 + TailArrow + 0 + TailScale + 0.5 + + + Tail + + ID + 22 + Info + 3 + + + + Class + LineGraphic + ID + 34 + Labels + + + Label + + Align + 0 + Text + {\rtf1\ansi\ansicpg932\cocoartf949\cocoasubrtf430 +{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural + +\f0\fs24 \cf0 SessionManager\ +lock} + + LabelVisible + YES + Offset + 0.0 + Position + 0.33185839653015137 + + + Points + + {494, 149} + {494, 601} + + Style + + stroke + + HeadArrow + NegativeControls + HopLines + + TailArrow + NegativeControls + + + + + Bounds + {{387, 550.299}, {84, 14}} + Class + ShapedGraphic + FitText + YES + Flow + Resize + ID + 33 + Shape + Rectangle + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Color + + b + 1 + g + 0 + r + 0 + + Draws + NO + + + Text + + Align + 0 + Text + {\rtf1\ansi\ansicpg932\cocoartf949\cocoasubrtf430 +{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;\red0\green0\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural + +\f0\fs24 \cf2 check conflict} + + TextPlacement + 0 + Wrap + NO + + + Class + LineGraphic + Head + + ID + 31 + Info + 2 + + ID + 32 + Labels + + + Label + + Align + 0 + Text + {\rtf1\ansi\ansicpg932\cocoartf949\cocoasubrtf430 +{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;\red0\green0\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural + +\f0\fs24 \cf2 returned commands} + + LabelVisible + YES + Offset + 10.909090042114258 + Position + 0.54792100191116333 + + + Points + + {172.587, 508.756} + {362.76, 546.669} + + Style + + stroke + + Color + + b + 1 + g + 0 + r + 0 + + HeadArrow + StickArrow + HeadScale + 1.4285709857940674 + TailArrow + 0 + TailScale + 0.5 + + + Tail + + ID + 27 + + + + Bounds + {{362.76, 536.039}, {17, 42.5197}} + Class + ShapedGraphic + HFlip + YES + ID + 31 + Magnets + + {1, 0.5} + {1, -0.5} + {-1, 0.5} + {-1, -0.5} + {0.5, 1} + {-0.5, 1} + {0.5, -1} + {-0.5, -1} + + Shape + Rectangle + Style + + stroke + + Color + + b + 1 + g + 0 + r + 0 + + + + Text + + Align + 0 + + + + Bounds + {{85.707, 491.126}, {62, 14}} + Class + ShapedGraphic + FitText + YES + Flow + Resize + ID + 30 + Shape + Rectangle + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Color + + b + 1 + g + 0 + r + 0 + + Draws + NO + + + Text + + Align + 0 + Text + {\rtf1\ansi\ansicpg932\cocoartf949\cocoasubrtf430 +{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural + +\f0\fs24 \cf0 do merge} + + TextPlacement + 0 + Wrap + NO + + + Bounds + {{85.707, 310.78}, {62, 14}} + Class + ShapedGraphic + FitText + YES + Flow + Resize + ID + 29 + Shape + Rectangle + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Color + + b + 1 + g + 0 + r + 0 + + Draws + NO + + + Text + + Align + 0 + Text + {\rtf1\ansi\ansicpg932\cocoartf949\cocoasubrtf430 +{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural + +\f0\fs24 \cf0 do merge} + + TextPlacement + 0 + Wrap + NO + + + Class + LineGraphic + Head + + ID + 27 + Info + 4 + + ID + 28 + Labels + + + Label + + Align + 0 + Text + {\rtf1\ansi\ansicpg932\cocoartf949\cocoasubrtf430 +{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;\red0\green0\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural + +\f0\fs24 \cf2 remerge commands} + + LabelVisible + YES + Offset + 10.909090042114258 + Position + 0.54792100191116333 + + + Points + + {362.76, 451.583} + {172.587, 487.496} + + Style + + stroke + + Color + + b + 1 + g + 0 + r + 0 + + HeadArrow + StickArrow + HeadScale + 1.4285709857940674 + TailArrow + 0 + TailScale + 0.5 + + + Tail + + ID + 24 + Info + 1 + + + + Bounds + {{155.587, 476.866}, {17, 42.5197}} + Class + ShapedGraphic + HFlip + YES + ID + 27 + Magnets + + {1, 0.5} + {1, -0.5} + {-1, 0.5} + {-1, -0.5} + {0.5, 1} + {-0.5, 1} + {0.5, -1} + {-0.5, -1} + + Shape + Rectangle + Style + + stroke + + Color + + b + 1 + g + 0 + r + 0 + + + + Text + + Align + 0 + + + + Bounds + {{387, 433.953}, {84, 14}} + Class + ShapedGraphic + FitText + YES + Flow + Resize + ID + 26 + Shape + Rectangle + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Color + + b + 1 + g + 0 + r + 0 + + Draws + NO + + + Text + + Align + 0 + Text + {\rtf1\ansi\ansicpg932\cocoartf949\cocoasubrtf430 +{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;\red0\green0\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural + +\f0\fs24 \cf2 check conflict} + + TextPlacement + 0 + Wrap + NO + + + Class + LineGraphic + Head + + ID + 24 + Info + 2 + + ID + 25 + Labels + + + Label + + Align + 0 + Text + {\rtf1\ansi\ansicpg932\cocoartf949\cocoasubrtf430 +{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural + +\f0\fs24 \cf0 returned command} + + LabelVisible + YES + Offset + 10.909090042114258 + Position + 0.37674525380134583 + + + Points + + {172.587, 328.41} + {362.76, 430.323} + + Style + + stroke + + HeadArrow + StickArrow + HeadScale + 1.4285709857940674 + TailArrow + 0 + TailScale + 0.5 + + + Tail + + ID + 17 + + + + Bounds + {{362.76, 419.693}, {17, 42.5197}} + Class + ShapedGraphic + HFlip + YES + ID + 24 + Magnets + + {1, 0.5} + {1, -0.5} + {-1, 0.5} + {-1, -0.5} + {0.5, 1} + {-0.5, 1} + {0.5, -1} + {-0.5, -1} + + Shape + Rectangle + Style + + stroke + + Color + + b + 1 + g + 0 + r + 0 + + + + Text + + Align + 0 + + + + Class + LineGraphic + Head + + ID + 22 + Info + 2 + + ID + 23 + Labels + + + Label + + Align + 0 + Text + {\rtf1\ansi\ansicpg932\cocoartf949\cocoasubrtf430 +{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;\red255\green0\blue0;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural + +\f0\fs24 \cf2 new command} + + LabelVisible + YES + Offset + 10.909090042114258 + Position + 0.70848053693771362 + + + Points + + {172.587, 256.736} + {362.76, 334.15} + + Style + + stroke + + Color + + b + 0 + g + 0 + r + 1 + + HeadArrow + StickArrow + HeadScale + 1.4285709857940674 + TailArrow + 0 + TailScale + 0.5 + + + Tail + + ID + 19 + + + + Bounds + {{362.76, 323.52}, {17, 42.5197}} + Class + ShapedGraphic + HFlip + YES + ID + 22 + Magnets + + {1, 0.5} + {1, -0.5} + {-1, 0.5} + {-1, -0.5} + {0.5, 1} + {-0.5, 1} + {0.5, -1} + {-0.5, -1} + + Shape + Rectangle + Style + + stroke + + Color + + b + 0 + g + 0 + r + 1 + + + + Text + + Align + 0 + + + + Class + LineGraphic + Head + + ID + 19 + Info + 2 + + ID + 21 + Labels + + + Label + + Align + 0 + Text + {\rtf1\ansi\ansicpg932\cocoartf949\cocoasubrtf430 +{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural + +\f0\fs24 \cf0 edit} + + LabelVisible + YES + Offset + 10.909090042114258 + Position + 0.52006888389587402 + + + Points + + {67.913, 235.91} + {155.587, 235.476} + + Style + + stroke + + Color + + b + 0 + g + 0 + r + 1 + + HeadArrow + StickArrow + HeadScale + 1.4285709857940674 + TailArrow + 0 + TailScale + 0.5 + + + Tail + + ID + 20 + Info + 3 + + + + Bounds + {{50.913, 204.02}, {17, 42.5197}} + Class + ShapedGraphic + HFlip + YES + ID + 20 + Magnets + + {1, 0.5} + {1, -0.5} + {-1, 0.5} + {-1, -0.5} + {0.5, 1} + {-0.5, 1} + {0.5, -1} + {-0.5, -1} + + Shape + Rectangle + Style + + stroke + + Color + + b + 0 + g + 0 + r + 1 + + + + Text + + Align + 0 + + + + Bounds + {{155.587, 224.846}, {17, 42.5197}} + Class + ShapedGraphic + HFlip + YES + ID + 19 + Magnets + + {1, 0.5} + {1, -0.5} + {-1, 0.5} + {-1, -0.5} + {0.5, 1} + {-0.5, 1} + {0.5, -1} + {-0.5, -1} + + Shape + Rectangle + Style + + stroke + + Color + + b + 0 + g + 0 + r + 1 + + + + Text + + Align + 0 + + + + Class + LineGraphic + Head + + ID + 17 + Info + 4 + + ID + 18 + Labels + + + Label + + Align + 0 + Text + {\rtf1\ansi\ansicpg932\cocoartf949\cocoasubrtf430 +{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural + +\f0\fs24 \cf0 merge commands} + + LabelVisible + YES + Offset + 10.909090042114258 + Position + 0.37674525380134583 + + + Points + + {362.76, 245.236} + {172.587, 307.15} + + Style + + stroke + + HeadArrow + StickArrow + HeadScale + 1.4285709857940674 + TailArrow + 0 + TailScale + 0.5 + + + Tail + + ID + 14 + Info + 1 + + + + Bounds + {{155.587, 296.52}, {17, 42.5197}} + Class + ShapedGraphic + HFlip + YES + ID + 17 + Magnets + + {1, 0.5} + {1, -0.5} + {-1, 0.5} + {-1, -0.5} + {0.5, 1} + {-0.5, 1} + {0.5, -1} + {-0.5, -1} + + Shape + Rectangle + Text + + Align + 0 + + + + Bounds + {{393, 227.606}, {72, 14}} + Class + ShapedGraphic + FitText + YES + Flow + Resize + ID + 16 + Shape + Rectangle + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Color + + b + 1 + g + 0 + r + 0 + + Draws + NO + + + Text + + Align + 0 + Text + {\rtf1\ansi\ansicpg932\cocoartf949\cocoasubrtf430 +{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural + +\f0\fs24 \cf0 merge start} + + TextPlacement + 0 + Wrap + NO + + + Class + LineGraphic + Head + + ID + 14 + Info + 2 + + ID + 15 + Points + + {172.587, 185.063} + {362.76, 223.976} + + Style + + stroke + + HeadArrow + StickArrow + HeadScale + 1.4285709857940674 + TailArrow + 0 + TailScale + 0.5 + + + Tail + + ID + 11 + + + + Bounds + {{362.76, 213.346}, {17, 42.5197}} + Class + ShapedGraphic + HFlip + YES + ID + 14 + Magnets + + {1, 0.5} + {1, -0.5} + {-1, 0.5} + {-1, -0.5} + {0.5, 1} + {-0.5, 1} + {0.5, -1} + {-0.5, -1} + + Shape + Rectangle + Text + + Align + 0 + + + + Class + LineGraphic + Head + + ID + 11 + Info + 4 + + ID + 13 + Labels + + + Label + + Align + 0 + Text + {\rtf1\ansi\ansicpg932\cocoartf949\cocoasubrtf430 +{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural + +\f0\fs24 \cf0 start-merge} + + LabelVisible + YES + Offset + 10.909090042114258 + Position + 0.52006888389587402 + + + Points + + {362.76, 131.63} + {172.587, 163.803} + + Style + + stroke + + HeadArrow + StickArrow + HeadScale + 1.4285709857940674 + TailArrow + 0 + TailScale + 0.5 + + + Tail + + ID + 10 + Info + 2 + + + + Class + LineGraphic + Head + + ID + 10 + Info + 4 + + ID + 12 + Labels + + + Label + + Align + 0 + Text + {\rtf1\ansi\ansicpg932\cocoartf949\cocoasubrtf430 +{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural + +\f0\fs24 \cf0 returned command} + + LabelVisible + YES + Offset + 10.909090042114258 + Position + 0.52006888389587402 + + + Points + + {538, 132} + {379.76, 131.63} + + Style + + stroke + + HeadArrow + StickArrow + HeadScale + 1.4285709857940674 + Pattern + 1 + TailArrow + 0 + TailScale + 0.5 + + + + + Bounds + {{155.587, 153.173}, {17, 42.5197}} + Class + ShapedGraphic + HFlip + YES + ID + 11 + Magnets + + {1, 0.5} + {1, -0.5} + {-1, 0.5} + {-1, -0.5} + {0.5, 1} + {-0.5, 1} + {0.5, -1} + {-0.5, -1} + + Shape + Rectangle + Text + + Align + 0 + + + + Bounds + {{362.76, 121}, {17, 42.5197}} + Class + ShapedGraphic + HFlip + YES + ID + 10 + Magnets + + {1, 0.5} + {1, -0.5} + {-1, 0.5} + {-1, -0.5} + {0.5, 1} + {-0.5, 1} + {0.5, -1} + {-0.5, -1} + + Shape + Rectangle + Text + + Align + 0 + + + + Class + Group + Graphics + + + Class + LineGraphic + ID + 8 + Points + + {371.26, 72} + {371.26, 615} + + Style + + stroke + + HeadArrow + 0 + HeadScale + 1.4285709857940674 + Pattern + 1 + TailArrow + 0 + TailScale + 0.5 + + + Tail + + ID + 9 + + + + Bounds + {{318.52, 58}, {105.48, 14}} + Class + ShapedGraphic + FitText + Vertical + Flow + Resize + ID + 9 + Shape + Rectangle + Text + + Text + {\rtf1\ansi\ansicpg932\cocoartf949\cocoasubrtf430 +{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural + +\f0\b\fs24 \cf0 \ul \ulc0 SessionManager} + + + + ID + 7 + + + Class + Group + Graphics + + + Class + LineGraphic + ID + 5 + Points + + {59.4134, 72} + {59.413, 615} + + Style + + stroke + + HeadArrow + 0 + HeadScale + 1.4285709857940674 + Pattern + 1 + TailArrow + 0 + TailScale + 0.5 + + + Tail + + ID + 6 + + + + Bounds + {{41, 58}, {36.8268, 14}} + Class + ShapedGraphic + FitText + Vertical + Flow + Resize + ID + 6 + Shape + Rectangle + Text + + Text + {\rtf1\ansi\ansicpg932\cocoartf949\cocoasubrtf430 +{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural + +\f0\b\fs24 \cf0 \ul \ulc0 User} + + + + ID + 4 + + + Class + Group + Graphics + + + Class + LineGraphic + ID + 2 + Points + + {164.086, 72} + {164.087, 615} + + Style + + stroke + + HeadArrow + 0 + HeadScale + 1.4285709857940674 + Pattern + 1 + TailArrow + 0 + TailScale + 0.5 + + + Tail + + ID + 3 + + + + Bounds + {{140.173, 58}, {47.8268, 14}} + Class + ShapedGraphic + FitText + Vertical + Flow + Resize + ID + 3 + Shape + Rectangle + Text + + Text + {\rtf1\ansi\ansicpg932\cocoartf949\cocoasubrtf430 +{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural + +\f0\b\fs24 \cf0 \ul \ulc0 Editor} + + + + ID + 1 + + + GridInfo + + GridSpacing + 14.17322826385498 + MajorGridSpacing + 10 + + GuidesLocked + NO + GuidesVisible + YES + HPages + 1 + ImageCounter + 1 + IsPalette + NO + Layers + + + Lock + NO + Name + Layer 1 + Print + YES + View + YES + + + LayoutInfo + + ChildOrdering + 0 + + LinksVisible + NO + MagnetsVisible + NO + ModificationDate + 2009-02-08 00:08:15 +0900 + Modifier + 宮城健太 + Orientation + 2 + PageBreaks + YES + PageSetup + + BAt0eXBlZHN0cmVhbYED6IQBQISEhAtOU1ByaW50SW5mbwGEhAhOU09iamVjdACFkoSE + hBNOU011dGFibGVEaWN0aW9uYXJ5AISEDE5TRGljdGlvbmFyeQCUhAFpFpKEhIQITlNT + dHJpbmcBlIQBKxROU1ZlcnRpY2FsUGFnaW5hdGlvboaShISECE5TTnVtYmVyAISEB05T + VmFsdWUAlIQBKoSXlwCGkoSZmRlOU1ByaW50UmV2ZXJzZU9yaWVudGF0aW9uhpKakoSZ + mRZOU0hvcml6b250YWxseUNlbnRlcmVkhpKEm5ydlwGGkoSZmQhOU0NvcGllc4aSoJKE + mZkUTlNWZXJ0aWNhbGx5Q2VudGVyZWSGkqCShJmZC05TRmlyc3RQYWdlhpKgkoSZmQ9O + U1NjYWxpbmdGYWN0b3KGkoSbnISEAWSdAYaShJmZDU5TSm9iRmVhdHVyZXOGkoSWlwCG + koSZmQtOU1RvcE1hcmdpboaShJucpp0AhpKEmZkQTlNKb2JEaXNwb3NpdGlvboaShJmZ + D05TUHJpbnRTcG9vbEpvYoaShJmZD05TUGFnZXNQZXJTaGVldIaSoJKEmZkPTlNQcmlu + dEFsbFBhZ2VzhpKakoSZmQ5OU0JvdHRvbU1hcmdpboaShJucpp0AhpKEmZkKTlNMYXN0 + UGFnZYaShJucnZeCf////4aShJmZDU5TT3JpZW50YXRpb26GkpqShJmZFU5TSG9yaXpv + bmFsUGFnaW5hdGlvboaSmpKEmZkNTlNSaWdodE1hcmdpboaShJucpp0AhpKEmZkMTlNM + ZWZ0TWFyZ2luhpKEm5ymnQCGkoSZmQtOU1BhcGVyTmFtZYaShJmZBmlzby1hNIaShJmZ + Dk5TUE1QYWdlRm9ybWF0hpKEhIQNTlNNdXRhYmxlRGF0YQCEhAZOU0RhdGEAlJeBFSeE + B1s1NDE1Y108P3htbCB2ZXJzaW9uPSIxLjAiIGVuY29kaW5nPSJVVEYtOCI/Pgo8IURP + Q1RZUEUgcGxpc3QgUFVCTElDICItLy9BcHBsZS8vRFREIFBMSVNUIDEuMC8vRU4iICJo + dHRwOi8vd3d3LmFwcGxlLmNvbS9EVERzL1Byb3BlcnR5TGlzdC0xLjAuZHRkIj4KPHBs + aXN0IHZlcnNpb249IjEuMCI+CjxkaWN0PgoJPGtleT5jb20uYXBwbGUucHJpbnQuUGFn + ZUZvcm1hdC5QTUhvcml6b250YWxSZXM8L2tleT4KCTxkaWN0PgoJCTxrZXk+Y29tLmFw + cGxlLnByaW50LnRpY2tldC5jcmVhdG9yPC9rZXk+CgkJPHN0cmluZz5jb20uYXBwbGUu + am9idGlja2V0PC9zdHJpbmc+CgkJPGtleT5jb20uYXBwbGUucHJpbnQudGlja2V0Lml0 + ZW1BcnJheTwva2V5PgoJCTxhcnJheT4KCQkJPGRpY3Q+CgkJCQk8a2V5PmNvbS5hcHBs + ZS5wcmludC5QYWdlRm9ybWF0LlBNSG9yaXpvbnRhbFJlczwva2V5PgoJCQkJPHJlYWw+ + NzI8L3JlYWw+CgkJCQk8a2V5PmNvbS5hcHBsZS5wcmludC50aWNrZXQuc3RhdGVGbGFn + PC9rZXk+CgkJCQk8aW50ZWdlcj4wPC9pbnRlZ2VyPgoJCQk8L2RpY3Q+CgkJPC9hcnJh + eT4KCTwvZGljdD4KCTxrZXk+Y29tLmFwcGxlLnByaW50LlBhZ2VGb3JtYXQuUE1Pcmll + bnRhdGlvbjwva2V5PgoJPGRpY3Q+CgkJPGtleT5jb20uYXBwbGUucHJpbnQudGlja2V0 + LmNyZWF0b3I8L2tleT4KCQk8c3RyaW5nPmNvbS5hcHBsZS5qb2J0aWNrZXQ8L3N0cmlu + Zz4KCQk8a2V5PmNvbS5hcHBsZS5wcmludC50aWNrZXQuaXRlbUFycmF5PC9rZXk+CgkJ + PGFycmF5PgoJCQk8ZGljdD4KCQkJCTxrZXk+Y29tLmFwcGxlLnByaW50LlBhZ2VGb3Jt + YXQuUE1PcmllbnRhdGlvbjwva2V5PgoJCQkJPGludGVnZXI+MTwvaW50ZWdlcj4KCQkJ + CTxrZXk+Y29tLmFwcGxlLnByaW50LnRpY2tldC5zdGF0ZUZsYWc8L2tleT4KCQkJCTxp + bnRlZ2VyPjA8L2ludGVnZXI+CgkJCTwvZGljdD4KCQk8L2FycmF5PgoJPC9kaWN0PgoJ + PGtleT5jb20uYXBwbGUucHJpbnQuUGFnZUZvcm1hdC5QTVNjYWxpbmc8L2tleT4KCTxk + aWN0PgoJCTxrZXk+Y29tLmFwcGxlLnByaW50LnRpY2tldC5jcmVhdG9yPC9rZXk+CgkJ + PHN0cmluZz5jb20uYXBwbGUuam9idGlja2V0PC9zdHJpbmc+CgkJPGtleT5jb20uYXBw + bGUucHJpbnQudGlja2V0Lml0ZW1BcnJheTwva2V5PgoJCTxhcnJheT4KCQkJPGRpY3Q+ + CgkJCQk8a2V5PmNvbS5hcHBsZS5wcmludC5QYWdlRm9ybWF0LlBNU2NhbGluZzwva2V5 + PgoJCQkJPHJlYWw+MTwvcmVhbD4KCQkJCTxrZXk+Y29tLmFwcGxlLnByaW50LnRpY2tl + dC5zdGF0ZUZsYWc8L2tleT4KCQkJCTxpbnRlZ2VyPjA8L2ludGVnZXI+CgkJCTwvZGlj + dD4KCQk8L2FycmF5PgoJPC9kaWN0PgoJPGtleT5jb20uYXBwbGUucHJpbnQuUGFnZUZv + cm1hdC5QTVZlcnRpY2FsUmVzPC9rZXk+Cgk8ZGljdD4KCQk8a2V5PmNvbS5hcHBsZS5w + cmludC50aWNrZXQuY3JlYXRvcjwva2V5PgoJCTxzdHJpbmc+Y29tLmFwcGxlLmpvYnRp + Y2tldDwvc3RyaW5nPgoJCTxrZXk+Y29tLmFwcGxlLnByaW50LnRpY2tldC5pdGVtQXJy + YXk8L2tleT4KCQk8YXJyYXk+CgkJCTxkaWN0PgoJCQkJPGtleT5jb20uYXBwbGUucHJp + bnQuUGFnZUZvcm1hdC5QTVZlcnRpY2FsUmVzPC9rZXk+CgkJCQk8cmVhbD43MjwvcmVh + bD4KCQkJCTxrZXk+Y29tLmFwcGxlLnByaW50LnRpY2tldC5zdGF0ZUZsYWc8L2tleT4K + CQkJCTxpbnRlZ2VyPjA8L2ludGVnZXI+CgkJCTwvZGljdD4KCQk8L2FycmF5PgoJPC9k + aWN0PgoJPGtleT5jb20uYXBwbGUucHJpbnQuUGFnZUZvcm1hdC5QTVZlcnRpY2FsU2Nh + bGluZzwva2V5PgoJPGRpY3Q+CgkJPGtleT5jb20uYXBwbGUucHJpbnQudGlja2V0LmNy + ZWF0b3I8L2tleT4KCQk8c3RyaW5nPmNvbS5hcHBsZS5qb2J0aWNrZXQ8L3N0cmluZz4K + CQk8a2V5PmNvbS5hcHBsZS5wcmludC50aWNrZXQuaXRlbUFycmF5PC9rZXk+CgkJPGFy + cmF5PgoJCQk8ZGljdD4KCQkJCTxrZXk+Y29tLmFwcGxlLnByaW50LlBhZ2VGb3JtYXQu + UE1WZXJ0aWNhbFNjYWxpbmc8L2tleT4KCQkJCTxyZWFsPjE8L3JlYWw+CgkJCQk8a2V5 + PmNvbS5hcHBsZS5wcmludC50aWNrZXQuc3RhdGVGbGFnPC9rZXk+CgkJCQk8aW50ZWdl + cj4wPC9pbnRlZ2VyPgoJCQk8L2RpY3Q+CgkJPC9hcnJheT4KCTwvZGljdD4KCTxrZXk+ + Y29tLmFwcGxlLnByaW50LnN1YlRpY2tldC5wYXBlcl9pbmZvX3RpY2tldDwva2V5PgoJ + PGRpY3Q+CgkJPGtleT5jb20uYXBwbGUucHJpbnQuUGFnZUZvcm1hdC5QTUFkanVzdGVk + UGFnZVJlY3Q8L2tleT4KCQk8ZGljdD4KCQkJPGtleT5jb20uYXBwbGUucHJpbnQudGlj + a2V0LmNyZWF0b3I8L2tleT4KCQkJPHN0cmluZz5jb20uYXBwbGUuam9idGlja2V0PC9z + dHJpbmc+CgkJCTxrZXk+Y29tLmFwcGxlLnByaW50LnRpY2tldC5pdGVtQXJyYXk8L2tl + eT4KCQkJPGFycmF5PgoJCQkJPGRpY3Q+CgkJCQkJPGtleT5jb20uYXBwbGUucHJpbnQu + UGFnZUZvcm1hdC5QTUFkanVzdGVkUGFnZVJlY3Q8L2tleT4KCQkJCQk8YXJyYXk+CgkJ + CQkJCTxyZWFsPjAuMDwvcmVhbD4KCQkJCQkJPHJlYWw+MC4wPC9yZWFsPgoJCQkJCQk8 + cmVhbD43ODM8L3JlYWw+CgkJCQkJCTxyZWFsPjU1OTwvcmVhbD4KCQkJCQk8L2FycmF5 + PgoJCQkJCTxrZXk+Y29tLmFwcGxlLnByaW50LnRpY2tldC5zdGF0ZUZsYWc8L2tleT4K + CQkJCQk8aW50ZWdlcj4wPC9pbnRlZ2VyPgoJCQkJPC9kaWN0PgoJCQk8L2FycmF5PgoJ + CTwvZGljdD4KCQk8a2V5PmNvbS5hcHBsZS5wcmludC5QYWdlRm9ybWF0LlBNQWRqdXN0 + ZWRQYXBlclJlY3Q8L2tleT4KCQk8ZGljdD4KCQkJPGtleT5jb20uYXBwbGUucHJpbnQu + dGlja2V0LmNyZWF0b3I8L2tleT4KCQkJPHN0cmluZz5jb20uYXBwbGUuam9idGlja2V0 + PC9zdHJpbmc+CgkJCTxrZXk+Y29tLmFwcGxlLnByaW50LnRpY2tldC5pdGVtQXJyYXk8 + L2tleT4KCQkJPGFycmF5PgoJCQkJPGRpY3Q+CgkJCQkJPGtleT5jb20uYXBwbGUucHJp + bnQuUGFnZUZvcm1hdC5QTUFkanVzdGVkUGFwZXJSZWN0PC9rZXk+CgkJCQkJPGFycmF5 + PgoJCQkJCQk8cmVhbD4tMTg8L3JlYWw+CgkJCQkJCTxyZWFsPi0xODwvcmVhbD4KCQkJ + CQkJPHJlYWw+ODI0PC9yZWFsPgoJCQkJCQk8cmVhbD41Nzc8L3JlYWw+CgkJCQkJPC9h + cnJheT4KCQkJCQk8a2V5PmNvbS5hcHBsZS5wcmludC50aWNrZXQuc3RhdGVGbGFnPC9r + ZXk+CgkJCQkJPGludGVnZXI+MDwvaW50ZWdlcj4KCQkJCTwvZGljdD4KCQkJPC9hcnJh + eT4KCQk8L2RpY3Q+CgkJPGtleT5jb20uYXBwbGUucHJpbnQuUGFwZXJJbmZvLlBNUGFw + ZXJOYW1lPC9rZXk+CgkJPGRpY3Q+CgkJCTxrZXk+Y29tLmFwcGxlLnByaW50LnRpY2tl + dC5jcmVhdG9yPC9rZXk+CgkJCTxzdHJpbmc+Y29tLmFwcGxlLmpvYnRpY2tldDwvc3Ry + aW5nPgoJCQk8a2V5PmNvbS5hcHBsZS5wcmludC50aWNrZXQuaXRlbUFycmF5PC9rZXk+ + CgkJCTxhcnJheT4KCQkJCTxkaWN0PgoJCQkJCTxrZXk+Y29tLmFwcGxlLnByaW50LlBh + cGVySW5mby5QTVBhcGVyTmFtZTwva2V5PgoJCQkJCTxzdHJpbmc+aXNvLWE0PC9zdHJp + bmc+CgkJCQkJPGtleT5jb20uYXBwbGUucHJpbnQudGlja2V0LnN0YXRlRmxhZzwva2V5 + PgoJCQkJCTxpbnRlZ2VyPjA8L2ludGVnZXI+CgkJCQk8L2RpY3Q+CgkJCTwvYXJyYXk+ + CgkJPC9kaWN0PgoJCTxrZXk+Y29tLmFwcGxlLnByaW50LlBhcGVySW5mby5QTVVuYWRq + dXN0ZWRQYWdlUmVjdDwva2V5PgoJCTxkaWN0PgoJCQk8a2V5PmNvbS5hcHBsZS5wcmlu + dC50aWNrZXQuY3JlYXRvcjwva2V5PgoJCQk8c3RyaW5nPmNvbS5hcHBsZS5qb2J0aWNr + ZXQ8L3N0cmluZz4KCQkJPGtleT5jb20uYXBwbGUucHJpbnQudGlja2V0Lml0ZW1BcnJh + eTwva2V5PgoJCQk8YXJyYXk+CgkJCQk8ZGljdD4KCQkJCQk8a2V5PmNvbS5hcHBsZS5w + cmludC5QYXBlckluZm8uUE1VbmFkanVzdGVkUGFnZVJlY3Q8L2tleT4KCQkJCQk8YXJy + YXk+CgkJCQkJCTxyZWFsPjAuMDwvcmVhbD4KCQkJCQkJPHJlYWw+MC4wPC9yZWFsPgoJ + CQkJCQk8cmVhbD43ODM8L3JlYWw+CgkJCQkJCTxyZWFsPjU1OTwvcmVhbD4KCQkJCQk8 + L2FycmF5PgoJCQkJCTxrZXk+Y29tLmFwcGxlLnByaW50LnRpY2tldC5zdGF0ZUZsYWc8 + L2tleT4KCQkJCQk8aW50ZWdlcj4wPC9pbnRlZ2VyPgoJCQkJPC9kaWN0PgoJCQk8L2Fy + cmF5PgoJCTwvZGljdD4KCQk8a2V5PmNvbS5hcHBsZS5wcmludC5QYXBlckluZm8uUE1V + bmFkanVzdGVkUGFwZXJSZWN0PC9rZXk+CgkJPGRpY3Q+CgkJCTxrZXk+Y29tLmFwcGxl + LnByaW50LnRpY2tldC5jcmVhdG9yPC9rZXk+CgkJCTxzdHJpbmc+Y29tLmFwcGxlLmpv + YnRpY2tldDwvc3RyaW5nPgoJCQk8a2V5PmNvbS5hcHBsZS5wcmludC50aWNrZXQuaXRl + bUFycmF5PC9rZXk+CgkJCTxhcnJheT4KCQkJCTxkaWN0PgoJCQkJCTxrZXk+Y29tLmFw + cGxlLnByaW50LlBhcGVySW5mby5QTVVuYWRqdXN0ZWRQYXBlclJlY3Q8L2tleT4KCQkJ + CQk8YXJyYXk+CgkJCQkJCTxyZWFsPi0xODwvcmVhbD4KCQkJCQkJPHJlYWw+LTE4PC9y + ZWFsPgoJCQkJCQk8cmVhbD44MjQ8L3JlYWw+CgkJCQkJCTxyZWFsPjU3NzwvcmVhbD4K + CQkJCQk8L2FycmF5PgoJCQkJCTxrZXk+Y29tLmFwcGxlLnByaW50LnRpY2tldC5zdGF0 + ZUZsYWc8L2tleT4KCQkJCQk8aW50ZWdlcj4wPC9pbnRlZ2VyPgoJCQkJPC9kaWN0PgoJ + CQk8L2FycmF5PgoJCTwvZGljdD4KCQk8a2V5PmNvbS5hcHBsZS5wcmludC5QYXBlcklu + Zm8ucHBkLlBNUGFwZXJOYW1lPC9rZXk+CgkJPGRpY3Q+CgkJCTxrZXk+Y29tLmFwcGxl + LnByaW50LnRpY2tldC5jcmVhdG9yPC9rZXk+CgkJCTxzdHJpbmc+Y29tLmFwcGxlLmpv + YnRpY2tldDwvc3RyaW5nPgoJCQk8a2V5PmNvbS5hcHBsZS5wcmludC50aWNrZXQuaXRl + bUFycmF5PC9rZXk+CgkJCTxhcnJheT4KCQkJCTxkaWN0PgoJCQkJCTxrZXk+Y29tLmFw + cGxlLnByaW50LlBhcGVySW5mby5wcGQuUE1QYXBlck5hbWU8L2tleT4KCQkJCQk8c3Ry + aW5nPkE0PC9zdHJpbmc+CgkJCQkJPGtleT5jb20uYXBwbGUucHJpbnQudGlja2V0LnN0 + YXRlRmxhZzwva2V5PgoJCQkJCTxpbnRlZ2VyPjA8L2ludGVnZXI+CgkJCQk8L2RpY3Q+ + CgkJCTwvYXJyYXk+CgkJPC9kaWN0PgoJCTxrZXk+Y29tLmFwcGxlLnByaW50LnRpY2tl + dC5BUElWZXJzaW9uPC9rZXk+CgkJPHN0cmluZz4wMC4yMDwvc3RyaW5nPgoJCTxrZXk+ + Y29tLmFwcGxlLnByaW50LnRpY2tldC50eXBlPC9rZXk+CgkJPHN0cmluZz5jb20uYXBw + bGUucHJpbnQuUGFwZXJJbmZvVGlja2V0PC9zdHJpbmc+Cgk8L2RpY3Q+Cgk8a2V5PmNv + bS5hcHBsZS5wcmludC50aWNrZXQuQVBJVmVyc2lvbjwva2V5PgoJPHN0cmluZz4wMC4y + MDwvc3RyaW5nPgoJPGtleT5jb20uYXBwbGUucHJpbnQudGlja2V0LnR5cGU8L2tleT4K + CTxzdHJpbmc+Y29tLmFwcGxlLnByaW50LlBhZ2VGb3JtYXRUaWNrZXQ8L3N0cmluZz4K + PC9kaWN0Pgo8L3BsaXN0PgqGkoSZmQtOU1BhcGVyU2l6ZYaShJychIQMe19OU1NpemU9 + ZmZ9oYECU4EDSoaShJmZEk5TUmV2ZXJzZVBhZ2VPcmRlcoaSmoaG + + ReadOnly + NO + RowAlign + 1 + RowSpacing + 36 + SheetTitle + Canvas 1 + SmartAlignmentGuidesActive + YES + SmartDistanceGuidesActive + YES + UseEntirePage + + VPages + 1 + WindowInfo + + CurrentSheet + 0 + Frame + {{2, 57}, {574, 881}} + ShowRuler + + ShowStatusBar + + VisibleRegion + {{0, 0}, {559, 783}} + Zoom + 1 + + + diff -r f1214f4b5933 -r 8e30bfb5deb6 fig/reMerge.pdf Binary file fig/reMerge.pdf has changed diff -r f1214f4b5933 -r 8e30bfb5deb6 rep-verify-sigos.ind --- a/rep-verify-sigos.ind Thu Mar 26 10:31:47 2009 +0900 +++ b/rep-verify-sigos.ind Thu Mar 26 12:53:57 2009 +0900 @@ -11,7 +11,7 @@ 一方で、プロトコル自体がかなり複雑になったので、プロトコルの正しさ及び、プロトコル実装の正しさを検証する必要が出て来た。 -プロトコル検証では、Java PathFinder\cite{javapathfinder}の +プロトコル検証では、Java PathFinder\cite{havelund98model}の有効性が知られているが、それを用いるために、ソケット通信をThread間の同期で実現するライブラリを作成した。また、Editor側の実装の正しさの検証及びデバッグのために、 @@ -41,7 +41,7 @@ 変更の伝播の遅延は容認する。また、 \underline{小人数向け}の共有とする。遅延を容認するために、 \underline{遠距離でも使用可能}となる。また、オープンソースとして実装し、 -\underline{教育用途}に向いている。特に、XP (eXtreme Programming) \cite{xp} +\underline{教育用途}に向いている。特に、XP (eXtreme Programming) \cite{bib:xp} における\underline{Pair Programming}での使用を意識しているので、 \underline{Emacs/vim/Eclipseの相互接続}を重視する。将来的には、動的な変更を可能とする @@ -141,7 +141,7 @@ 付加されてSMに送られる。したがって、{\tt user\_delete}と {\tt user\_insert}と見掛け上対称となる。 -全文置換なども{\tt user\_inert, user_delete}に分解する必要が +全文置換なども{\tt user\_inert, user\_delete}に分解する必要があり、その分解はEditorによって行なわれる。REPは歴史的理由で行指向のプロトコルであり、行指向でないEditorでも行番号を付加する必要がある。 @@ -164,7 +164,7 @@ 手法を提案して来た。この方法(Merge Protocol (A))では自分のEditor Commandを相手に送り、戻って来るまでのEditor Commandをキューに入れておく。他のEditorのCommandを受け取った時には、その -キューと、そのCommandの可換性を調べて、キューを変更する\cite{}。 +キューと、そのCommandの可換性を調べて、キューを変更する\cite{kono04g}。しかし、この方法は、三つ以上のEditorの場合はうまく動作しない。そこで、以下のようなMerge Protocol (B)を導入する。(1) Editor Command @@ -218,7 +218,7 @@ あった場合は、その入力込みで、もう一度、ソートを実行すれば良い(b)。これはリマージと呼ばれる。 -

Merge 作業中には、他のSM/Editorからの入力をblockすることは問題ない。それは、もともと非同期で動作しており、遅延は許容されるように @@ -251,7 +251,7 @@ Editor $m$では、 \[ C_{m0} C_{x0} N_{00} .... N_{yz} \] などのコマンド列が実行されることになる。これを$C/N$の -区別のないコマンド記号(E_{ij})で置き換えよう。 +区別のないコマンド記号($E_{ij}$)で置き換えよう。 \[ E_{m0} E_{x0} E_{00} .... E_{yz} \] NOPの付加手順から、他のEditorが送ったCommandには、その前の他のEditorからのCommandを @@ -299,7 +299,7 @@ プロトコルの実装の正しさは、実装言語であるJavaに深く依存するので、このように簡単に証明することは出来ない。そこで、 -モデル検査器であるJava PathFinder\cite{}を用いる。 +モデル検査器であるJava PathFinder\cite{havelund98model}を用いる。 --Protocol の実装 @@ -313,7 +313,6 @@ {\tt insert, delete} に分解する部分の実装が大半である。 Editor 側で実装する必要があるのは、表\ref{tb:sync}の機能である。 -\end{table} \begin{table}[htdp] \caption{Editor 側での実装} \begin{center} @@ -329,7 +328,7 @@ \hline 5 & 外部からのEditor Commandの非同期受け取りと実行 \\ \hline -6 & {\tt sync} Command を受け取った場合の{\tt user\_insert,user\_detele}の生成 +6 & {\tt sync} Command を受け取った場合の{\tt user\_insert,user\_detele}の生成 \\ \hline 7 & Merge 時のlock (optional) \\ \hline @@ -397,7 +396,7 @@ --比較 -類似のProject としては、GroupKit \cite{}, Soba Project\cite{} がある。 +類似のProject としては、GroupKit \cite{bib:groupkit}, Soba Project\cite{bib:soba} がある。 vim やEmacs などのOpen source editor の実装を含むのが、REPの特徴である。 @@ -411,7 +410,7 @@ GroupKit などで使われているマルチメディア編集の同期は、Masterが一つ存在し、それに対するCommandの発行と、MasterからのCommandの -マルチキャストで実現されている\cite{}。REPでは、マルチキャスト +マルチキャストで実現されている\cite{bib:ellis}。REPでは、マルチキャストではなく、Session ring によって同期を実現している。Ring は、遅く信頼性に欠ける部分があるが、ネットワークに対する負荷が軽いと言う特徴がある。(C)のMerge Protocolを使うことにより、 @@ -425,7 +424,7 @@ --最後に -このプロジェクトは、sourceforge を通じて公開\cite{}されており、まだ、 +このプロジェクトは、sourceforge を通じて公開\cite{rep-sourceforge}されており、まだ、開発途上となっている。残念ながら、実際のSession Manager 上でのJava Pathfinder での検証は diff -r f1214f4b5933 -r 8e30bfb5deb6 sigos.bbl --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/sigos.bbl Thu Mar 26 12:53:57 2009 +0900 @@ -0,0 +1,37 @@ +\begin{thebibliography}{1} + +\bibitem{bib:soba} +{}. +\newblock {SOBA Project}, March 2004. + +\bibitem{bib:ellis} +{C. A. Ellis and S. J. Gibbs }. +\newblock {Concurrency control in groupware systems}. +\newblock 1989. + +\bibitem{havelund98model} +K.~Havelund and T.~Pressburger. +\newblock Model checking java programs using java pathfinder, 1998. + +\bibitem{bib:groupkit} +Mark Roseman and Saul Greenberg. +\newblock {\em Building Real Time Groupware with GroupKit, A Groupware + Toolkit}. +\newblock 1996. + +\bibitem{rep-sourceforge} +{Shinji KONO}. +\newblock {rep}, Aug 2006. + +\bibitem{kono04g} +{安村恭一 and 河野真治(琉球大)}. +\newblock {巡回トークンを用いた複数人テキスト編集とセッション管理}. +\newblock 情報処理学会システムソフトウェアとオペレーティング・システム研究会, + June 2004. + +\bibitem{bib:xp} +長瀬嘉秀. +\newblock {\em eXtreme Programming}. +\newblock 日本XPユーザグループ関西支部, 2002. + +\end{thebibliography} diff -r f1214f4b5933 -r 8e30bfb5deb6 sigos.tex --- a/sigos.tex Thu Mar 26 10:31:47 2009 +0900 +++ b/sigos.tex Thu Mar 26 12:53:57 2009 +0900 @@ -6,34 +6,32 @@ % ユーザが定義したマクロなど． \makeatletter +\bibliographystyle{jplain} % for bibliography + \begin{document} % 和文表題 -\title{Cell Task Manager Cerium のSPU内データ管理} +\title{Remote Editing Protocol の実装と検証} % 英文表題 -\etitle{} +\etitle{Implementation and verification of Remote Editing Protocol} % 所属ラベルの定義 \affilabel{1}{琉球大学理工学研究科情報工学専攻 \\Interdisciplinary Infomation Engineering, Graduate School of Engineering and Science, University of the Ryukyus.} \affilabel{2}{琉球大学工学部情報工学科\\Infomation Engineering, University of the Ryukyus.} -\affilabel{3}{琉球大学理工学研究科情報工学専攻 \\Interdisciplinary Infomation Engineering, Graduate School of Engineering and Science, University of the Ryukyus.} -\affilabel{4}{琉球大学工学部情報工学科\\Infomation Engineering, University of the Ryukyus.} % 和文著者名 \author{ - 多賀野海人\affiref{4}\and - 宮國渡\affiref{1}\and - 河野真治\affiref{2}\and - 小林佑亮\affiref{4} + 与儀健人\affiref{1}\and + 宮城健太\affiref{1}\and + 河野真治\affiref{2} } % 英文著者名 \eauthor{ - Kaito TAGANO\affiref{4}\and - Wataru MIYAGUNI\affiref{1}\and - Shinji KONO\affiref{2}\and - Yusuke KOBAYASHI\affiref{4} + Kento YOGI\affiref{1}\and + Kenta MIYAGI\affiref{1}\and + Shinji KONO\affiref{2} } % 連絡先（投稿時に必要．製版用では無視される．） @@ -41,26 +39,24 @@ 〒903-0213 沖縄県西原町千原1番地\\ 琉球大学工学部情報工学科\\ TEL: (098)895-2221\qquad FAX: (098)895-8727\\ - email: gongo@cr.ie.u-ryukyu.ac.jp} + email: kono@ie.u-ryukyu.ac.jp} % 和文概要 \begin{abstract} -PlayStation 3 では、 -搭載されている Linux を用いてゲームを開発することができるが、 -GPU の詳細が公開されていないため、 -Frame Buffer 上に描画する必要がある。 -Frame Buffer 上の描画は非常に低速である。 -本研究では Cell 用の Task Manager を実装し、 -Frame Buffer 上で高速な 3D Graphics Renderer を開発する。 +本研究室が提案するRemoteEditingProtocol(REP)は、異なるホスト +にあるアプリケーション同士による協調したデータ編集を可能にす +るプロトコルである。しかしREPは複雑なプロトコルを用いている +ため、その検証による動作の保証が不可欠となる。 +本研究ではREPの主要なプロトコル部を抜き出し、JavaPathFinder +を用いてその検証を行う。 \end{abstract} % 英文概要 \begin{eabstract} -In PS3, the game can be developed by using installed Linux. -However, because details of GPU are unpublished, -it is necessary to draw on Frame Buffer. -Drawing on Frame Buffer is very low-speed. -In this research, we implement Task Manager for Cell and -develop 3D Graphics Renderer high-speed on Frame Buffer. +Remote Editing Protocol what we have suggested makes applications +possible to concertedly edit any data with one another. Because this +protocol is very difficult, verification of the progoram is important. +So in this paper, we extracted the core program of the protocol and +verified it using JavaPathFinder. \end{eabstract} % 表題などの出力 @@ -68,19 +64,9 @@ % 本文はここから始まる -\input{introduction} % 研究目的 -\input{cell} % Cell -\input{cerium} % Cerium -\input{texture} % 開発過程 -\input{compare} % 評価と考察 -\input{conclusion} % まとめ +\input{0} -\nocite{kono} -\nocite{libspe2} -\bibliographystyle{ipsjunsrt} -\bibliography{sigos} - -%\input{bibliography} % 参考文献 +\bibliography{ref} \end{document}