# HG changeset patch # User Nobuyasu Oshiro # Date 1366818865 -32400 # Node ID 8f6f7a50299aef918954481f0c1b0c89f7321e29 # Parent 1078c7d96eb18ce8b989c8832fc048d648168146 modified slide diff -r 1078c7d96eb1 -r 8f6f7a50299a presen/index.html --- a/presen/index.html Wed Apr 24 23:36:21 2013 +0900 +++ b/presen/index.html Thu Apr 25 00:54:25 2013 +0900 @@ -32,10 +32,13 @@

+
ディペンダブルシステムのための木構造を用いた合意形成データベースの提案と実装 -
+

+ +

琉球大学大城信康
@@ -43,69 +46,48 @@

- - -

研究の背景と目的

ITシステムが巨大化していくにつれ、障害発生時例が社会に与える影響もより大きな物となる。
それに伴い、ITシステムにおけるディペンダビリティへの注目が増している。
そこでDEOSプロジェクトはITシステムにおけるディペンダビリティを担保する技術体系をまとめ、制度化、更には事業化を目指している。
DEOSプロジェクトは、変化しつづける目的や環境の中でシステムを適切に対応させ、継続的にユーザが求めるサービスを提供するシステム構築法の開発を - 目標としている。
DEOSプロジェクトではそれらの技術体系を「オープンシステムディペンダビリティ」として定義し、それをDEOSプロセスとしてまとめた。
ITシステムが巨大化していくにつれ、障害発生時例が社会に与える影響は大
DEOSプロジェクトはITシステムにおけるディペンダビリティを担保する技術体系をまとめ、制度化、更には事業化を目指しているCRESTのプロジェクト
変化しつづける目的や環境の中でシステムを適切に対応させ、継続的にユーザが求めるサービスを提供するシステム構築法、DEOSプロセスの開発を目標

研究の背景と目的

DEOS(Dependability Engineering for Open Systems)

DEOSプロセスにおいて、全てのデータを保持するD-ADDと呼ばれるデータベースがある。
D-ADDで扱うデータにはステークホルダ間で合意された契約書も含まれる。そのため、D-ADDに基本ツールとして合意形成支援ツールが必要である。
本研究では、D-ADDで行われる合意形成のモデルを提案しツールのプロトタイプの実装を行う。
また、実際に例題の入力を行い、D-ADDにおける合意形成のあり方についての追求を行う。

- -

DEOSプロセス

DEOS(Dependability Engineering for Open Systems)

変化対応サイクル：ステークホルダの目的の変化や、各種外部環境の変化に対応するためのサイクル
障害対応サイクル：障害に対して迅速に対応して障害による被害を最小化するためのサイクル
D-ADDにはDEOSプロセスで扱うデータがはいる

+ +

DEOSプロセスとD-ADD

D-ADDはDEOSプロセスで扱われるデータ、システムのログ、契約書、ソースコードといったものを保持するデータベース
D-ADDで扱うデータにはステークホルダ間で合意された契約書も含まれる。そのため、D-ADDに基本ツールとして合意形成支援ツールが必要
本研究では、D-ADDで行われる合意形成のモデルを提案しツールのプロトタイプの実装を行う。
また、実際に例題の入力を行い、D-ADDにおける合意形成のあり方についての分析を行った。

D-ADD(DEOS Agreement Description Database)

D-ADDはステークホルダ合意と対象のシステムに依存するプログラム・コード、 - 及び対象システムの運用状態との間の一貫性を常に保つための機構を提供する。

基本ツール層：D-ADDにおける基本ツール
モデル層：基本ツール層で扱うデータのモデルの定義
リポジトリ層：D-ADDで扱うデータベース
基本ツール層：D-ADDにおける基本ツール。Webアプリケーションとして合意形成支援を実装
モデル層：基本ツール層で扱うデータのモデルの定義。議論のモデルを実装
リポジトリ層：D-ADDで扱うデータベース。GraphDBを使って実装

@@ -122,7 +104,7 @@

モデルの提案

合意形成機能の提案、実装

合意を取るためのモデルを提案する
提案するモデル

合意状態の計算

提案するモデルにおいて主張を合意させるには、合意要求を出している全員から合意を受ける必要がある
子となる主張がある場合、関係次第では子となる主張の合意状態も親の主張の合意状態に影響を与える
主張を合意させるには、合意要求を出している全員から合意を受ける必要がある
子供となる主張がある場合、関係次第では子となる主張の合意状態も親の主張の合意状態に影響を与える
各関係の主張が与える合意状態への影響についての説明は以下となる

反論：反論となる子の主張が合意された場合親の主張は合意されない。反論の主張は否認しなければならない。

主張のモデル

Webアプリケーションのユースケース図

D-ADDでの合意形成支援は、議論だけでなく主張単体ののモデルについても考える。
議論のモデルとは別に主張単体のモデルについても考える
今回はトゥールミンモデルに従った主張も行えるようにした

- -

トゥールミンモデルだけでなく、他の主張モデルも使えるように考えていくつもりである。

Webアプリケーションの実装

Webアプリケーションのユースケース図

モデルの実装に使用するデータベース

モデルの実装に使用したデータベース

議論は木構造で表される。木構造は閉路の無いグラフである
そこで今回モデルの実装にGraphDBのTinkerGraphを使用する

合意状態の計算

合意状態に影響を与える子の主張がある場合の計算
以下の2点

反論の関係で繋がっている子の主張は全て否認の状態になっていなければならない
質問の関係で繋がっている子の主張は全て合意の状態になっていなければならない

それぞれエッジを辿り子となる主張ノードの合意状態をみにいくようにする
提案の関係は、合意状態に影響を及ぼさないため考慮する必要はない

時系列ごとにみられる議論と合意状態

合意形成が行われる様子を時系列でみたい

redmineとの比較

合意形成支援Webアプリケーションでの表示

redmineと合意形成支援Webアプリケーションの表示を比べる
redmineではチケットと呼ばれる単位でプロジェクトの管理が行われる
チケットには子チケットや関連するチケットを登録することができる
琉球大学情報工学科のシステム管理班が実際に行った作業を入力する

+ +

各主張のつながりが分かりやすい

redmineはチケットによりプロジェクトを管理する
親チケットのbldsvをリフレッシュする、と子チケットのセカンダリDNSサーバをたてる、の繋がりがわかりづらい

合意形成支援Webアプリケーションでの表示

- -

各チケット(主張)のつながりが分かりやすい

- -

時系列にみることの有用性

議論を行ううちに、一度は合意されたが否認され、また合意されるとった主張がでてくるかもしれない
議論のモデルを考えWebアプリケーションとして合意形成支援ツールの実装を行い D-ADDにおける合意形成支援についての追求を行った
木構造のモデルの提案とGraphDBを用いた実装を行った
実際に作成したWebアプリケーションにデータを入力し、redmineに入力した場合と比較した
実際に作成したWebアプリケーションに大学のサーバ管理班の作業となるデータを入力し、redmineに入力した場合と比較した
redmineで入力した場合に比べ、各主張同士の関係がみやすいことを確認した
時系列的に流れをみることで、合意までの議論の流れがより分かりやすくなり、合意全体の理解を支援できる可能性を見ることができた
本システムを使うことにより、DEOSプロセスにおける説明責任を明確にするためのツールを提供することができた

diff -r 1078c7d96eb1 -r 8f6f7a50299a presen/omni/d_add.graffle --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/presen/omni/d_add.graffle Thu Apr 25 00:54:25 2013 +0900 @@ -0,0 +1,599 @@ + + + + + ActiveLayerIndex + 0 + ApplicationVersion + + com.omnigroup.OmniGraffle + 139.16.0.171715 + + AutoAdjust + + BackgroundGraphic + + Bounds + {{0, 0}, {559, 783}} + Class + SolidGraphic + ID + 2 + Style + + shadow + + Draws + NO + + stroke + + Draws + NO + + + + BaseZoom + 0 + CanvasOrigin + {0, 0} + ColumnAlign + 1 + ColumnSpacing + 36 + CreationDate + 2013-03-27 22:00:37 +0000 + Creator + Nobuyasu Oshiro + DisplayScale + 1 0/72 in = 1.0000 in + GraphDocumentVersion + 8 + GraphicsList + + + Bounds + {{226.5, 281}, {108.5, 21}} + Class + ShapedGraphic + ID + 16 + Magnets + + {1, 1} + {1, -1} + {-1, -1} + {-1, 1} + {0, 1} + {0, -1} + {1, 0} + {-1, 0} + {-0.5, -0.233518} + {-0.49144199999999999, 0.26006299999999999} + {0.50711799999999996, -0.22408600000000001} + {0.50711799999999996, 0.267179} + {-0.27431, -0.474028} + {0.27977999999999997, -0.47847800000000001} + {0.29393799999999998, 0.54304399999999997} + {-0.28623199999999999, 0.55380399999999996} + + Shape + Rectangle + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf510 +{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc + +\f0\fs24 \cf0 GraphDB\ +Key/Value Store\ +\'83\'68\'83\'4c\'83\'85\'83\'81\'83\'93\'83\'67DB} + VerticalPad + 0 + + + + Bounds + {{105.5, 264}, {93, 21}} + Class + ShapedGraphic + ID + 15 + Magnets + + {1, 1} + {1, -1} + {-1, -1} + {-1, 1} + {0, 1} + {0, -1} + {1, 0} + {-1, 0} + {-0.5, -0.233518} + {-0.49144199999999999, 0.26006299999999999} + {0.50711799999999996, -0.22408600000000001} + {0.50711799999999996, 0.267179} + {-0.27431, -0.474028} + {0.27977999999999997, -0.47847800000000001} + {0.29393799999999998, 0.54304399999999997} + {-0.28623199999999999, 0.55380399999999996} + + Shape + Rectangle + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf510 +{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc + +\f0\fs26 \cf0 \ul \ulc0 \'83\'8a\'83\'7c\'83\'57\'83\'67\'83\'8a\'91\'77} + VerticalPad + 0 + + + + Bounds + {{105.5, 262}, {242, 55}} + Class + ShapedGraphic + ID + 14 + Shape + Rectangle + + + Bounds + {{224, 211}, {93, 21}} + Class + ShapedGraphic + ID + 13 + Magnets + + {1, 1} + {1, -1} + {-1, -1} + {-1, 1} + {0, 1} + {0, -1} + {1, 0} + {-1, 0} + {-0.5, -0.233518} + {-0.49144199999999999, 0.26006299999999999} + {0.50711799999999996, -0.22408600000000001} + {0.50711799999999996, 0.267179} + {-0.27431, -0.474028} + {0.27977999999999997, -0.47847800000000001} + {0.29393799999999998, 0.54304399999999997} + {-0.28623199999999999, 0.55380399999999996} + + Shape + Rectangle + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf510 +{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc + +\f0\fs24 \cf0 D-Case\ +\'8b\'63\'98\'5f..etc...} + VerticalPad + 0 + + + + Bounds + {{103, 194}, {93, 21}} + Class + ShapedGraphic + ID + 12 + Magnets + + {1, 1} + {1, -1} + {-1, -1} + {-1, 1} + {0, 1} + {0, -1} + {1, 0} + {-1, 0} + {-0.5, -0.233518} + {-0.49144199999999999, 0.26006299999999999} + {0.50711799999999996, -0.22408600000000001} + {0.50711799999999996, 0.267179} + {-0.27431, -0.474028} + {0.27977999999999997, -0.47847800000000001} + {0.29393799999999998, 0.54304399999999997} + {-0.28623199999999999, 0.55380399999999996} + + Shape + Rectangle + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf510 +{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc + +\f0\fs26 \cf0 \ul \ulc0 \'83\'82\'83\'66\'83\'8b\'91\'77} + VerticalPad + 0 + + + + Bounds + {{108, 192}, {242, 55}} + Class + ShapedGraphic + ID + 11 + Shape + Rectangle + + + Bounds + {{224, 141}, {93, 21}} + Class + ShapedGraphic + ID + 9 + Magnets + + {1, 1} + {1, -1} + {-1, -1} + {-1, 1} + {0, 1} + {0, -1} + {1, 0} + {-1, 0} + {-0.5, -0.233518} + {-0.49144199999999999, 0.26006299999999999} + {0.50711799999999996, -0.22408600000000001} + {0.50711799999999996, 0.267179} + {-0.27431, -0.474028} + {0.27977999999999997, -0.47847800000000001} + {0.29393799999999998, 0.54304399999999997} + {-0.28623199999999999, 0.55380399999999996} + + Shape + Rectangle + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf510 +{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc + +\f0\fs24 \cf0 \'8c\'5f\'96\'f1\'8f\'91\'8d\'ec\'90\'ac\ +\'8d\'87\'88\'d3\'8c\'60\'90\'ac\'8e\'78\'89\'87\ +\'83\'82\'83\'6a\'83\'5e\'83\'8a\'83\'93\'83\'4f} + VerticalPad + 0 + + + + Bounds + {{103, 124}, {93, 21}} + Class + ShapedGraphic + ID + 5 + Magnets + + {1, 1} + {1, -1} + {-1, -1} + {-1, 1} + {0, 1} + {0, -1} + {1, 0} + {-1, 0} + {-0.5, -0.233518} + {-0.49144199999999999, 0.26006299999999999} + {0.50711799999999996, -0.22408600000000001} + {0.50711799999999996, 0.267179} + {-0.27431, -0.474028} + {0.27977999999999997, -0.47847800000000001} + {0.29393799999999998, 0.54304399999999997} + {-0.28623199999999999, 0.55380399999999996} + + Shape + Rectangle + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf510 +{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc + +\f0\fs26 \cf0 \ul \ulc0 \'8a\'ee\'96\'7b\'83\'63\'81\'5b\'83\'8b\'91\'77} + VerticalPad + 0 + + + + Bounds + {{108, 122}, {242, 55}} + Class + ShapedGraphic + ID + 7 + Shape + Rectangle + + + GridInfo + + GuidesLocked + NO + GuidesVisible + YES + HPages + 1 + ImageCounter + 1 + KeepToScale + + Layers + + + Lock + NO + Name + Layer 1 + Print + YES + View + YES + + + LayoutInfo + + Animate + NO + circoMinDist + 18 + circoSeparation + 0.0 + layoutEngine + dot + neatoSeparation + 0.0 + twopiSeparation + 0.0 + + LinksVisible + NO + MagnetsVisible + NO + MasterSheets + + ModificationDate + 2013-04-24 15:44:45 +0000 + Modifier + Nobuyasu Oshiro + NotesVisible + NO + Orientation + 2 + OriginVisible + NO + PageBreaks + YES + PrintInfo + + NSBottomMargin + + float + 41 + + NSHorizonalPagination + + coded + BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG + + NSLeftMargin + + float + 18 + + NSPaperSize + + size + {595, 842} + + NSPrintReverseOrientation + + int + 0 + + NSRightMargin + + float + 18 + + NSTopMargin + + float + 18 + + + PrintOnePage + + ReadOnly + NO + RowAlign + 1 + RowSpacing + 36 + SheetTitle + Canvas 1 + SmartAlignmentGuidesActive + YES + SmartDistanceGuidesActive + YES + UniqueID + 1 + UseEntirePage + + VPages + 1 + WindowInfo + + CurrentSheet + 0 + ExpandedCanvases + + + name + Canvas 1 + + + Frame + {{700, 112}, {693, 922}} + ListView + + OutlineWidth + 142 + RightSidebar + + ShowRuler + + Sidebar + + SidebarWidth + 120 + VisibleRegion + {{0, 0}, {558, 783}} + Zoom + 1 + ZoomValues + + + Canvas 1 + 1 + 1 + + + + + diff -r 1078c7d96eb1 -r 8f6f7a50299a presen/omni/usecase.graffle --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/presen/omni/usecase.graffle Thu Apr 25 00:54:25 2013 +0900 @@ -0,0 +1,766 @@ + + + + + ActiveLayerIndex + 0 + ApplicationVersion + + com.omnigroup.OmniGraffle + 139.16.0.171715 + + AutoAdjust + + BackgroundGraphic + + Bounds + {{0, 0}, {559, 783}} + Class + SolidGraphic + ID + 2 + Style + + shadow + + Draws + NO + + stroke + + Draws + NO + + + + BaseZoom + 0 + CanvasOrigin + {0, 0} + ColumnAlign + 1 + ColumnSpacing + 36 + CreationDate + 2013-03-30 14:45:02 +0000 + Creator + Nobuyasu Oshiro + DisplayScale + 1 0/72 in = 1.0000 in + GraphDocumentVersion + 8 + GraphicsList + + + AllowLabelDrop + + Class + LineGraphic + Head + + ID + 11 + + ID + 33 + Points + + {229.09146139383532, 369.39618250591246} + {129, 294.80034942241764} + + Style + + stroke + + HeadArrow + 0 + Legacy + + TailArrow + 0 + + + Tail + + ID + 28 + + + + AllowLabelDrop + + Class + LineGraphic + ID + 32 + Points + + {220.99429849120841, 317.66686002807518} + {121, 279} + + Style + + stroke + + HeadArrow + 0 + Legacy + + TailArrow + 0 + + + Tail + + ID + 27 + + + + AllowLabelDrop + + Class + LineGraphic + Head + + ID + 11 + + ID + 31 + Points + + {184.49996249422708, 270.49999313215716} + {129, 270.49999313215716} + + Style + + stroke + + HeadArrow + 0 + Legacy + + TailArrow + 0 + + + Tail + + ID + 26 + + + + AllowLabelDrop + + Class + LineGraphic + Head + + ID + 11 + + ID + 30 + Points + + {215.43199819297888, 225.79188796989371} + {129, 258.24109403671389} + + Style + + stroke + + HeadArrow + 0 + Legacy + + TailArrow + 0 + + + Tail + + ID + 29 + + + + AllowLabelDrop + + Class + LineGraphic + Head + + ID + 11 + + ID + 13 + Points + + {225.0108963193567, 178.24588559499568} + {129.00000000000003, 247.11654493458224} + + Style + + stroke + + HeadArrow + 0 + Legacy + + TailArrow + 0 + + + Tail + + ID + 12 + + + + Bounds + {{199, 192}, {109, 39}} + Class + ShapedGraphic + ID + 29 + Shape + Circle + Style + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf510 +{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc + +\f0\fs24 \cf0 \'8e\'e5\'92\'a3\'82\'f0\'82\'dd\'82\'e9} + VerticalPad + 0 + + + + Bounds + {{199, 366.5}, {119.5, 50}} + Class + ShapedGraphic + ID + 28 + Shape + Circle + Style + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf510 +{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc + +\f0\fs24 \cf0 \'8d\'87\'88\'d3\'8f\'f3\'8b\'b5\'82\'f0\'8a\'6d\'94\'46\'82\'b7\'82\'e9} + VerticalPad + 0 + + + + Bounds + {{200.25, 313.25}, {119.5, 39}} + Class + ShapedGraphic + ID + 27 + Shape + Circle + Style + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf510 +{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc + +\f0\fs24 \cf0 \'8d\'87\'88\'d3\'81\'45\'94\'db\'94\'46\'82\'b7\'82\'e9} + VerticalPad + 0 + + + + Bounds + {{185, 242}, {150, 57}} + Class + ShapedGraphic + ID + 26 + Shape + Circle + Style + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf510 +{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc + +\f0\fs24 \cf0 \'82\'a0\'82\'e9\'8e\'e5\'92\'a3\'82\'c9\'93\'a5\'82\'dd\'8d\'9e\'82\'de\'95\'ca\'82\'cc\'8e\'e5\'92\'a3\'82\'f0\'97\'a7\'82\'c4\'82\'e9} + VerticalPad + 0 + + + + Bounds + {{195.25, 141}, {109, 39}} + Class + ShapedGraphic + ID + 12 + Shape + Circle + Style + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf510 +{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc + +\f0\fs24 \cf0 \'8e\'e5\'92\'a3\'82\'f0\'82\'bd\'82\'c4\'82\'e9} + VerticalPad + 0 + + + + Bounds + {{150, 123}, {220, 310}} + Class + ShapedGraphic + ID + 1 + Shape + Rectangle + Style + + fill + + Color + + b + 0.950192 + g + 0.950192 + r + 0.950192 + + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf510 +{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc + +\f0\b\fs24 \cf0 \'8d\'87\'88\'d3\'8c\'60\'90\'ac\'8e\'78\'89\'87\'83\'56\'83\'58\'83\'65\'83\'80} + VerticalPad + 0 + + TextPlacement + 0 + + + Class + Group + Graphics + + + Bounds + {{64, 301.5}, {65, 18}} + Class + ShapedGraphic + ID + 3 + Shape + Rectangle + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf510 +{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc + +\f0\b\fs24 \cf0 \'93\'96\'8e\'96\'8e\'d2} + VerticalPad + 0 + + + + Class + Group + Graphics + + + AllowLabelDrop + + Class + LineGraphic + ID + 5 + Points + + {118.16666666666666, 257} + {96.499999999999986, 257} + + Style + + stroke + + HeadArrow + 0 + Legacy + + TailArrow + 0 + + + + + AllowLabelDrop + + Class + LineGraphic + ID + 6 + Points + + {96.499999999999943, 257} + {74.833333333333286, 257} + + Style + + stroke + + HeadArrow + 0 + Legacy + + TailArrow + 0 + + + + + AllowLabelDrop + + Class + LineGraphic + ID + 7 + Points + + {96.499999999999986, 275} + {107.33333333333334, 302} + + Style + + stroke + + HeadArrow + 0 + Legacy + + TailArrow + 0 + + + + + AllowLabelDrop + + Class + LineGraphic + ID + 8 + Points + + {96.499999999999986, 275} + {85.666666666666686, 302} + + Style + + stroke + + HeadArrow + 0 + Legacy + + TailArrow + 0 + + + + + AllowConnections + NO + AllowLabelDrop + + AllowToConnect + + Class + LineGraphic + ID + 9 + Points + + {96.499999999999986, 248} + {96.499999999999986, 275} + + Style + + stroke + + HeadArrow + 0 + Legacy + + TailArrow + 0 + + + + + Bounds + {{85.666666666666671, 230}, {21.666666666666664, 18}} + Class + ShapedGraphic + ID + 10 + Shape + Circle + Style + + + + ID + 4 + + + Bounds + {{64, 221}, {65, 99}} + Class + ShapedGraphic + ID + 11 + Shape + Rectangle + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Draws + NO + + + + + ID + 20 + + + GridInfo + + GuidesLocked + NO + GuidesVisible + YES + HPages + 1 + ImageCounter + 1 + KeepToScale + + Layers + + + Lock + NO + Name + Layer 1 + Print + YES + View + YES + + + LayoutInfo + + Animate + NO + circoMinDist + 18 + circoSeparation + 0.0 + layoutEngine + dot + neatoSeparation + 0.0 + twopiSeparation + 0.0 + + LinksVisible + NO + MagnetsVisible + NO + MasterSheets + + ModificationDate + 2013-04-24 15:50:42 +0000 + Modifier + Nobuyasu Oshiro + NotesVisible + NO + Orientation + 2 + OriginVisible + NO + PageBreaks + YES + PrintInfo + + NSBottomMargin + + float + 41 + + NSHorizonalPagination + + coded + BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG + + NSLeftMargin + + float + 18 + + NSPaperSize + + size + {595, 842} + + NSPrintReverseOrientation + + int + 0 + + NSRightMargin + + float + 18 + + NSTopMargin + + float + 18 + + + PrintOnePage + + ReadOnly + NO + RowAlign + 1 + RowSpacing + 36 + SheetTitle + Canvas 1 + SmartAlignmentGuidesActive + YES + SmartDistanceGuidesActive + YES + UniqueID + 1 + UseEntirePage + + VPages + 1 + WindowInfo + + CurrentSheet + 0 + ExpandedCanvases + + + name + Canvas 1 + + + Frame + {{874, 124}, {693, 922}} + ListView + + OutlineWidth + 142 + RightSidebar + + ShowRuler + + Sidebar + + SidebarWidth + 120 + VisibleRegion + {{0, 0}, {558, 783}} + Zoom + 1 + ZoomValues + + + Canvas 1 + 1 + 1 + + + + + diff -r 1078c7d96eb1 -r 8f6f7a50299a presen/omni/usernode_sample.graffle --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/presen/omni/usernode_sample.graffle Thu Apr 25 00:54:25 2013 +0900 @@ -0,0 +1,568 @@ + + + + + ActiveLayerIndex + 0 + ApplicationVersion + + com.omnigroup.OmniGraffle + 139.16.0.171715 + + AutoAdjust + + BackgroundGraphic + + Bounds + {{0, 0}, {559, 783}} + Class + SolidGraphic + ID + 2 + Style + + shadow + + Draws + NO + + stroke + + Draws + NO + + + + BaseZoom + 0 + CanvasOrigin + {0, 0} + ColumnAlign + 1 + ColumnSpacing + 36 + CreationDate + 2013-04-24 08:59:20 +0000 + Creator + Nobuyasu Oshiro + DisplayScale + 1 0/72 in = 1 0/72 in + GraphDocumentVersion + 8 + GraphicsList + + + Bounds + {{312, 260}, {92, 52}} + Class + ShapedGraphic + ID + 30 + Magnets + + {1, 1} + {1, -1} + {-1, -1} + {-1, 1} + {0, 1} + {0, -1} + {1, 0} + {-1, 0} + {-0.5, -0.233518} + {-0.49144199999999999, 0.26006299999999999} + {0.50711799999999996, -0.22408600000000001} + {0.50711799999999996, 0.267179} + {-0.27431, -0.474028} + {0.27977999999999997, -0.47847800000000001} + {0.29393799999999998, 0.54304399999999997} + {-0.28623199999999999, 0.55380399999999996} + + Shape + Rectangle + Style + + shadow + + Draws + NO + + stroke + + CornerRadius + 9 + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf510 +{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc + +\f0\fs24 \cf0 \'83\'86\'81\'5b\'83\'552} + VerticalPad + 0 + + + + Bounds + {{312, 178}, {92, 52}} + Class + ShapedGraphic + ID + 28 + Magnets + + {1, 1} + {1, -1} + {-1, -1} + {-1, 1} + {0, 1} + {0, -1} + {1, 0} + {-1, 0} + {-0.5, -0.233518} + {-0.49144199999999999, 0.26006299999999999} + {0.50711799999999996, -0.22408600000000001} + {0.50711799999999996, 0.267179} + {-0.27431, -0.474028} + {0.27977999999999997, -0.47847800000000001} + {0.29393799999999998, 0.54304399999999997} + {-0.28623199999999999, 0.55380399999999996} + + Shape + Rectangle + Style + + shadow + + Draws + NO + + stroke + + CornerRadius + 9 + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf510 +{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc + +\f0\fs24 \cf0 \'83\'86\'81\'5b\'83\'551} + VerticalPad + 0 + + + + Bounds + {{100, 218}, {92, 52}} + Class + ShapedGraphic + ID + 27 + Magnets + + {1, 1} + {1, -1} + {-1, -1} + {-1, 1} + {0, 1} + {0, -1} + {1, 0} + {-1, 0} + {-0.5, -0.233518} + {-0.49144199999999999, 0.26006299999999999} + {0.50711799999999996, -0.22408600000000001} + {0.50711799999999996, 0.267179} + {-0.27431, -0.474028} + {0.27977999999999997, -0.47847800000000001} + {0.29393799999999998, 0.54304399999999997} + {-0.28623199999999999, 0.55380399999999996} + + Shape + Rectangle + Style + + shadow + + Draws + NO + + stroke + + CornerRadius + 9 + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf510 +{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc + +\f0\fs24 \cf0 \'8e\'e5\'92\'a31} + VerticalPad + 0 + + + + Bounds + {{187, 208}, {81, 18}} + Class + ShapedGraphic + ID + 9 + Magnets + + {1, 1} + {1, -1} + {-1, -1} + {-1, 1} + {0, 1} + {0, -1} + {1, 0} + {-1, 0} + {-0.5, -0.233518} + {-0.49144199999999999, 0.26006299999999999} + {0.50711799999999996, -0.22408600000000001} + {0.50711799999999996, 0.267179} + {-0.27431, -0.474028} + {0.27977999999999997, -0.47847800000000001} + {0.29393799999999998, 0.54304399999999997} + {-0.28623199999999999, 0.55380399999999996} + + Shape + Rectangle + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf510 +{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc + +\f0\fs24 \cf0 \'8d\'ec\'8e\'d2} + VerticalPad + 0 + + + + Bounds + {{231, 252}, {81, 18}} + Class + ShapedGraphic + ID + 6 + Magnets + + {1, 1} + {1, -1} + {-1, -1} + {-1, 1} + {0, 1} + {0, -1} + {1, 0} + {-1, 0} + {-0.5, -0.233518} + {-0.49144199999999999, 0.26006299999999999} + {0.50711799999999996, -0.22408600000000001} + {0.50711799999999996, 0.267179} + {-0.27431, -0.474028} + {0.27977999999999997, -0.47847800000000001} + {0.29393799999999998, 0.54304399999999997} + {-0.28623199999999999, 0.55380399999999996} + + Shape + Rectangle + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf510 +{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc + +\f0\fs24 \cf0 \'8d\'87\'88\'d3\'97\'76\'8b\'81} + VerticalPad + 0 + + + + Class + LineGraphic + Head + + ID + 28 + + ID + 29 + Points + + {192, 232.51108420525401} + {312.78733599999998, 217.52327600000001} + + Style + + stroke + + HeadArrow + FilledArrow + HeadScale + 1.4285709857940674 + Legacy + + TailArrow + 0 + TailScale + 0.5 + + + Tail + + ID + 27 + + + + Class + LineGraphic + Head + + ID + 30 + Info + 8 + + ID + 31 + Points + + {192, 244} + {312.00000000000034, 286} + + Style + + stroke + + HeadArrow + FilledArrow + HeadScale + 1.4285709857940674 + Legacy + + TailArrow + 0 + TailScale + 0.5 + + + Tail + + ID + 27 + Info + 7 + + + + GridInfo + + GuidesLocked + NO + GuidesVisible + YES + HPages + 1 + ImageCounter + 1 + KeepToScale + + Layers + + + Lock + NO + Name + Layer 1 + Print + YES + View + YES + + + LayoutInfo + + Animate + NO + circoMinDist + 18 + circoSeparation + 0.0 + layoutEngine + dot + neatoSeparation + 0.0 + twopiSeparation + 0.0 + + LinksVisible + NO + MagnetsVisible + NO + MasterSheets + + ModificationDate + 2013-04-24 08:59:56 +0000 + Modifier + Nobuyasu Oshiro + NotesVisible + NO + Orientation + 2 + OriginVisible + NO + PageBreaks + YES + PrintInfo + + NSBottomMargin + + float + 41 + + NSHorizonalPagination + + coded + BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG + + NSLeftMargin + + float + 18 + + NSPaperSize + + size + {595, 842} + + NSPrintReverseOrientation + + int + 0 + + NSRightMargin + + float + 18 + + NSTopMargin + + float + 18 + + + PrintOnePage + + ReadOnly + NO + RowAlign + 1 + RowSpacing + 36 + SheetTitle + Canvas 1 + SmartAlignmentGuidesActive + YES + SmartDistanceGuidesActive + YES + UniqueID + 1 + UseEntirePage + + VPages + 1 + WindowInfo + + CurrentSheet + 0 + ExpandedCanvases + + + name + Canvas 1 + + + Frame + {{713, 36}, {693, 922}} + ListView + + OutlineWidth + 142 + RightSidebar + + ShowRuler + + Sidebar + + SidebarWidth + 120 + VisibleRegion + {{0, 0}, {558, 783}} + Zoom + 1 + ZoomValues + + + Canvas 1 + 1 + 1 + + + + + diff -r 1078c7d96eb1 -r 8f6f7a50299a presen/pic/d_add.png Binary file presen/pic/d_add.png has changed diff -r 1078c7d96eb1 -r 8f6f7a50299a presen/pic/usecase.png Binary file presen/pic/usecase.png has changed

+ ディペンダブルシステムのための木構造を用いた合意形成データベースの提案と実装 - +