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 条
  • [41] SDL in a changing world
    Sherratt, E
    SYSTEM ANALYSIS AND MODELING, 2005, 3319 : 96 - 105
  • [42] SDL - The IoT Language
    Sherratt, Edel
    Ober, Ileana
    Gaudin, Emmanuel
    Fonseca i Casas, Pau
    Kristoffersen, Finn
    SDL 2015: MODEL-DRIVEN ENGINEERING FOR SMART CITIES, 2015, 9369 : 27 - 41
  • [43] TESTABILITY IN THE CONTEXT OF SDL
    ELLSBERGER, J
    KRISTOFFERSEN, F
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 8 : 319 - 333
  • [44] IMPLEMENTING SDL IN OCCAM
    CRUTCHER, LA
    BARTON, MH
    SOFTWARE ENGINEERING JOURNAL, 1988, 3 (03): : 78 - 85
  • [45] SDL语言研究
    科卞
    电子科技大学学报, 1992, (01) : 74 - 74
  • [46] Prototyping SDL Extensions
    Blunk, Andreas
    Fischer, Joachim
    SYSTEM ANALYSIS AND MODELING: MODELS AND REUSABILITY, 2014, 8769 : 304 - 311
  • [47] Deployment of Google Classroom to Enhance SDL Cognitive Skills: A Case Study of Introduction to Information Technology Course
    Hemrungrote, Sirichai
    Jakkaew, Prasara
    Assawaboonmee, Somphong
    2017 INTERNATIONAL CONFERENCE ON DIGITAL ARTS, MEDIA AND TECHNOLOGY (ICDAMT): DIGITAL ECONOMY FOR SUSTAINABLE GROWTH, 2017, : 200 - 204
  • [48] Obtaining an SDL Entity Identifier Using SDL/SystemC Co-modeling
    Morozkin, Pavel
    PROCEEDINGS OF THE 2012 12TH CONFERENCE OF OPEN INNOVATIONS ASSOCIATION (FRUCT) AND SEMINAR ON E-TRAVEL, 2012, : 80 - 85
  • [49] Formal definition of SDL-2000 -: Compiling and running SDL specifications as ASM models
    Eschbach, R
    Glässer, U
    Gotzhein, R
    von Löwis, M
    Prinz, A
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2001, 7 (11): : 1024 - 1049
  • [50] INVITED PAPERS FROM CLINBIO 92 AND 93 - CAPRI, ITALY - INTRODUCTION
    SALVATORE, F
    PANE, F
    CLINICA CHIMICA ACTA, 1994, 228 (01) : 1 - 2