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 条

[41] Rural telephone systems
Anon
American City & County, 1990, 105 (11)
[42] MOBILE TELEPHONE SYSTEMS
VILLFORTH, JC
JAMA-JOURNAL OF THE AMERICAN MEDICAL ASSOCIATION, 1985, 253 (11): : 1634 - 1634
[43] SPECIFYING COMMUNICATING SYSTEMS WITH TEMPORAL LOGIC
CHAOCHEN, Z
TEMPORAL LOGIC IN SPECIFICATION, 1989, 398 : 304 - 323
[44] SPECIFYING MULTIPLEX DATA SYSTEMS.
Fling, John J.
Power Engineering (Barrington, Illinois), 1976, 8 (02): : 50 - 53
[45] Specifying power supplies for embedded systems
Kingsepp, P
Rozenblat, L
ELECTRONIC PRODUCTS MAGAZINE, 2001, 43 (10): : 55 - 56
[46] A SIMPLE APPROACH TO SPECIFYING CONCURRENT SYSTEMS
LAMPORT, L
COMMUNICATIONS OF THE ACM, 1989, 32 (01) : 32 - 45
[47] SPECIFYING WATER-TREATMENT SYSTEMS
GIENGER, JK
KRANZMANN, B
POWER ENGINEERING, 1995, 99 (10) : 49 - 53
[48] Specifying concurrent systems with TLA+
Lamport, L
CALCULATIONAL SYSTEM DESIGN, 1999, 173 : 183 - 247
[49] Specifying agent beliefs for authentication systems
Ma, Ji
Orgun, Mehmet A.
ECUMN 2007: FOURTH EUROPEAN CONFERENCE ON UNIVERSAL MULTISERVICE NETWORKS, PROCEEDINGS, 2007, : 410 - +
[50] SPECIFYING DISTRIBUTED ACQUISITION-SYSTEMS
KIBASI, K
CONTROL AND INSTRUMENTATION, 1986, 18 (06): : 65 - 65

← 1 2 3 4 5 →