Modelling Causal Consistency for Distributed Systems using Hierarchical Coloured Petri Net

Saeedvand, Saeed; Abbaszadeh, Mortaza; Ansaroudi, Fahimeh

doi:10.17485/ijst/2015/v8i35/54980

Cited by 2 publications

(1 citation statement)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In reading and writing operations of all data, all distributed systems must be considered similarly (Strict Consistency) [1], but executing strict consistency is impossible due to data delay in transferring and sending items. Therefore, various methods have been presented to keep the data consistency in distributed systems such as causal consistency [2]- [5], which previously we provided a model for causal consistency at distributed systems using hierarchical coloured petri net [6]. In this algorithm, operations executed in distributed systems are followed with a special order such as sequential consistency model [7], weak consistency model [8], FIFO or PRAM [7].…”

Section: Introductionmentioning

confidence: 99%

Weak Consistency Model in Distributed Systems Using Hierarchical Colored Petri Net

Abbaszadeh¹

2018

JCP

Self Cite

View full text Add to dashboard Cite

With regard to recent developments and wide application of distributed systems, keeping consistency of data has been considered as a serious challenge in these systems. Colored Petri Net (CPN) has high capacity in terms of modeling various algorithms and proving them mathematically. Also proving the presented models has great importance. The importance of keeping consistency at distributed systems at different levels always has been known. Therefore in this research, for first time a hierarchical model for weak consistency along with UTC global time in CPN tools has been presented. The presented model is proved and implemented by using a simulator presented in the CPN tools. In this study, it has been shown that how our method modeled and coded by ML language for distributed systems so that an acceptable level of the weak consistency at distributed systems is obtained.

show abstract