DocumentCode
1887180
Title
Multistage, multifaceted analysis of telecommunications network architectures
Author
McCoy, Earl E. ; Zave, Pamela
Author_Institution
AT&T Bell Lab., Holmdel, NJ, USA
fYear
1989
fDate
23-27 Apr 1989
Firstpage
91
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/INFCOM.1989.101438
Filename
101438
Link To Document