| Presentation | 2015-03-27 Evaluating Data Integrity of BASE Transactions Using VDM++ Sachi NISHIDA, Yoshiyuki SHINKAWA, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | 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. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Transaction Processing / Data Integrity / Cloud Computing / Formal Specification / VDM++ |
| Paper # | SC2014-18 |
| Date of Issue |
| Conference Information | |
| Committee | SC |
|---|---|
| Conference Date | 2015/3/20(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Services Computing (SC) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Evaluating Data Integrity of BASE Transactions Using VDM++ |
| Sub Title (in English) | |
| Keyword(1) | Transaction Processing |
| Keyword(2) | Data Integrity |
| Keyword(3) | Cloud Computing |
| Keyword(4) | Formal Specification |
| Keyword(5) | VDM++ |
| 1st Author's Name | Sachi NISHIDA |
| 1st Author's Affiliation | Department of Science and Engineering, Ryukoku University() |
| 2nd Author's Name | Yoshiyuki SHINKAWA |
| 2nd Author's Affiliation | Department of Science and Engineering, Ryukoku University |
| Date | 2015-03-27 |
| Paper # | SC2014-18 |
| Volume (vol) | vol.114 |
| Number (no) | 525 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |