Skip to main content
  • Textbook
  • © 2017

Designing Reliable Distributed Systems

A Formal Methods Approach Based on Executable Modeling in Maude

  • 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

Part of the book series: Undergraduate Topics in Computer Science (UTICS)

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-1-4471-6687-0
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 79.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (17 chapters)

  1. Back Matter

    Pages 299-313

About this book

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.

Dr. Peter Csaba Ölveczky is a Professor in the Department of Informatics at the University of Oslo, Norway.

 

 

Keywords

  • Abstract Data Types
  • Algebraic and Order-Sorted Specification
  • Communication and Cryptographic Protocols
  • Confluence and Termination
  • Equational and Rewriting Logic
  • Inductive Theorems
  • Model Checking
  • Object-Oriented Modeling
  • Quick-Sort and Merge-Sort
  • Reachability Analysis
  • Simplification and Path Orderings
  • Simulation
  • Temporal Logic
  • Term Rewriting System

Authors and Affiliations

  • University of Oslo, Oslo, Norway

    Peter Csaba Ölveczky

About the author

Dr. Peter Csaba Ölveczky is a Professor in the Department of Informatics at the University of Oslo, Norway.

Bibliographic Information

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-1-4471-6687-0
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 79.99
Price excludes VAT (USA)