Integrated Model Of Distributed Systems by Wiktor B. DaszczukIntegrated Model Of Distributed Systems by Wiktor B. Daszczuk

Integrated Model Of Distributed Systems

byWiktor B. Daszczuk

Hardcover | March 26, 2019

Pricing and Purchase Info

$241.50

Earn 1,208 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Integrated Model Of Distributed SystemsFormat:HardcoverDimensions:238 pagesPublished:March 26, 2019Publisher:Springer NatureLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3030128342

ISBN - 13:9783030128340

Reviews

Table of Contents

Preface.- 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.