國立虎尾科技大學 |

Integrated Model of Distributed Systems

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Integrated Model of Distributed Systems/ by Wiktor B. Daszczuk.
Author:	Daszczuk, Wiktor B.
Description:	XVIII, 238 p.online resource. :
Contained By:	Springer Nature eBook
Subject:	Computational intelligence. -
Online resource:	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. - 1st ed. 2020. - XVIII, 238 p.online resource. - Studies in Computational Intelligence,8171860-949X ;. - Studies in Computational Intelligence,564.

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:

568984
Computational intelligence.

LC Class. No.: Q342

Dewey Class. No.: 006.3

Integrated Model of Distributed Systems
LDR:02841nam a22004095i 4500 001 1026987
003 DE-He213
005 20200703072730.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783030128357 $9 978-3-030-12835-7
024 7 $a 10.1007/978-3-030-12835-7 $2 doi
035 $a 978-3-030-12835-7
050 4 $a Q342
072 7 $a UYQ $2 bicssc
072 7 $a TEC009000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 006.3 $2 23
100 1 $a Daszczuk, Wiktor B. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1323359
245 1 0 $a Integrated Model of Distributed Systems $h [electronic resource] / $c by Wiktor B. Daszczuk.
250 $a 1st ed. 2020.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a XVIII, 238 p. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Studies in Computational Intelligence, $x 1860-949X ; $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 Computational intelligence. $3 568984
650 0 $a Artificial intelligence. $3 559380
650 1 4 $a Computational Intelligence. $3 768837
650 2 4 $a Artificial Intelligence. $3 646849
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030128340
776 0 8 $i Printed edition: $z 9783030128364
776 0 8 $i Printed edition: $z 9783030128371
830 0 $a Studies in Computational Intelligence, $x 1860-949X ; $v 564 $3 1253640
856 4 0 $u https://doi.org/10.1007/978-3-030-12835-7
912 $a ZDB-2-INR
912 $a ZDB-2-SXIT
950 $a Intelligent Technologies and Robotics (SpringerNature-42732)
950 $a Intelligent Technologies and Robotics (R0) (SpringerNature-43728)