Formal Verification of Distributed Transaction Execution in Replicated Database System using Event - B

Sharma, Pooja; Suryavanshi, Raghuraj

doi:10.5120/ijca2016910182

Cited by 1 publication

(1 citation statement)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Divakar and Butler [4]; they present a formal development of a distributed system using Event B that ensures atomic commitment of distributed transactions consisting of communicating transaction components at participating sites. Pooja and Raghuraj [5]; In their model; a coordinator site finds a site with a largest replica number and then broadcast its updated replica to all other sites in a distributed environment.…”

Section: Related Workmentioning

confidence: 99%

Formal Development of Fault Tolerance by Replication of Distributed Database Systems

Katta

Ali

Chramcov

et al. 2021

Software Engineering and Algorithms

View full text Add to dashboard Cite

Data replication in a distributed database system is a crucial topic for enhancing data availability and improving the system faults tolerance, in the distributed database we think that clients use a single database yet, in fact, a set of databases are stored on multiple servers is used.Replication often plays an important role in database management strategy; organizations use database replication for load balancing, offline processing, redundancy, and other typical administrative tasks.In this paper we describe our experiences with using Event-B formal method and show how to conduct an assessment of system reliability at the refinement stages rather than at the implementation level; we demonstrate by case study how to obtain a mathematically proven solution using Event-B formal method. Here we propose using the Rodin modeling tool for Event-B that integrates modeling and proving together, and as a case study; we present data replication technologies in SQL Server databases.

show abstract

Section: Related Workmentioning

confidence: 99%