Accession Number : ADA290584

Title :   Formal Design of Communication Protocols Using Estelle.

Descriptive Note : Final rept. 1 Apr 91-30 Jul 94,

Corporate Author : DELAWARE UNIV NEWARK DEPT OF COMPUTER AND INFORMATION SCIENCES

Personal Author(s) : Amer, Paul D.

PDF Url : ADA290584

Report Date : 21 OCT 1994

Pagination or Media Count : 7

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.

Descriptors :   *SYSTEMS ENGINEERING, *COMPUTER COMMUNICATIONS, TEST AND EVALUATION, SPECIFICATIONS, STRUCTURAL PROPERTIES, PROGRAMMING LANGUAGES, SEMANTICS, MACHINES, INTERNATIONAL, AUTOMATIC, INFORMATION PROCESSING.

Subject Categories : Computer Programming and Software
      Computer Systems

Distribution Statement : APPROVED FOR PUBLIC RELEASE