Escort: An Environment for Specifying Communication Requirements

Authors:
Yasushi Wakahara;Yoshiaki Kakuda;Atsushi Ito;Eiji Utsunomiya
Affiliations:
-;-;-;-
Venue:
IEEE Software
Year:
1989

Citing 4
Cited 3

Prototyping system for telecommunications software based on abstract execution of requirements specifications

Computer Networks and ISDN Systems - CCITT SDL
Spanner: A Tool for the Specification, Analysis, and Evaluation of Protocols

IEEE Transactions on Software Engineering
An Acyclic Expansion Algorithm for Fast Protocol Validation

IEEE Transactions on Software Engineering
SDL `87: State of the Art and Future Trends: Proceedings of the Third SDL Forum, the Hague, Netherlands, April 1987

SDL `87: State of the Art and Future Trends: Proceedings of the Third SDL Forum, the Hague, Netherlands, April 1987

t An Integrated Approach to Design of Protocol Specifications Using Protocol Validation and Synthesis

IEEE Transactions on Computers - Special issue on protocol engineering
Synthesis of Behavioral Models from Scenarios

IEEE Transactions on Software Engineering
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.01

Visualization

Abstract

A prototype specification support system, Escort, is described that incorporates novel validation, verification, and simplification methods for telecommunications software specifications. Unix was adapted as the operating system for Escort, and many of Escort's tools were designed and implemented by making full use of the Unix facilities. Escort identifies three kinds of specification errors: errors in the grammar of the specification language, called syntax errors; those that degrade consistency and completeness, called logical errors; and those that degrade correctness, called semantic errors. It detects these errors using syntax analysis, validation, and verification, respectively.