| 書目名稱 | Integrated Model of Distributed Systems | | 編輯 | Wiktor B. Daszczuk | | 視頻video | http://file.papertrans.cn/469/468556/468556.mp4 | | 概述 | Proposes an original formalism, the IMDS, which reflects the natural features of distributed systems.General temporal formulas provide automatic verification of deadlocks and distributed termination i | | 叢書名稱 | Studies in Computational Intelligence | | 圖書封面 |  | | 描述 | In modern distributed systems, such as the Internet of Things or cloud computing, verifying their correctness is an essential aspect. This requires modeling approaches that reflect the natural characteristics of such systems: the locality of their components, autonomy of their decisions, and their asynchronous communication. However, most of the available verifiers are unrealistic because one or more of these features are not reflected. Accordingly, in this book we present an original formalism: the Integrated Distributed Systems Model (IMDS), which defines a system as two sets (states and messages), and a relation of ?the "actions" between these sets. The server view and the traveling agent’s view of the system provide communication duality, while general temporal formulas for the IMDS allow automatic verification. The features that the model checks include: partial deadlock and partial termination, communication deadlock and resource deadlock. Automatic verification can supportthe rapid development of distributed systems. Further, on the basis of the IMDS, the Dedan tool for automatic verification of distributed systems has been developed. | | 出版日期 | Book 2020 | | 關(guān)鍵詞 | Computational Intelligence; IMDS; Integrated Model of Distributed Systems; Distributed Systems; Dedan Pr | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-030-12835-7 | | isbn_softcover | 978-3-030-12837-1 | | isbn_ebook | 978-3-030-12835-7Series ISSN 1860-949X Series E-ISSN 1860-9503 | | issn_series | 1860-949X | | copyright | Springer Nature Switzerland AG 2020 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-24 06:24
發(fā)表于 2025-3-21 19:32:13
