Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude 2017 Edition Contributor(s): Ölveczky, Peter Csaba (Author) |
|
ISBN: 1447166868 ISBN-13: 9781447166863 Publisher: Springer OUR PRICE: $75.99 Product Type: Paperback - Other Formats Published: February 2018 |
Additional Information |
BISAC Categories: - Computers | Software Development & Engineering - General - Computers | Computer Simulation - Mathematics | Logic |
Dewey: 003.3 |
Series: Undergraduate Topics in Computer Science |
Physical Information: 0.73" H x 6.22" W x 9.13" (1.21 lbs) 313 pages |
Descriptions, Reviews, Etc. |
Publisher Description: This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting logic-based language and simulation and model checking tool, which offers a simple and intuitive modeling formalism that is suitable for modeling distributed systems in an attractive object-oriented and functional programming style.Topics and features: introduces classical algebraic specification and term rewriting theory, including reasoning about termination, confluence, and equational properties; covers object-oriented modeling of distributed systems using rewriting logic, as well as temporal logic to specify requirements that a system should satisfy; provides a range of examples and case studies from different domains, to help the reader to develop an intuitive understanding of distributed systems and their design challenges; examples include classic distributed systems such as transport protocols, cryptographic protocols, and distributed transactions, leader election, and mutual execution algorithms; contains a wealth of exercises, including larger exercises suitable for course projects, and supplies executable code and supplementary material at an associated website. This self-contained textbook is designed to support undergraduate courses on formal methods and distributed systems, and will prove invaluable to any student seeking a reader-friendly introduction to formal specification, logics and inference systems, and automated model checking techniques. |