Integrated Model of Distributed Systems - Studies in Computational Intelligence 817 (Paperback)
  • Integrated Model of Distributed Systems - Studies in Computational Intelligence 817 (Paperback)
zoom

Integrated Model of Distributed Systems - Studies in Computational Intelligence 817 (Paperback)

(author)
£89.99
Paperback 238 Pages
Published: 28/10/2020
  • We can order this from the publisher

UK delivery within 3-4 weeks

  • This item has been added to your basket
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.

Publisher: Springer Nature Switzerland AG
ISBN: 9783030128371
Number of pages: 238
Weight: 454 g
Dimensions: 235 x 155 mm
Edition: 1st ed. 2020

You may also be interested in...

The Singularity Is Near
Added to basket
The Essential Turing
Added to basket
Why Greatness Cannot Be Planned
Added to basket
Thoughtful Machine Learning
Added to basket
The Quest for Artificial Intelligence
Added to basket
The Elements of Statistical Learning
Added to basket
Superintelligence
Added to basket
£18.99
Hardback
Introducing Artificial Intelligence
Added to basket
Machine Learning
Added to basket
£100.00
Hardback
Understanding Beliefs
Added to basket
Artificial Intelligence: The Basics
Added to basket

Please sign in to write a review

Your review has been submitted successfully.