FORMAL METHODS FOR TELECOMMUNICATION SYSTEM REQUIREMENTS - A SURVEY OF STANDARDIZED LANGUAGES

Authors
ARDIS MA
Citation
Ma. Ardis, FORMAL METHODS FOR TELECOMMUNICATION SYSTEM REQUIREMENTS - A SURVEY OF STANDARDIZED LANGUAGES, ANNALS OF SOFTWARE ENGINEERING, 3, 1997, pp. 157-187
Citations number
22
Categorie Soggetti
Computer Science Software Graphycs Programming","Computer Science Software Graphycs Programming
Journal title
ANNALS OF SOFTWARE ENGINEERING → ACNP
ISSN journal
10227091
Volume
3
Year of publication
1997
Pages
157 - 187
Database
ISI
SICI code
1022-7091(1997)3:<157:FMFTSR>2.0.ZU;2-U
Abstract
Modem telecommunications systems are so complicated that informal lang uages are no longer sufficient for expressing their requirements. A br ief introduction to the nature of requirements for telecommunication s ystems is given in this paper. The three standardized formal languages for telecommunications, Estelle, LOTOS, and SDL, are described and co mpared. Each language is evaluated, and a comparison of all three is o ffered. Throughout the paper a common example is used.