Indian Journal of Science and Technology
Year: 2015, Volume: 8, Issue: 35, Pages: 1-7
Saeed Saeedvand1* , Mortaza Abbaszadeh2 and Fahimeh Ansaroudi 1
1 Computer Engineering Department, Faculty of Electrical and Computer Engineering, University of Tabriz, Tabriz, Iran; [email protected], [email protected]
2 Department of Computer Science, Ilkhchi Branch, Islamic Azad University, Ilkhchi, Iran; [email protected]
Data Consistency of distributed systems is considered as one of the greatest challenges in distributed systems due to delay of transmitting information in the network. Coloured Petri Net (CPN) simulator has high potential in modeling different algorithms and formal analysis. In this paper, a hierarchical model for modeling causal consistency with global time (UTC) has been presented for the first time, and then this model has been performed and proved for CPN by using the presented simulator. Since casual consistency provides an acceptable consistency, in this paper, it has been shown that how we can make distributed systems concurrent to reach causal consistency.
Keywords: Causal Consistency, Coloured Petri Net, CPN Tools, Distributed Systems, Modeling
Subscribe now for latest articles and news.