Studies in Computational Intelligence

Integrated Model of Distributed Systems

Authors: Daszczuk, Wiktor B.

Free Preview
  • Proposes an original formalism, the IMDS, which reflects the natural features of distributed systems
  • General temporal formulas provide automatic verification of deadlocks and distributed termination in several forms
  • Written by an expert on the specification and verification of distributed systems
see more benefits

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-030-12835-7
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $169.99
price for USA in USD
  • ISBN 978-3-030-12834-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (12 chapters)

Table of contents (12 chapters)

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-030-12835-7
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $169.99
price for USA in USD
  • ISBN 978-3-030-12834-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Integrated Model of Distributed Systems
Authors
Series Title
Studies in Computational Intelligence
Series Volume
817
Copyright
2020
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-12835-7
DOI
10.1007/978-3-030-12835-7
Hardcover ISBN
978-3-030-12834-0
Series ISSN
1860-949X
Edition Number
1
Number of Pages
XVIII, 238
Topics