USING Z TO SPECIFY TELEPHONE FEATURES

Authors
MATAGA P ZAVE P
Citation
P. Mataga et P. Zave, USING Z TO SPECIFY TELEPHONE FEATURES, Information and software technology, 37(5-6), 1995, pp. 277-283
Citations number
15
Categorie Soggetti
Computer Sciences","Information Science & Library Science","Computer Science Information Systems","Computer Science Software Graphycs Programming
Journal title
Information and software technology → ACNP
ISSN journal
09505849
Volume
37
Issue
5-6
Year of publication
1995
Pages
277 - 283
Database
ISI
SICI code
0950-5849(1995)37:5-6<277:UZTSTF>2.0.ZU;2-5
Abstract
This paper gives a very brief overview of a formal specification of th e behaviour of a set of about 10 realistic features for ISDN telephone s, The full specification employs a multiparadigm technique in which p artial specifications in different languages are composed, but the foc us here is on the use of the Z notation to specify call processing and subscriber database aspects of telephone features, Our experiences wi th the approach, and with Z in particular, are discussed.