| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2012-11-30 10:35 CPNによるクラウドトランザクションの等価性評価 ○田中一樹・新川芳行（龍谷大）  SWIM2012-15 |
|
| 抄録 | （和） | クラウドコンピューティング環境でのトランザクション処理では，基盤となるシステムが従来と大きく異なるため，データ整合性に関して従来と異なるアプローチが必要となる．本論文は，一般化したトランザクション処理システムを外部的振舞い，内部構造，処理基盤の三つの視点から，カラーペトリネットによりモデル化し，これをシミュレーションするための手法を提案する．また，データ整合性をデータベースとトランザクションの両面から定式化し，これを基にシミュレーション結果を評価する方法についても述べる． |
| （英） | Cloud computing environments provide us with different form of transaction processing platforms, and therefore we need a different approach to discussing data integrity problems. This paper proposes a modeling and simulation process for a generalized transaction system using Colored Petri Nets (CPN), from three different viewpoints, namely ``external behavior", ``internal structure", and ``processing platform" of transactions. In addition, a rigorous definition of data integrity is also discussed from database and transactional aspects, in order to evaluate the simulation results of the above models. | |
| キーワード | （和） | トランザクション処理 / データベース管理システム / カラーペトリネット / / / / / |
| （英） | Database Management System / Transaction Processing / Colored Petri Nets / / / / / | |
| 文献情報 | 信学技報, vol. 112, no. 331, SWIM2012-15, pp. 1-6, 2012年11月. | |
| 資料番号 | SWIM2012-15 | |
| 発行日 | 2012-11-23 (SWIM) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SWIM2012-15 |
|
| 研究会情報 | |
| 研究会 | SWIM |
| 開催期間 | 2012-11-30 - 2012-11-30 |
| 開催地（和） | 東海大学（高輪） |
| 開催地（英） | Tokai Univ. Takanawa Campus(Tokyo) |
| テーマ（和） | ワークショップ(査読付き), 「インタプライズモデル化技術，一般」 |
| テーマ（英） | Workshop on Interpprise Modeling Technology |
| 講演論文情報の詳細 | |
| 申込み研究会 | SWIM |
| 会議コード | 2012-11-SWIM |
| 本文の言語 | 日本語 |
| タイトル（和） | CPNによるクラウドトランザクションの等価性評価 |
| サブタイトル（和） | |
| タイトル（英） | Cloud Transaction Equivalence Evaluation Using CPN |
| サブタイトル（英） | |
| キーワード(1)（和/英） | トランザクション処理 / Database Management System |
| キーワード(2)（和/英） | データベース管理システム / Transaction Processing |
| キーワード(3)（和/英） | カラーペトリネット / Colored Petri Nets |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 田中 一樹 / Kazuki Tanaka / タナカ カズキ |
| 第1著者 所属（和/英） | 龍谷大学 (略称： 龍谷大) Ryukoku University (略称： Ryukoku Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 新川 芳行 / Yoshiyuki Shinkawa / シンカワ ヨシユキ |
| 第2著者 所属（和/英） | 龍谷大学 (略称： 龍谷大) Ryukoku University (略称： Ryukoku Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2012-11-30 10:35:00 |
| 発表時間 | 25分 |
| 申込先研究会 | SWIM |
| 資料番号 | SWIM2012-15 |
| 巻番号（vol） | vol.112 |
| 号番号（no） | no.331 |
| ページ範囲 | pp.1-6 |
| ページ数 | 6 |
| 発行日 | 2012-11-23 (SWIM) |
[研究会発表申込システムのトップページに戻る]