國立高雄大學圖資館 |

Language: English

Back

Integrated model of distributed systems

Daszczuk, Wiktor B.

Integrated model of distributed systems

Record Type:	Electronic resources : Monograph/item
Title/Author:	Integrated model of distributed systemsby Wiktor B. Daszczuk.
Author:	Daszczuk, Wiktor B.
Published:	Cham :Springer International Publishing :2020.
Description:	xviii, 238 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Electronic data processingDistributed processing.
Online resource:	https://doi.org/10.1007/978-3-030-12835-7
ISBN:	9783030128357$q(electronic bk.)

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

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$q(electronic bk.)

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

182427
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 578092
003 DE-He213
005 20200207110555.0
006 m d
007 cr nn 008maaau
008 201208s2020 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 866700
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 182427
650 1 4 $a Computational Intelligence. $3 338479
650 2 4 $a Artificial Intelligence. $3 212515
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Studies in computational intelligence ; $v v. 216. $3 380871
856 4 0 $u https://doi.org/10.1007/978-3-030-12835-7
950 $a Intelligent Technologies and Robotics (Springer-42732)