Design and validation of computer protocols
By: Gerard J. Holzmann.
Contributors: American Telephone and Telegraph Company.
Series: Prentice Hall software series
Publisher: Prentice Hall
Published: 1991
Place of publication: Englewood Cliffs, N.J
Language: eng
Format: Hardcover
Number of pages: 500
Subjects: Computer network protocols -- Design.
Description: This text is intended as a comprehensive guide to the design and analysis of computer communications protocols. It introduces a sound discipline for the design of complete and consistent protocol systems, independent of where they are used. This volume discusses the fundamental problems of designing logically consistent methods of communication between multiple computer processes. Standard protocol design problems, such as error control and flow control, are covered in detail, but also structured design methods and the construction of formal validation models. The book contains complete listings and explanations of new protocol validation and design tool called SPIN. Author is in charge of protocol design at Bell Labs. Professionals who bought Tanenbaum's COMPUTER NETWORKS, 2/E and Comer's TCP/IP will buy this. This is the first book to cover automated protocol design and validation tools extensively.
Notes: Includes bibliographical references and indexes.
At head of title: AT & T.
Table of contents: title: Foreword
pagenum: ix; title: Preface
pagenum: xi; label: I
title: Basics; label: 1
title: Introduction
pagenum: 1; label: 2
title: Protocol Structure
pagenum: 19; label: 3
title: Error Control
pagenum: 43; label: 4
title: Flow Control
pagenum: 67; label: II
title: Specification and Modeling; label: 5
title: Validation Modeling
pagenum: 91; label: 6
title: Correctness Requirements
pagenum: 112; label: 7
title: Protocol Design
pagenum: 128; label: 8
title: Finite State Machines
pagenum: 163; label: III
title: Conformance Testing, Synthesis and Validation; label: 9
title: Conformance Testing
pagenum: 189; label: 10
title: Protocol Synthesis
pagenum: 206; label: 11
title: Protocol Validation
pagenum: 217; label: IV
title: Design Tools; label: 12
title: A Protocol Simulator
pagenum: 247; label: 13
title: A Protocol Validator
pagenum: 298; label: 14
title: Using the Validator
pagenum: 318; title: Conclusions
pagenum: 350; title: References
pagenum: 351; label: A
title: Data Transmission
pagenum: 369; label: B
title: Flow Chart Language
pagenum: 382; label: C
title: Promela Language Report
pagenum: 385; label: D
title: Spin Simulator Source
pagenum: 394; label: E
title: Spin Validator Source
pagenum: 433; label: F
title: Promela File Transfer Protocol
pagenum: 483; title: Name Index
pagenum: 491; title: Subject Index
pagenum: 493