LEADER 03313nam  22005415  450 
001 9910484192303321
005 20200703072730.0
010   $a3-030-12835-0
024 7 $a10.1007/978-3-030-12835-7
035   $a(CKB)4100000007810282
035   $a(DE-He213)978-3-030-12835-7
035   $a(MiAaPQ)EBC5941595
035   $a(PPN)24376913X
035   $a(EXLCZ)994100000007810282
100   $a20190316d2020      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aIntegrated Model of Distributed Systems /$fby Wiktor B. Daszczuk
205   $a1st ed. 2020.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020.
215   $a1 online resource (XVIII, 238 p.) 
225 1 $aStudies in Computational Intelligence,$x1860-949X ;$v817
311   $a3-030-12834-2 
320   $aIncludes bibliographical references.
327   $aPreface -- 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.
330   $aIn 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.
410  0$aStudies in Computational Intelligence,$x1860-949X ;$v817
606   $aComputational intelligence
606   $aArtificial intelligence
606   $aComputational Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/T11014
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
615  0$aComputational intelligence.
615  0$aArtificial intelligence.
615 14$aComputational Intelligence.
615 24$aArtificial Intelligence.
676   $a004.36
676   $a004.6
700   $aDaszczuk$b Wiktor B$4aut$4http://id.loc.gov/vocabulary/relators/aut$01225059
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484192303321
996   $aIntegrated Model of Distributed Systems$92844488
997   $aUNINA