loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Achraf Makni ; Rafik Bouaziz and Faïez Gargouri

Affiliation: Faculty of Economic Sciences and Management of Sfax, Tunisia

ISBN: 978-972-8865-41-2

Keyword(s): Optimistic concurrency control, Strong consistency, Transaction time relation, Formal verification, PROMELA/SPIN.

Related Ontology Subjects/Areas/Topics: Data and Application Security and Privacy ; Database Security ; Databases and Information Systems Integration ; Deductive, Active, Temporal and Real-Time Databases ; Enterprise Information Systems ; Information and Systems Security ; Information Systems Analysis and Specification ; Software Engineering

Abstract: We propose in this paper to formally check the access concurrency control algorithm proposed in (Bouaziz, 2005). This algorithm is based on the optimistic approach and guarantees strong consistency for the transaction time relations. The specification of our model under PROMELA language allowed us to ensure the feasibility of the validation. We then could, using the SPIN model checkers, avoid errors of blocking type and check safety properties specified by temporal logic formulas.

PDF ImageFull Text

Download
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.80.6.254

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:
Makni A.; Bouaziz R.; Gargouri F. and (2006). FORMAL VERIFICATION OF AN ACCESS CONCURRENCY CONTROL ALGORITHM FOR TRANSACTION TIME RELATIONS.In Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 4: ICEIS, ISBN 978-972-8865-41-2, pages 269-272. DOI: 10.5220/0002487602690272

@conference{iceis06,
author={Achraf Makni and Rafik Bouaziz and Faïez Gargouri},
title={FORMAL VERIFICATION OF AN ACCESS CONCURRENCY CONTROL ALGORITHM FOR TRANSACTION TIME RELATIONS},
booktitle={Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 4: ICEIS,},
year={2006},
pages={269-272},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002487602690272},
isbn={978-972-8865-41-2},
}

TY - CONF

JO - Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 4: ICEIS,
TI - FORMAL VERIFICATION OF AN ACCESS CONCURRENCY CONTROL ALGORITHM FOR TRANSACTION TIME RELATIONS
SN - 978-972-8865-41-2
AU - Makni, A.
AU - Bouaziz, R.
AU - Gargouri, F.
PY - 2006
SP - 269
EP - 272
DO - 10.5220/0002487602690272

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.