--- a/paper/introduciton.tex	Wed Feb 12 17:56:08 2014 +0900
+++ b/paper/introduciton.tex	Wed Feb 12 20:00:15 2014 +0900
@@ -1,10 +1,28 @@
 \chapter{研究背景と目的} \label{ch:introduction}
 \pagenumbering{arabic}
 
-　ITシステムが巨大化していくにつれ, 障害発生事例が社会に与える影響もより大きな物となる.
-それに伴い, ITシステムにおけるディペンダビリティへの注目が増している.
+　Web サービスの脆弱性狙った攻撃が頻繁に発生している。
+脆弱性を悪用されると、Web サービス運営者は賠償など多大な損害を受ける可能性がある。
+純粋関数型プログラミング言語 Haskell は, バッファオーバーフローや, クロスサイトスクリプティング, SQL インジェクションを事前の型検査で防ぐことができる. 
+つまり, Haskell を用いることで信頼性の高い Web サービスを開発できると言える. 
+
+本研究の目標は, Haskell を用いて信頼性の高い Web サービスおよびデータベースの開発である. 
+また, 並列実行で性能が線形に向上するスケーラビリティの達成を目指す. 
+Web サービス のスケーラビリティを実現するための難点の一つはデータベースであり, データベースは並列にデータにアクセスできる設計が必要となる. 
 
-そこで, DEOSプロジェクトはITシステムにおけるディペンダビリティを担保する技術体系をまとめ, 制度化, さらには事業化を目指している.
+本研究では並列にデータへアクセスする手法として, 非破壊的木構造を利用する. 
+非破壊的木構造では, 排他制御をせずにデータへアクセスすることが可能でありスケーラビリティを確保できる\cite{shoshi:2010a}\cite{shoshi:2011a}\cite{shoshi:2011b}. 
+
+実装した並列データベースの読み込みと書き込みについて性能を計測し, 
+読み込みに関して 12 コアで実行した場合,  1 コアで実行した場合と比較して, 10.37 倍 という性能向上率が確認でき, 
+マルチコアプロセッサの性能を引き出すことができた. 
+
+また, Web 掲示板サービスを開発し,  既存の Java の非破壊的木構造データベースを用いた掲示板実装との比較をおこない, 読み込みで 3.25 倍, 書き込みで 3.78 倍の性能が確認できた. 
+
+本研究は JST/CREST 「実用化を目指した組み込みシステム用ディペンダブル・オペレーティングシステム」研究領域 (DEOSプロジェクト) として実施した. 
+本研究ではDEOSプロジェクト内の DEOS Agreement Description Database 信頼性を持って構築ができる非破壊的木構造データベースの実装を示した.
+
+DEOSプロジェクトはITシステムにおけるディペンダビリティを担保する技術体系をまとめ, 制度化, さらには事業化を目指している.
 DEOSプロジェクトは2006年に独立行政法人科学技術機構(JST)はCRESTプログラムの1つとして始まったプロジェクトである.
 DEOSプロジェクトは, 変化し続ける目的や環境の中でシステムを適切に対応させ, 継続的にユーザが求めるサービスを提供することができるシステムの構築法を開発することを目標としている\cite{deos2013}.
 DEOSプロジェクトではそれらの技術体系を「オープンシステムディペンダビリティ」として定義し, それをDEOSプロセスとしてまとめた(図\ref{fig:deos_proccess}).
@@ -29,19 +47,3 @@
 このようなデータベースは様々なデータを柔軟に格納する必要があり, データベーススキーマの頻繁な変化に対応する必要がある.
 これらのデータベースは, Web からアクセスされることも想定される.
 そのため, DEOSは Web サービスとして捉えることができる.
-
-純粋関数型プログラミング言語 Haskell は, バッファオーバーフローや, クロスサイトスクリプティング, SQL インジェクションを事前の型検査で防ぐことができる. 
-つまり, Haskell を用いることで信頼性の高い Web サービスを開発できると言える. 
-
-本研究の目標は, Haskell を用いて信頼性の高い Web サービスおよびデータベースの開発である. 
-また, 並列実行で性能が線形に向上するスケーラビリティの達成を目指す. 
-Web サービス のスケーラビリティを実現するための難点の一つはデータベースであり, データベースは並列にデータにアクセスできる設計が必要となる. 
-
-本研究では並列にデータへアクセスする手法として, 非破壊的木構造を利用する. 
-非破壊的木構造では, 排他制御をせずにデータへアクセスすることが可能でありスケーラビリティを確保できる\cite{shoshi:2010a}\cite{shoshi:2011a}\cite{shoshi:2011b}. 
-
-実装した並列データベースの読み込みと書き込みについて性能を計測し, 
-読み込みに関して 12 コアで実行した場合,  1 コアで実行した場合と比較して, 10.37 倍 という性能向上率が確認でき, 
-マルチコアプロセッサの性能を引き出すことができた. 
-
-また, Web 掲示板サービスを開発し,  既存の Java の非破壊的木構造データベースを用いた掲示板実装との比較をおこない, 読み込みで 3.25 倍, 書き込みで 3.78 倍の性能が確認できた.