Title :
Multistage, multifaceted analysis of telecommunications network architectures
Author :
McCoy, Earl E. ; Zave, Pamela
Author_Institution :
AT&T Bell Lab., Holmdel, NJ, USA
Abstract :
It is shown that a multilanguage approach can provide more useful feedback than the use of any single specification language by itself. The point is illustrated by an architectural model written in two executable specification languages, PAISLey and CSP. The model can be subjected to formal type checking, protocol analysis and timing analysis. In all three cases, a notion of consistency between developmental stages of the model is enforced
Keywords :
protocols; specification languages; telecommunication networks; CSP; PAISLey; formal type checking; multifaceted analysis; multilanguage approach; multistage analysis; protocol analysis; specification languages; telecommunications network architectures; timing analysis; Algorithm design and analysis; Communication switching; Feedback; Formal languages; ISDN; Protocols; Specification languages; Switches; Telephony; Testing;
Conference_Titel :
INFOCOM '89. Proceedings of the Eighth Annual Joint Conference of the IEEE Computer and Communications Societies. Technology: Emerging or Converging, IEEE
Conference_Location :
Ottawa, Ont.
Print_ISBN :
0-8186-1920-1
DOI :
10.1109/INFCOM.1989.101438
