Algebraic Specification of Communication Protocols

Abstract

This report is concerned with specifying communication protocols and proving their behavior correct. Many different approaches have been taken for modeling communication protocols; the approach taken here is algebraic. Communication protocols are seen as complex data types and are defined using the algebraic method. The modeling techniques devised are applied to the specification and verification of a complex data transfer protocol. Properties proven include system invariants and those of an operational nature. These experiments have been carried out using the Affirm system for designing abstract data types algebraically and proving their properties.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1981
Accession Number
ADA111744

Entities

People

  • Bernard Berthomieu

Organizations

  • University of Southern California

Tags

Communities of Interest

  • Space

DTIC Thesaurus Topics

  • Abstracts
  • Applied Mathematics
  • Artificial Intelligence
  • Communication Systems
  • Computer Networks
  • Computer Programming
  • Computer Science
  • Data Transmission
  • Digital Communications
  • Information Science
  • Language
  • Network Protocols
  • Network Science
  • Programming Languages
  • Specifications
  • Transport Protocols
  • Verification

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications
  • Educational Psychology
  • Finite Element Method (FEM) for solving Partial Differential Equations (PDEs)