© 2020

Integrated Model of Distributed Systems


Part of the Studies in Computational Intelligence book series (SCI, volume 817)

Table of contents

  1. Front Matter
    Pages i-xviii
  2. Wiktor B. Daszczuk
    Pages 1-16
  3. Wiktor B. Daszczuk
    Pages 31-48
  4. Wiktor B. Daszczuk
    Pages 87-97
  5. Wiktor B. Daszczuk
    Pages 99-123
  6. Wiktor B. Daszczuk
    Pages 139-159
  7. Wiktor B. Daszczuk
    Pages 161-192
  8. Wiktor B. Daszczuk
    Pages 193-218
  9. Wiktor B. Daszczuk
    Pages 219-226
  10. Back Matter
    Pages 227-238

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.


Computational Intelligence IMDS Integrated Model of Distributed Systems Distributed Systems Dedan Program Specification and Automatic Verification

Authors and affiliations

  1. 1.Institute of Computer ScienceWarsaw University of TechnologyWarsawPoland

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences