Stock photo: cover may vary
Integrated Model of Distributed Systems Other -
by Wiktor B. Daszczuk
- New
A$253.44
A$5.85
Delivery within USA
Standard delivery: 9 to 14 days
More delivery options
Standard delivery: 9 to 14 days
Ships from Cold Books (New York, United States)
Details
- Title Integrated Model of Distributed Systems
- Author Wiktor B. Daszczuk
- Binding Other
- Condition New
- Pages 238
- Volumes 1
- Language ENG
- Publisher Springer
- Publication date
- Illustrated Yes
- Features Illustrated
- Bookseller's Inventory # 6375966428
- ISBN 9783030128340 / 3030128342
- Weight 1.19 lbs (0.54 kg)
- Dimensions 9.21 x 6.14 x 0.63 in (23.39 x 15.60 x 1.60 cm)
- Category Computers - General Information
- Dewey Decimal Code 006.3
- Quantity available 4
About Cold Books New York, United States
Reader reviews for Integrated Model of Distributed Systems
Write a review for this book
Important Terms and Guidelines
- Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
- Reviews must be at least 140 characters in length.
- Please do not reveal critical plot elements.
- This is not a help line. Contact customer support if you need help.
Your review must not include:
- Obscenities, discriminatory language, or other insulting language not suitable for public domain
- Advertisements, “spam” content, or references to other products, offers or websites.
- Email addresses, URLs, phone numbers, physical addresses or other contact information.
- Overly critical comments about other reviews or reviewers
- Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
- Availability, price, or alternative ordering/shipping information
From the publisher
From the rear cover
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 supportthe rapid development of distributed systems. Further, on the basis of the IMDS, the Dedan tool for automatic verification of distributed systems has been developed.
