STRUCTURAL MODELS FOR SPECIFYING TELEPHONE SYSTEMS

Authors
FACI M LOGRIPPO L STEPIEN B
Citation
M. Faci et al., STRUCTURAL MODELS FOR SPECIFYING TELEPHONE SYSTEMS, Computer networks and ISDN systems, 29(4), 1997, pp. 501-528
Citations number
32
Categorie Soggetti
Computer Sciences","System Science",Telecommunications,"Engineering, Eletrical & Electronic","Computer Science Information Systems
Journal title
Computer networks and ISDN systems → ACNP
ISSN journal
01697552
Volume
29
Issue
4
Year of publication
1997
Pages
501 - 528
Database
ISI
SICI code
0169-7552(1997)29:4<501:SMFSTS>2.0.ZU;2-4
Abstract
Two approaches, resource-oriented and constraint-oriented, for structu ring telephone systems specifications, are presented. Both approaches express behaviour by collections of communicating processes, using the language LOTOS. However, requirements are distributed differently amo ng processes. Examples are taken from specifications of telephone syst ems, first basic, and then with features. The features used as example s are call forwarding, originating call screening, and three-way calli ng. The two structuring methods are compared. (C) 1997 Published by El sevier Science B.V.