東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Integrated model of distributed systems

Daszczuk, Wiktor B.

FindBook

Google Book

Amazon

博客來

Integrated model of distributed systems

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Integrated model of distributed systems/ by Wiktor B. Daszczuk.
作者:	Daszczuk, Wiktor B.
出版者:	Cham :Springer International Publishing : : 2020.,
面頁冊數:	xviii, 238 p. :ill., digital ;24 cm.
內容註:	Preface -- Acknowledgments -- Chapter 1. Introduction -- Chapter 2. Related work on deadlock and termination detection techniques -- Chapter 3. Integrated Model of Distributed Systems -- Chapter 4. Model Checking of IMDS specifications in the Dedan environment -- etc.
Contained By:	Springer eBooks
標題:	Electronic data processing - Distributed processing. -
電子資源:	https://doi.org/10.1007/978-3-030-12835-7
ISBN:	9783030128357

Integrated model of distributed systems
Daszczuk, Wiktor B.

Integrated model of distributed systems[electronic resource] /by Wiktor B. Daszczuk. - Cham :Springer International Publishing :2020. - xviii, 238 p. :ill., digital ;24 cm. - Studies in computational intelligence,v.8171860-949X ;. - Studies in computational intelligence ;v.817..

Preface -- Acknowledgments -- Chapter 1. Introduction -- Chapter 2. Related work on deadlock and termination detection techniques -- Chapter 3. Integrated Model of Distributed Systems -- Chapter 4. Model Checking of IMDS specifications in the Dedan environment -- etc.

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 support the rapid development of distributed systems. Further, on the basis of the IMDS, the Dedan tool for automatic verification of distributed systems has been developed.

ISBN: 9783030128357

Standard No.: 10.1007/978-3-030-12835-7doiSubjects--Topical Terms:

548601
Electronic data processing
--Distributed processing.

LC Class. No.: QA76.9.D5

Dewey Class. No.: 004.6

Integrated model of distributed systems
LDR:02466nmm a2200337 a 4500 001 2213397
003 DE-He213
005 20200207110555.0
006 m d
007 cr nn 008maaau
008 201117s2020 sz s 0 eng d
020 $a 9783030128357 $q (electronic bk.)
020 $a 9783030128340 $q (paper)
024 7 $a 10.1007/978-3-030-12835-7 $2 doi
035 $a 978-3-030-12835-7
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.D5
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 004.6 $2 23
090 $a QA76.9.D5 $b D231 2020
100 1 $a Daszczuk, Wiktor B. $3 3442828
245 1 0 $a Integrated model of distributed systems $h [electronic resource] / $c by Wiktor B. Daszczuk.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a xviii, 238 p. : $b ill., digital ; $c 24 cm.
490 1 $a Studies in computational intelligence, $x 1860-949X ; $v v.817
505 0 $a Preface -- Acknowledgments -- Chapter 1. Introduction -- Chapter 2. Related work on deadlock and termination detection techniques -- Chapter 3. Integrated Model of Distributed Systems -- Chapter 4. Model Checking of IMDS specifications in the Dedan environment -- etc.
520 $a 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 support the rapid development of distributed systems. Further, on the basis of the IMDS, the Dedan tool for automatic verification of distributed systems has been developed.
650 0 $a Electronic data processing $x Distributed processing. $3 548601
650 1 4 $a Computational Intelligence. $3 1001631
650 2 4 $a Artificial Intelligence. $3 769149
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Studies in computational intelligence ; $v v.817. $3 3442829
856 4 0 $u https://doi.org/10.1007/978-3-030-12835-7
950 $a Intelligent Technologies and Robotics (Springer-42732)