Structural models for specifying telephone systems

被引：9
|
作者：
Faci, M [1 ]
Logrippo, L [1 ]
Stepien, B [1 ]
机构：
[1] UNIV OTTAWA, DEPT COMP SCI, TELECOMMUN SOFTWARE ENGN RES GRP, OTTAWA, ON K1N 6N5, CANADA
来源：
COMPUTER NETWORKS AND ISDN SYSTEMS | 1997年 / 29卷 / 04期
关键词：
telephone systems; telephone features; formal specification; specification styles; design; architecture; structure; LOTOS;
D O I：
10.1016/S0169-7552(96)00110-9
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Two approaches, resource-oriented and constraint-oriented, for structuring telephone systems specifications, are presented. Both approaches express behaviour by collections of communicating processes, using the language LOTOS. However, requirements are distributed differently among processes. Examples are taken from specifications of telephone systems, first basic, and then with features. The features used as examples are call forwarding, originating call screening, and three-way calling. The two structuring methods are compared. (C) 1997 Published by Elsevier Science B.V.
引用
收藏
页码：501 / 528
页数：28
相关论文
共 50 条
12345