annotate paper/sigos.tex @ 88:e043238bfdbb default tip

Added pdf file
author Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
date Wed, 29 Jan 2014 20:06:17 +0900
parents e5cfaf13e68e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 \documentclass[techrep]{ipsjpapers}
88
e043238bfdbb Added pdf file
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
2 \usepackage[dvipdfmx]{graphicx}
0
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 \usepackage{url}
38
590aeefbfb79 modified implmodel.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 36
diff changeset
4 \usepackage{listings,jlisting}
590aeefbfb79 modified implmodel.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 36
diff changeset
5
590aeefbfb79 modified implmodel.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 36
diff changeset
6 \lstset{%listings
590aeefbfb79 modified implmodel.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 36
diff changeset
7 breaklines=true,
590aeefbfb79 modified implmodel.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 36
diff changeset
8 tabsize=2,
590aeefbfb79 modified implmodel.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 36
diff changeset
9 frame=shadowbox,
590aeefbfb79 modified implmodel.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 36
diff changeset
10 basicstyle=\scriptsize,
590aeefbfb79 modified implmodel.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 36
diff changeset
11 showstringspaces=false,
590aeefbfb79 modified implmodel.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 36
diff changeset
12 numbers=left,
590aeefbfb79 modified implmodel.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 36
diff changeset
13 framexleftmargin=6mm,
590aeefbfb79 modified implmodel.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 36
diff changeset
14 numberstyle=\scriptsize,
590aeefbfb79 modified implmodel.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 36
diff changeset
15 stepnumber=1,
590aeefbfb79 modified implmodel.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 36
diff changeset
16 numbersep=1zw,
590aeefbfb79 modified implmodel.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 36
diff changeset
17 language=java
590aeefbfb79 modified implmodel.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 36
diff changeset
18 }
590aeefbfb79 modified implmodel.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 36
diff changeset
19
0
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
20
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 \input{dummy.tex} %% Font
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
22
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 % ユーザが定義したマクロなど.
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 \makeatletter
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
25
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 \begin{document}
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
27
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 % 和文表題
4
c01cec41d8ae modified d_add.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
29 \title{ディペンダブルシステムのための木構造を用いた合意形成データベースの提案と実装}
0
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 % 英文表題
8
99736d279fec modified d_add.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 7
diff changeset
31 %\etitle{The suggestion and implementation of the consensus building database
99736d279fec modified d_add.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 7
diff changeset
32 % \\using a tree structure for Dependable System}
0
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
33
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 % 所属ラベルの定義
58
0cd50ec41b9a fix spell miss abstract
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 57
diff changeset
35 \affilabel{1}{琉球大学理工学研究科情報工学専攻 \\Interdisciplinary Information Engineering, Graduate School of Engineering and Science, University of the Ryukyus.}
26
604e67890d15 sigo.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 19
diff changeset
36 \affilabel{2}{株式会社 Symphony}
0
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
37
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 % 和文著者名
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 \author{
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 大城 信康\affiref{1}\and
26
604e67890d15 sigo.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 19
diff changeset
41 河野 真治\affiref{1}\and
604e67890d15 sigo.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 19
diff changeset
42 玉城 将士\affiref{1}\and
604e67890d15 sigo.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 19
diff changeset
43 永山 辰巳\affiref{2}
0
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 }
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
45
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 % 英文著者名
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 \eauthor{
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 Nobuyasu OSHIRO\affiref{1}\and
31
7569eb0b9365 added deos_proccess.png
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 26
diff changeset
49 Shinji KONO\affiref{1}\and
7569eb0b9365 added deos_proccess.png
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 26
diff changeset
50 Shoshi TAMAKI\affiref{2}\and
7569eb0b9365 added deos_proccess.png
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 26
diff changeset
51 Tatsumi NAGAYAMA\affiref{2}
0
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 }
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
53
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 % 連絡先(投稿時に必要.製版用では無視される.)
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 \contact{大城 信康\\
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 〒903-0213 沖縄県西原町千原1番地\\
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 琉球大学工学部情報工学科\\
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 TEL: (098)895-2221\qquad FAX: (098)895-8727\\
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 email: dimolto@cr.ie.u-ryukyu.ac.jp}
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
60
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 % 和文概要
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
62 \begin{abstract}
60
e5cfaf13e68e modified
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 58
diff changeset
63 ディペンダブルシステムの構築を目指すDEOSプロジェクトでは対象システムの要求を維持するデータベースであるD-ADDが重要である.
e5cfaf13e68e modified
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 58
diff changeset
64 D-ADDはシステムに障害が発生した際に要求・説明責任を果たすため機能の1つとして合意形成支援がある.
e5cfaf13e68e modified
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 58
diff changeset
65 この合意形成支援は合意状況の時間的な関係をみることができると考えられている.
e5cfaf13e68e modified
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 58
diff changeset
66 本論文では, 要求・説明責任を果たすために木構造による合意形成支援を構成する方法を提案する.
e5cfaf13e68e modified
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 58
diff changeset
67 また, Webアプリケーションとして実装を行い, 実際に例題を記述して, その有効性を確認する.
0
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
68
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
69 \end{abstract}
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
70 % 英文概要
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
71 \begin{eabstract}
56
49ce8e876a33 modified introduction.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 54
diff changeset
72 D-ADD is a Knowledge Database in the DEOS project, which aimed at building a Dependable Systems.
49ce8e876a33 modified introduction.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 54
diff changeset
73 It is the database which maintains requests and responsibilities of the target system.
58
0cd50ec41b9a fix spell miss abstract
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 57
diff changeset
74 D-ADD has a consensus building tool to fulfill the responsibilities when the system fails.
56
49ce8e876a33 modified introduction.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 54
diff changeset
75 This consensus building tool shows the temporal relationship of agreement statuses.
49ce8e876a33 modified introduction.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 54
diff changeset
76 In this paper, we propose a knowledge structure of consensus building tool.
49ce8e876a33 modified introduction.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 54
diff changeset
77 It is a tree structure of requirements and responses.
49ce8e876a33 modified introduction.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 54
diff changeset
78 We implement a Web application using GraphDB and show some examples.
0
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
79 \end{eabstract}
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
80 % 表題などの出力
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
81 \maketitle
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
82
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
83 % 本文はここから始まる
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
84
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
85 \input{introduction} % 研究目的
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
86 \input{d_add} % d_add
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
87 \input{model} % model
58
0cd50ec41b9a fix spell miss abstract
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 57
diff changeset
88 \input{implmodel} % implement Web application
42
943f97d75750 modified webapp.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 38
diff changeset
89 \input{useapp} % How to use Web application
943f97d75750 modified webapp.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 38
diff changeset
90 \input{compare} % Web application compare redmine.
51
457c8359e54a added temporal.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 42
diff changeset
91 \input{temporal} %
0
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
92 \input{conclusion} % まとめ
16
77f023ff6629 write references
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 15
diff changeset
93 \input{acknowledgments}
0
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
94
10
f1ffd8e10d0b modified reference
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 8
diff changeset
95
15
adf77689a9a9 modified
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 10
diff changeset
96 \nocite{deos2012}
adf77689a9a9 modified
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 10
diff changeset
97 \nocite{d_add2012}
57
08b4b77267ce modified
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 56
diff changeset
98 \nocite{d_case}
36
3f772ca8893d modified reference
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 31
diff changeset
99 \nocite{toulmin}
16
77f023ff6629 write references
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 15
diff changeset
100 \nocite{graphdb}
19
24aa1613b8f0 modified d_add.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 16
diff changeset
101 \nocite{rdb}
36
3f772ca8893d modified reference
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 31
diff changeset
102 \nocite{tinkerpop}
3f772ca8893d modified reference
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 31
diff changeset
103 \nocite{play}
3f772ca8893d modified reference
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 31
diff changeset
104 \nocite{dung}
10
f1ffd8e10d0b modified reference
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 8
diff changeset
105
0
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
106 \bibliographystyle{ipsjunsrt}
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
107 \bibliography{sigos}
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
108
10
f1ffd8e10d0b modified reference
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 8
diff changeset
109
f1ffd8e10d0b modified reference
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 8
diff changeset
110
0
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
111
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
112
5ec014f2fe3a add some files
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
113 \end{document}