| 講演名 | 2015-03-27 VDM++によるBASEトランザクションのデータ整合性評価(サービス・クラウドのQoS・SLA・ポリシー及び一般) 西田 紗知, 新川 芳行, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | クラウドコンピューティング環境,特にパブリッククラウドでのトランザクション処理におけるデータ整合性維持は,並行処理におけるクリティカルセクションの分離・直列化を原則とするACIDに代わり,完全な並行処理を行うBASEという原則に基づいている.これは,システムの可用性と拡張性とのトレードオフにより整合性の条件を緩和した結果と考えられる.このことにより,データベースアクセスの順序関係が従来に比べ複雑化し,トランザクションの振舞いの予測が困難となる.また,クラウドではデータベースの分散が隠蔽され,さらに非同期にレプリケーションされるため,一時点で同一データベースレコードに複数の観測値が存在し,上記の振舞いはさらに複雑なものとなる.このため,クラウド環境におけるトランザクション処理でのデータ整合性は,ACIDに比べはるかに煩雑な問題となる.本論文は形式仕様記述によりこの問題を厳密に記述・分析する手法を提案するものである. |
| 抄録(英) | In cloud computing environments, especially in public cloud environments, "BASE" principle is used for data integrity, instead of traditional "ACID" principle. While the former focuses on fully concurrent operations, the latter focuses on the separation and serialization of critical sections. It seems to be a result of trade-off between data integrity and availability/scalability. This full concurrency makes the database access sequence complicated, and the behavior of transactions becomes unpredictable. In addition, database replication is hidden and asynchronous, which makes an attribute multivalued. Consequently, the data integrity problem in the cloud is burdensome to deal with, in comparison with ACID. This paper proposes a formal approach to specifying and analyzing this kind of data integrity. |
| キーワード(和) | トランザクション処理 / データ整合性 / クラウドコンピューティング / 形式仕様記述 / VDM++ |
| キーワード(英) | Transaction Processing / Data Integrity / Cloud Computing / Formal Specification / VDM++ |
| 資料番号 | SC2014-18 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SC |
|---|---|
| 開催期間 | 2015/3/20(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Services Computing (SC) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | VDM++によるBASEトランザクションのデータ整合性評価(サービス・クラウドのQoS・SLA・ポリシー及び一般) |
| サブタイトル（和） | |
| タイトル（英） | Evaluating Data Integrity of BASE Transactions Using VDM++ |
| サブタイトル（和） | |
| キーワード(1)（和/英） | トランザクション処理 / Transaction Processing |
| キーワード(2)（和/英） | データ整合性 / Data Integrity |
| キーワード(3)（和/英） | クラウドコンピューティング / Cloud Computing |
| キーワード(4)（和/英） | 形式仕様記述 / Formal Specification |
| キーワード(5)（和/英） | VDM++ / VDM++ |
| 第 1 著者 氏名（和/英） | 西田 紗知 / Sachi NISHIDA |
| 第 1 著者 所属（和/英） | 龍谷大学大学院理工学研究科情報メディア学専攻 Department of Science and Engineering, Ryukoku University |
| 第 2 著者 氏名（和/英） | 新川 芳行 / Yoshiyuki SHINKAWA |
| 第 2 著者 所属（和/英） | 龍谷大学大学院理工学研究科情報メディア学専攻 Department of Science and Engineering, Ryukoku University |
| 発表年月日 | 2015-03-27 |
| 資料番号 | SC2014-18 |
| 巻番号（vol） | vol.114 |
| 号番号（no） | 525 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |