Synopses & Reviews
This unique book stresses a pragmatic, engineering approach to the modelling and analysis of distributed systems. Shows how distributed systems can be analysd using the process notation CCS, temporal logic and automatic tools. Describes steps of the modelling process, explains modelling decisions in detail and shows how to deal with limitations of the theory and tools. After covering basic theory, it describes how CCS has been applied to both classic distributed systems and recently developed industrial systems. In each case the system is modelled, its properties are expressed in temporal logic and the analysis results discussed. Every chapter contains exercises, and appendices describe available analysis tools in detail.For developers interested in distributed systems.
Introduces important new techniques for analyzing distributed systems using CCS.
This book describes how distributed systems can be analyzed using the process of notational CCS, temporal logic, and automatic tools. The core of the book is a series of case studies showing how CCS has been applied to distributed systems recently developed in industry. The book is self-contained. It starts with a discussion of how CCS and its theory address the needs of software engineers, then introduces both CCS and temporal logic. Every chapter contains exercises, and appendices describe available analysis tools in detail.
Includes bibliographical references (p. 162-164) and index.