Escort: an environment for specifying communication requirements
- 1 March 1989
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software
- Vol. 6 (2) , 38-43
- https://doi.org/10.1109/52.23128
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
This publication has 4 references indexed in Scilit:
- An acyclic expansion algorithm for fast protocol validationIEEE Transactions on Software Engineering, 1988
- Prototyping system for telecommunications software based on abstract execution of requirements specificationsComputer Networks and ISDN Systems, 1987
- Spanner: A Tool for the Specification, Analysis, and Evaluation of ProtocolsIEEE Transactions on Software Engineering, 1987
- Towards Analyzing and Synthesizing ProtocolsIEEE Transactions on Communications, 1980