
Integrated Model of Distributed Systems
Kurzinformation



inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar

Beschreibung
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. von Daszczuk, Wiktor B.
Produktdetails

So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- Hardcover
- 756 Seiten
- Erschienen 2011
- Cambridge University Press
- paperback
- 704 Seiten
- Erschienen 2006
- Pev
- Hardcover
- 240 Seiten
- Erschienen 2023
- Wiley-Scrivener
- Gebunden
- 378 Seiten
- Erschienen 2012
- Springer
- Hardcover
- 296 Seiten
- Erschienen 2006
- Wiley
- Gebunden
- 404 Seiten
- Erschienen 2014
- Springer
- Kartoniert
- 428 Seiten
- Erschienen 2018
- De Gruyter Oldenbourg
- Hardcover
- 316 Seiten
- Erschienen 2014
- Springer
- Kartoniert
- 208 Seiten
- Erschienen 2011
- Springer
- Gebunden
- 347 Seiten
- Erschienen 2011
- Springer
- Taschenbuch
- 246 Seiten
- Erschienen 2018
- Asterys
- Gebunden
- 334 Seiten
- Erschienen 2007
- Springer
- Hardcover
- 352 Seiten
- Erschienen 2023
- Wiley-IEEE Press