クラウドにおけるデータ整合性評価
1) 龍谷大学
| Abstract | クラウドコンピューティングは、単なるデータの保存だけでなく、企業情報システムの処理基盤としても重要なものとなりつつある。しかし、この環境でトランザクション処理を行う場合、BASEというクラウド特有のデータ整合性概念を考慮する必要がある。本研究は、モデリングとシミュレーションによりシステム設計段階で、BASEによるデータ整合性への影響を検証・評価し、クラウドでのトランザクション処理の信頼性向上を目指している。モデリングおよびシミュレーションには時間オートマトンに基づく検証ツールのUPPAALを用い、時相論理式の一種であるTCTLによりデータ整合性の検証・評価を行う。 |
|---|---|
| Cloud computing environments become important data processing infrastructures for enterprise information systems, not only for simple data storage. However, in the case of database transaction processing, we have to take a cloud unique data integrity concept "BASE" into account, in order to retain the equivalent data integrity level. This paper proposes a modeling and simulation based approach to verifying and evaluating the data integrity in the cloud, focusing on how this "BASE" affects the transaction processing. The approach is used in the system design phase in order to improve the reliability of transaction processing in the cloud. As a modeling and simulation tool, we use the timed-automaton based verification tool "UPPAAL", and the data integrity evaluation is performed by TCTL, a kind of temporal logic. | |
| Keywords | クラウドコンピューティング，データ整合性，トランザクション処理 |
| Cloud Computing，Data Integrity，Transaction Processing |
