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 条
  • [21] SPECIFYING MULTIPLEX DATA SYSTEMS
    FLING, JJ
    POWER ENGINEERING, 1976, 80 (02) : 50 - 53
  • [22] Formalisms for Specifying Markovian Population Models
    Henzinger, Thomas A.
    Jobstmann, Barbara
    Wolf, Verena
    REACHABILITY PROBLEMS, PROCEEDINGS, 2009, 5797 : 3 - 23
  • [23] Specifying and diagnostically testing econometric models
    Phillips, R
    INTERNATIONAL JOURNAL OF FORECASTING, 2003, 19 (03) : 523 - 524
  • [24] On efficiently specifying models for model checking
    Nykolaychuk, Mykhaylo
    Lipaczewski, Michael
    Liebusch, Tino
    Ortmeier, Frank
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8822 : 14 - 27
  • [25] Specifying uncertainty in use case models
    Zhang, Man
    Yue, Tao
    Ali, Shaukat
    Selic, Bran
    Okariz, Oscar
    Norgre, Roland
    Intxausti, Karmele
    JOURNAL OF SYSTEMS AND SOFTWARE, 2018, 144 : 573 - 603
  • [26] AVOIDING THE PITFALLS OF SPECIFYING SYSTEMS
    PYM, D
    CONTROL AND INSTRUMENTATION, 1987, 19 (12): : 53 - &
  • [27] FORMALISMS FOR SPECIFYING MARKOVIAN POPULATION MODELS
    Henzinger, Thomas
    Jobstmann, Barbara
    Wolf, Verena
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2011, 22 (04) : 823 - 841
  • [28] Specifying Automated Oracles for Simulink Models
    Nardi, Paulo A.
    Delamaro, Marcio E.
    Baresi, Luciano
    2013 IEEE 19TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA), 2013, : 330 - 333
  • [29] Specifying Evolving Requirements Models with TimedURN
    Aprajita
    Luthra, Sahil
    Mussbacher, Gunter
    2017 IEEE/ACM 9TH INTERNATIONAL WORKSHOP ON MODELLING IN SOFTWARE ENGINEERING (MISE), 2017, : 26 - 32
  • [30] Specifying interdependence in networked systems
    Singpurwalla, ND
    Kong, CW
    IEEE TRANSACTIONS ON RELIABILITY, 2004, 53 (03) : 401 - 405
12345