loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Sachi Nishida 1 and Yoshiyuki Shinkawa 2

Affiliations: 1 Fujitsu FSAS Inc., Japan ; 2 Ryukoku University, Japan

Keyword(s): Cloud Computing, UPPAAL, Transaction Processing, Data Integrity.

Related Ontology Subjects/Areas/Topics: Cloud Applications ; Cross-Feeding between Data and Software Engineering ; Distributed and Mobile Software Systems ; Formal Methods ; Model-Driven Engineering ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques

Abstract: There are several considerations when implementing a transaction processing system in cloud environments like Google App Engine (GAE). One of the most critical ones is the data integrity, since the cloud provides us with limited capability for it. Therefore we need to evaluate the applications and the cloud platform carefully from the data integrity viewpoint. This paper presents a model based data integrity evaluation method using the UPPAAL model checker. In order to make the model reusable, we built it as a set of application independent functional modules. On the other hand, the application unique functionalities are to be included in the model as UPPAAL functions written by the C-like UPPAAL language. The data integrity evaluation is performed in two different ways. One is a simulation based method in which the model is executed by the UPPAAL simulator to obtain the resultant variable values. The other is a verification based method in which the given integrity constraints are e xamined by the UPPAAL verifier using full state space search of the model. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.237.51.235

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Nishida, S. and Shinkawa, Y. (2016). Evaluating Data Integrity in the Cloud using the UPPAAL. In Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - ICSOFT-EA; ISBN 978-989-758-194-6, SciTePress, pages 304-309. DOI: 10.5220/0006005103040309

@conference{icsoft-ea16,
author={Sachi Nishida. and Yoshiyuki Shinkawa.},
title={Evaluating Data Integrity in the Cloud using the UPPAAL},
booktitle={Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - ICSOFT-EA},
year={2016},
pages={304-309},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006005103040309},
isbn={978-989-758-194-6},
}

TY - CONF

JO - Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - ICSOFT-EA
TI - Evaluating Data Integrity in the Cloud using the UPPAAL
SN - 978-989-758-194-6
AU - Nishida, S.
AU - Shinkawa, Y.
PY - 2016
SP - 304
EP - 309
DO - 10.5220/0006005103040309
PB - SciTePress