Modelling causal consistency for distributed systems using hierarchical coloured petri net

Saeed Saeedvand; Mortaza Abbaszadeh; Fahimeh Ansaroudi

doi:10.17485/ijst/2015/v8i35/54980

Modelling causal consistency for distributed systems using hierarchical coloured petri net

Saeed Saeedvand^*, Mortaza Abbaszadeh, Fahimeh Ansaroudi

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

1 Citation (Scopus)

Abstract

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.

Original language	English
Journal	Indian Journal of Science and Technology
Volume	8
Issue number	35
DOIs	https://doi.org/10.17485/ijst/2015/v8i35/54980
Publication status	Published - 2015 Dec 1
Externally published	Yes

Keywords

Causal consistency
Coloured petri net
CPN tools
Distributed systems
modeling

ASJC Scopus subject areas

General

Access to Document

10.17485/ijst/2015/v8i35/54980

Cite this

@article{2852fbbe0a414f2fa727fdc67e5698b1,

title = "Modelling causal consistency for distributed systems using hierarchical coloured petri net",

abstract = "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",

author = "Saeed Saeedvand and Mortaza Abbaszadeh and Fahimeh Ansaroudi",

year = "2015",

month = dec,

day = "1",

doi = "10.17485/ijst/2015/v8i35/54980",

language = "English",

volume = "8",

journal = "Indian Journal of Science and Technology",

issn = "0974-6846",

publisher = "Indian Society for Education and Environment",

number = "35",

}

TY - JOUR

T1 - Modelling causal consistency for distributed systems using hierarchical coloured petri net

AU - Saeedvand, Saeed

AU - Abbaszadeh, Mortaza

AU - Ansaroudi, Fahimeh

PY - 2015/12/1

Y1 - 2015/12/1

N2 - 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.

AB - 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.

KW - Causal consistency

KW - Coloured petri net

KW - CPN tools

KW - Distributed systems

KW - modeling

UR - http://www.scopus.com/inward/record.url?scp=84962330171&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84962330171&partnerID=8YFLogxK

U2 - 10.17485/ijst/2015/v8i35/54980

DO - 10.17485/ijst/2015/v8i35/54980

M3 - Article

AN - SCOPUS:84962330171

SN - 0974-6846

VL - 8

JO - Indian Journal of Science and Technology

JF - Indian Journal of Science and Technology

IS - 35

ER -

Modelling causal consistency for distributed systems using hierarchical coloured petri net

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this