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 条

[31] On Efficiently Specifying Models for Model Checking
Nykolaychuk, Mykhaylo
Lipaczewski, Michael
Liebusch, Tino
Ortmeier, Frank
MODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2014, 2014, 8822 : 14 - 27
[32] Re-specifying structural models in meta-analysis utilizing endogeneous construct error covariances
Daly, SP
2001 AMA WINTER EDUCATORS' CONFERENCE - MARKETING THEORY AND APPLICATIONS, 2001, 12 : 152 - 160
[33] Specifying formatively-measured constructs in endogenous positions in structural equation models: Caveats and guidelines for researchers
Temme, Dirk
Diamantopoulos, Adamantios
Pfegfeidel, Vanessa
INTERNATIONAL JOURNAL OF RESEARCH IN MARKETING, 2014, 31 (03) : 309 - 316
[34] Enterprise information systems: Specifying the links among project data models using category theory
Johnson, M
Dampney, CNG
ENTERPRISE INFORMATION SYSTEMS III, 2002, : 191 - 197
[35] New guidelines for specifying DDC systems
Pittel, O
Ehrlich, P
ASHRAE JOURNAL, 2001, 43 (07) : 31 - 33
[36] Specifying communication in distributed information systems
Hans-Dieter Ehrich
Carlos Caleiro
Acta Informatica, 2000, 36 : 591 - 616
[37] Specifying communication in distributed information systems
Ehrich, HD
Caleiro, C
ACTA INFORMATICA, 2000, 36 (08) : 591 - 616
[38] Airborne telephone systems
Business & Commercial Aviation, 2000, 86 (05):
[39] ConcurTaskTrees: A diagrammatic notation for specifying task models
Paterno, F
Mancini, C
Meniconi, S
HUMAN-COMPUTER INTERACTION - INTERACT '97, 1997, : 362 - 369
[40] PRIORITIES IN TELEPHONE SYSTEMS
PROKOFYE.VA
TELECOMMUNICATIONS AND RADIO ENGINEER-USSR, 1969, (04): : 37 - &

← 1 2 3 4 5 →