語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Integrated model of distributed systems
~
Daszczuk, Wiktor B.
Integrated model of distributed systems
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Integrated model of distributed systemsby Wiktor B. Daszczuk.
作者:
Daszczuk, Wiktor B.
出版者:
Cham :Springer International Publishing :2020.
面頁冊數:
xviii, 238 p. :ill., digital ;24 cm.
Contained By:
Springer eBooks
標題:
Electronic data processingDistributed processing.
電子資源:
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)
筆 0 讀者評論
全部
電子館藏
館藏
1 筆 • 頁數 1 •
1
條碼號
館藏地
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
000000182990
電子館藏
1圖書
電子書
EB QA76.9.D5 D231 2020 2020
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
多媒體檔案
https://doi.org/10.1007/978-3-030-12835-7
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入