EAN: 9783030128340

INTEGRATED MODEL OF DISTRIBUTED SYSTEMS - WIKTO...

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.

Aktuelle Preise zur EAN 9783030128340

Produktinformationen zur 9783030128340