Get 40% off our selection of bestselling print books in Engineering through October 31st!

Undergraduate Topics in Computer Science

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
see more benefits

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-1-4471-6687-0
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-1-4471-6686-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Video

Table of contents (17 chapters)

  • Introduction

    Ölveczky, Peter Csaba

    Pages 1-8

  • Equational Specification in Maude

    Ölveczky, Peter Csaba

    Pages 11-58

  • Operational Semantics of Equational Specifications

    Ölveczky, Peter Csaba

    Pages 59-66

  • Termination

    Ölveczky, Peter Csaba

    Pages 67-84

  • Confluence

    Ölveczky, Peter Csaba

    Pages 85-91

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-1-4471-6687-0
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-1-4471-6686-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Designing Reliable Distributed Systems
Book Subtitle
A Formal Methods Approach Based on Executable Modeling in Maude
Authors
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 and Tables
11 b/w illustrations, 6 illustrations in colour
Topics