Introduction to SDL-92

被引：5
|
作者：
Sarma, A
机构：
[1] EURESCOM GmbH, D-69118 Heidelberg
来源：
COMPUTER NETWORKS AND ISDN SYSTEMS | 1996年 / 28卷 / 12期
关键词：
SDL; SDL-92; SDL-88; SDL-84; specification; languages; object-orientation; abstraction; types; specialization; remote procedures; nondeterminism;
D O I：
10.1016/0169-7552(95)00120-4
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
SDL-92 is introduced in the paper, thereby concentrating on its advanced aspects. This especially refers to features of the language not available in SDL-88, the previous version of SDL. The paper shows how SDL deals with abstraction and the use of types within the newly introduced concepts of object-orientation. Other new features dealt with are remote procedures and nondeterminism. An incomplete example illustrates how a system may be specified, thereby making use of a number of the new concepts. Various hierarchical levels, such as system, block, process, procedure and service are covered. Some differences to SDL-88 are listed and the reader is given some advice on further reading and education.
引用
收藏
页码：1603 / 1615
页数：13
相关论文
共 50 条
  • [1] INTRODUCTION TO SDL-92
    FAERGEMAND, O
    OLSEN, A
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1994, 26 (09): : 1143 - 1167
  • [2] Introduction to SDL-92
    Faergemand, Ove, 1600, Publ by Elsevier Science Publishers B.V., Amsterdam, Netherlands (26):
  • [3] SDL-92: analysis and actual state
    Elektrosvyaz, 9 (25-28):
  • [4] Application of SDL-92 for the specification of OSI management systems
    Rodríguez, M
    Calmeau, R
    Fernández, E
    INTEGRATED NETWORK MANAGEMENT VI: DISTRIBUTED MANAGEMENT FOR THE NETWORKED MILLENNIUM, 1999, : 447 - 460
  • [5] Telecommunication software development using SDL-92: Practical experience
    Hatim, B
    ODroma, M
    SECOND IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS: HELD JOINTLY WITH 6TH CSESAW, 4TH IEEE RTAW, AND SES'96, 1996, : 273 - 277
  • [6] Specification and testing of the behavior of network management agents using SDL-92
    Henniger, O
    Barbeau, M
    Sarikaya, B
    IEEE-ACM TRANSACTIONS ON NETWORKING, 1996, 4 (06) : 951 - 962
  • [7] Specification and testing of the behavior of network management agents using SDL-92 (vol 4, pg 951, 1996)
    Henniger, O
    Barbeau, M
    Sarikaya, B
    IEEE-ACM TRANSACTIONS ON NETWORKING, 1997, 5 (02) : 328 - 328
  • [8] SDL’92简介
    陈绍强，杨放春
    计算机与通信, 1995, (03) : 14 - 15
  • [9] Introduction to Volume 92
    Westhoff, Carolyn L.
    CONTRACEPTION, 2015, 92 (01) : 1 - 2
  • [10] Introduction of intermediate mechanisation with SDL in SECL - A success story
    Surana, H.R.
    Ghosh, D.
    Journal of Mines, Metals and Fuels, 47 (06): : 138 - 142
12345