A Client-Centric Consistency Model for Distributed Data Stores using Colored Petri Nets

Q: How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

Q: How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

Q: How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Q: Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

Taghinezhad Niar Ahmad

Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Seminar Paper

Paper Information

Seminar: INTERNATIONAL CONFERENCE ON WEB RESEARCH
Year:2024 | Issue:10

Download Full-Text

View:

Download:

Information Seminar Paper

Title

A Client-Centric Consistency Model for Distributed Data Stores using Colored Petri Nets

Author(s)

Taghinezhad Niar Ahmad

Keywords

Component

Distributed Systems

Replication

Client-Centric Consistency

Formal Modeling

Colored Petri Net

Abstract

The aim of increased reliability and performance in system architectures has resulted in the development of data Replication systems. However, preserving consistency during concurrent requests across various replicated data servers presents a significant challenge, especially when write operations are involved. This issue highlights the necessity of establishing a precise balance between system performance and consistency, particularly in the context of large-scale distributed databases. Large-scale distributed databases must navigate a trade-off between performance and consistency. Client-centric (CC) Consistency addresses this problem by guaranteeing consistency for single-client access to distributed data stores (DDS). CC consistency encompasses four distinct types of consistency assurances: 1) monotonic read, 2) monotonic write, 3) read your writes, and 4) write follow reads. In this paper, we present a formal model encapsulating CC consistency and its associated consistency models within Distributed Systems. Our model uses high-level ML functions to represent CC consistency and its models. Integrity is verified CPN tools, ensuring consistency. We demonstrate its effectiveness in discerning supported CC consistencies with relevant inputs. This formal approach aids understanding and assists in optimizing distributed system performance while maintaining consistency.

Cites

No record.

References

No record.

Cite

APA: Copy

Taghinezhad Niar, Ahmad. (2024). A Client-Centric Consistency Model for Distributed Data Stores using Colored Petri Nets. INTERNATIONAL CONFERENCE ON WEB RESEARCH. SID. https://sid.ir/paper/1147663/en

Vancouver: Copy

Taghinezhad Niar Ahmad. A Client-Centric Consistency Model for Distributed Data Stores using Colored Petri Nets. 2024. Available from: https://sid.ir/paper/1147663/en

IEEE: Copy

Ahmad Taghinezhad Niar, “A Client-Centric Consistency Model for Distributed Data Stores using Colored Petri Nets,” presented at the INTERNATIONAL CONFERENCE ON WEB RESEARCH. 2024, [Online]. Available: https://sid.ir/paper/1147663/en

Related Journal Papers

No record.

Related Seminar Papers

No record.

Related Plans

No record.

Recommended Workshops