文章基本信息

标题：Weak Consistency Model in Distributed Systems Using Hierarchical Colored Petri Net
本地全文：下载
作者：Mortaza Abbaszadeh ; Saeed Saeedvand
期刊名称：Journal of Computers
印刷版ISSN：1796-203X
出版年度：2018
卷号：13
期号：2
页码：236-243
DOI：10.17706/jcp.13.2.236-243
语种：English
出版社：Academy Publisher
摘要：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.
关键词：Weak consistency; colored petri net; distributed systems; CPN tools.