Escort: an environment for specifying communication requirements

Author

Wakahara, Yasushi ; Kakuda, Yoshiaki

Author_Institution

KDD, Saitama, Japan

Volume

6

Issue

2

fYear

1989

fDate

3/1/1989 12:00:00 AM

Firstpage

38

Lastpage

43

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.<>

Keywords

Unix; grammars; program verification; programming environments; software tools; specification languages; telecommunications computing; Escort; Unix; communication requirements; grammar; logical errors; operating system; prototype specification support system; semantic errors; specification errors; specification language; syntax analysis; syntax errors; telecommunications software specifications; validation; verification; Concrete; Formal specifications; Large-scale systems; Productivity; Protocols; Prototypes; Software maintenance; Software prototyping; Software quality; System recovery;

fLanguage

English

Journal_Title

Software, IEEE

Publisher

ieee

ISSN

0740-7459

Type

jour

DOI

10.1109/52.23128

Filename

23128