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

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

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

Inhalt

Introduction.- Part I: Equational Specifications and Their Analysis .- Equational Specification in Maude.- Operational Semantics of Equational Specifications.- Termination.- Confluence.- Equational Logic.- Models of Equational Specifications.- Part II: Specification and Analysis of Distributed Systems in Maude .- Modeling Distributed Systems in Rewriting Logic.- Executing Rewriting Logic Specifications in Maude.- Concurrent Objects in Maude.- Modeling Communication in Maude.- Modeling and Analyzing Transport Protocols.- Distributed Algorithms.- Analyzing a Cryptographic Protocol.- System Requirements.- Formalizing and Checking Requirements.- Real-Time and Probabilistic Systems.- Appendix A: Mathematical Preliminaries.