Host: The Japan Society for Management Information
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.