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 条
  • [31] Validation of SDL systems
    Hogrefe, D
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1996, 28 (12): : 1659 - 1667
  • [32] SDL and MSC - Preface
    Haugen, O
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1996, 28 (12): : 1581 - 1583
  • [33] Programming in SDL & UML
    Björkander, M
    DR DOBBS JOURNAL, 2001, 26 (06): : 93 - +
  • [34] Combining SDL and C
    Hakansson, PO
    Karlsson, J
    Verhaard, L
    SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS, 1997, : 383 - 396
  • [35] TEXAS PASCOS 92 - RELATIVISTIC ASTROPHYSICS AND PARTICLE COSMOLOGY - INTRODUCTION
    SILK, J
    SADOULET, B
    ANNALS OF THE NEW YORK ACADEMY OF SCIENCES, 1993, 688 : R13 - R14
  • [36] SDL进程及SDL环境通信接口分析
    罗一静
    段红光
    重庆邮电学院学报(自然科学版), 2003, (03) : 62 - 67
  • [37] SDL DISTRIBUTED SIMULATOR
    Fonseca i Casas, Pau
    2008 WINTER SIMULATION CONFERENCE, VOLS 1-5, 2008, : 2943 - 2943
  • [38] TBX in SDL MultiTerm
    Reineke, Detlef
    TRADUMATICA-TRADUCCIO I TECNOLOGIES DE LA INFORMACIO I LA COMUNICACIO, 2013, (11): : 369 - 382
  • [39] SDL Forum Society
    Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings, 2022,
  • [40] Using metapatterns with SDL
    Worm, T
    SDL'99: THE NEXT MILLENNIUM, 1999, : 355 - 372
12345