| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2010-12-14 15:20 抽象データタイプ・データベース管理システム ～ OSの核(kernel)として ～ ○嶋 胤俊・西 邦彦・奥井 順（近畿大）・関 浩之（奈良先端大）  SS2010-42 |
|
| 抄録 | （和） | 本研究では、厳密な正しさを求められるソフトウェアの一つであるオペレーティングシステム（以下、OS）の仕様を形式的に記述する一つのアプローチを提案する。 OSで扱われるデータと演算は、抽象的には表形式のデータと表に対する演算である。即ち、OSは表形式の抽象データタイプのデータベースと見なす事ができる。 先ず、仮想メモリを前提とした主記憶上で多様な抽象データタイプからなるデータベースを管理する抽象データタイプ・データベース管理システム（以下、ADTDBMS） を定義し、ADTDBMSをOSの核（kernel）とし、そのデータベースとしてOSを実現する。本稿では、ADTDBMSを定義するとともに、ハードディスクドライバを そのデータベースとして記述することで、ADTDBMS上のデータベースとしてOSが記述できることの例証を試みた。 |
| （英） | This paper proposes a formal description method for an operating system (abbreviated as OS), which is a typical system software of which correctness should be rigorously guaranteed. Since data and operations of OS can be regarded as tables and operations on them, an OS can be regarded as a (relational) database of which attributes are abstract data types. In our approach, we first define an abstract data type database management system (abbreviated as ADTDBMS) as the kernel of an OS and then define an OS as a database of ADTDBMS. To evaluate our proposed approach through case study, we provide a formal description of ADTDBMS and also describe a device driver as a database of ADTDBMS. |
|
| キーワード | （和） | 抽象データタイプ / 状態遷移的記法 / オペレーティングシステム / データベース / / / / |
| （英） | abstract data type / state transition / oparating system / database / / / / | |
| 文献情報 | 信学技報, vol. 110, no. 336, SS2010-42, pp. 19-24, 2010年12月. | |
| 資料番号 | SS2010-42 | |
| 発行日 | 2010-12-07 (SS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2010-42 |
|
| 研究会情報 | |
| 研究会 | SS |
| 開催期間 | 2010-12-14 - 2010-12-15 |
| 開催地（和） | 伊香保温泉 ホテル天坊 |
| 開催地（英） | Ikaho-Onsen Hotel Tenbo |
| テーマ（和） | 一般 |
| テーマ（英） | General |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2010-12-SS |
| 本文の言語 | 日本語 |
| タイトル（和） | 抽象データタイプ・データベース管理システム |
| サブタイトル（和） | OSの核(kernel)として |
| タイトル（英） | An Abstract Data Type Database Management System |
| サブタイトル（英） | as the Kernel of an Operating System |
| キーワード(1)（和/英） | 抽象データタイプ / abstract data type |
| キーワード(2)（和/英） | 状態遷移的記法 / state transition |
| キーワード(3)（和/英） | オペレーティングシステム / oparating system |
| キーワード(4)（和/英） | データベース / database |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 嶋 胤俊 / Kazutoshi Shima / シマ カズトシ |
| 第1著者 所属（和/英） | 近畿大学大学院 (略称： 近畿大) Kinki Univercity (略称： Kinki Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 西 邦彦 / Kunihiko Nishi / ニシ クニヒコ |
| 第2著者 所属（和/英） | 近畿大学大学院 (略称： 近畿大) Kinki Univercity (略称： Kinki Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 奥井 順 / Jun Okui / オクイ ジュン |
| 第3著者 所属（和/英） | 近畿大学大学院 (略称： 近畿大) Kinki Univercity (略称： Kinki Univ.) |
| 第4著者 氏名（和/英/ヨミ） | 関 浩之 / Hiroyuki Seki / セキ ヒロユキ |
| 第4著者 所属（和/英） | 奈良先端科学技術大学院大学 (略称： 奈良先端大) Nara Institute of Science and Technology (略称： NAIST) |
| 講演者 | 第1著者 |
| 発表日時 | 2010-12-14 15:20:00 |
| 発表時間 | 30分 |
| 申込先研究会 | SS |
| 資料番号 | SS2010-42 |
| 巻番号（vol） | vol.110 |
| 号番号（no） | no.336 |
| ページ範囲 | pp.19-24 |
| ページ数 | 6 |
| 発行日 | 2010-12-07 (SS) |
[研究会発表申込システムのトップページに戻る]