CPN based Data Integrity Evaluation for Cloud Transactions

Yoshiyuki Shinkawa

2012

Abstract

Cloud computing environments, especially the PaaS environments, are one of the most promising platforms for high capacity and low cost transaction processing. However, today’s PaaS environments provide us with limited capability for data integrity in database and transaction processing, compared with traditional transaction management systems. Therefore, we need to evaluate whether the cloud environment currently considered provides enough capability for our data integrity requirements. This paper presents a Colored Petri Net (CPN) based approach to modeling and evaluating generalized transaction systems including cloud environments. The evaluation is performed based on the given constraints on database records expressed in the form of predicate logic formulae, and examined by CPN/ML codes implemented as the guard functions of the transitions for integrity verification.

References

  1. Gray, J. and Reuter, A. (1993). Transaction Processing: Concepts and Techniques. Morgan Kaufmann.
  2. Harper, R., MacQueen, D., Milner, R., and Tofte, M. (1997). The Definition of Standard ML. The MIT Press.
  3. Jensen, K. and Kristensen, L. (2009). Coloured Petri Nets: Modeling and Validation of Concurrent Systems. Springer-Verlag.
  4. Jensen, K., Kristensen, L. M., and Wells, L. (2007). Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. In International Journal on Software Tools for Technology Transfer (STTT) Volume 9, Numbers 3-4, pages 213- 254. Springer-Verlag.
  5. Martin, M. J. P., Quintales, L. A. M., and Garcia, M. N. M. (2004). A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri Nets. In International Conference on Applications and Theory of Petri Nets, pages 351-270. Springer-Verlag.
  6. Pritchett, D. (2008). BASE: An ACID alternative. In ACM QUEUE Volume 6 Issue 3, pages 48-55. ACM.
  7. Sanderson, D. (2009). Programming Google App Engine. Oreilly & Associates Inc.
  8. Shinkawa, Y. and Matsumoto, M. (2001). An Information System View of Consistency and Integrity in Enterprise Operations. In Proc. 3rd International Conference on Enterprise Information Systems Volume 2, pages 709-716.
  9. Vliet, J. V. and Paganelli, F. (2011). Programming Amazon EC2. Oreilly & Associates Inc.
Download


Paper Citation


in Harvard Style

Shinkawa Y. (2012). CPN based Data Integrity Evaluation for Cloud Transactions . In Proceedings of the 7th International Conference on Software Paradigm Trends - Volume 1: ICSOFT, ISBN 978-989-8565-19-8, pages 267-272. DOI: 10.5220/0004120702670272


in Bibtex Style

@conference{icsoft12,
author={Yoshiyuki Shinkawa},
title={CPN based Data Integrity Evaluation for Cloud Transactions},
booktitle={Proceedings of the 7th International Conference on Software Paradigm Trends - Volume 1: ICSOFT,},
year={2012},
pages={267-272},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004120702670272},
isbn={978-989-8565-19-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Conference on Software Paradigm Trends - Volume 1: ICSOFT,
TI - CPN based Data Integrity Evaluation for Cloud Transactions
SN - 978-989-8565-19-8
AU - Shinkawa Y.
PY - 2012
SP - 267
EP - 272
DO - 10.5220/0004120702670272