Author:
Yoshiyuki Shinkawa
Affiliation:
Ryukoku University, Japan
Keyword(s):
Colored Petri Nets, Cloud Computing, Transaction Processing, Data Integrity.
Related
Ontology
Subjects/Areas/Topics:
Applications and Software Development
;
Model Analysis and Checking
;
Model Execution and Simulation
;
Model Transformation
;
Model-Driven Software Development
;
Models
;
Paradigm Trends
;
Software Engineering
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.