Language:
English
繁體中文
Help
回圖書館首頁
手機版館藏查詢
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Integrated model of distributed systems
~
Daszczuk, Wiktor B.
Linked to FindBook
Google Book
Amazon
博客來
Integrated model of distributed systems
Record Type:
Electronic resources : Monograph/item
Title/Author:
Integrated model of distributed systems/ by Wiktor B. Daszczuk.
Author:
Daszczuk, Wiktor B.
Published:
Cham :Springer International Publishing : : 2020.,
Description:
xviii, 238 p. :ill., digital ;24 cm.
[NT 15003449]:
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
Subject:
Electronic data processing - Distributed processing. -
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. - 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)
based on 0 review(s)
Location:
ALL
電子資源
Year:
Volume Number:
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
W9388310
電子資源
11.線上閱覽_V
電子書
EB QA76.9.D5
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login