Formal Design of Communication Protocols Using Estelle.

Abstract

In 1989, Estelle was approved as one of two ISO International Standard Formal Description Techniques (FDT) for the formal specification of computer communication protocols. Based on communicating extended finite state machines (CEFSM), Estelle has a formal, mathematical, implementation-independent semantics. It is an expressive, well-defined, well-structured language that is capable of specifying distributed, concurrent information processing systems in a complete, consistent, concise and unambiguous manner. Over the past 3 years with the support of ARO and US Army CECOM, the PI has derived a number of results in the areas: Extensions and enhancements of Estelle; Protocol Visualization, and Automatic Test Case Generation. These results described herein.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 21, 1994
Accession Number
ADA290584

Entities

People

  • Paul D. Amer

Organizations

  • University of Delaware

Tags

Communities of Interest

  • Human Systems

DTIC Thesaurus Topics

  • Automatic
  • Computer Communications
  • Computer Networks
  • Computers
  • Computing System Architectures
  • Demographic Cohorts
  • Engineers
  • Information Processing
  • Information Science
  • Information Systems
  • Language
  • Military Research
  • Scientists
  • Sequences
  • Specifications
  • Standards
  • Visualizations

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Electrical Engineering
  • Software Engineering.