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.
Les mer
Produktdetaljer
ISBN
9781447166870
Publisert
2018
Utgiver
Vendor
Springer
Språk
Product language
Engelsk
Format
Product format
Digital bok
Forfatter