
Designing Reliable Distributed Systems
A Formal Methods Approach Based on Executable Modeling in Maude
Authors: Ölveczky, Peter Csaba
- Introduces formal modeling of abstract data types and distributed systems
- Does not assume or require any formal methods or theoretical computer science background
- Contains exercises throughout
Buy this book
- About this Textbook
-
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.
- About the authors
-
Dr. Peter Csaba Ölveczky is a Professor in the Department of Informatics at the University of Oslo, Norway.
- Table of contents (17 chapters)
-
-
Introduction
Pages 1-8
-
Equational Specification in Maude
Pages 11-58
-
Operational Semantics of Equational Specifications
Pages 59-66
-
Termination
Pages 67-84
-
Confluence
Pages 85-91
-
Table of contents (17 chapters)
Buy this book

Services for this Book
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Designing Reliable Distributed Systems
- Book Subtitle
- A Formal Methods Approach Based on Executable Modeling in Maude
- Authors
-
- Peter Csaba Ölveczky
- Series Title
- Undergraduate Topics in Computer Science
- Copyright
- 2017
- Publisher
- Springer-Verlag London
- Copyright Holder
- Springer-Verlag London
- eBook ISBN
- 978-1-4471-6687-0
- DOI
- 10.1007/978-1-4471-6687-0
- Softcover ISBN
- 978-1-4471-6686-3
- Series ISSN
- 1863-7310
- Edition Number
- 1
- Number of Pages
- XVIII, 313
- Number of Illustrations
- 11 b/w illustrations, 6 illustrations in colour
- Topics