SDL-TRAN-An Interactive Generator for Formal Description Language SDL

被引：0
|
作者：
张尧学
陈桦
张越
刘国丽
机构：
来源：
JournalofComputerScienceandTechnology | 1996年 / 01期
关键词：
Computer networking; communication system; formal specification; FSM; SDL;
D O I：
暂无
中图分类号：
TP312 [程序语言、算法语言];
学科分类号：
摘要：
SDL (Specification and Description Language) is an international standardformal description language which has been widely used for the specificationand description of communication systems. SDL is based on the concept ofthe state oriellted description technique - FSM (Finite State Machine). Thispaper reports an interactive generator for SDL, named SDL-TRAN, which canautomatically translate FSM expression into SDL description. Except for itsaatomatic translation part, SDLTRAN includes an userfriendly graPhical ed-itor which is used to get the other part of SDL description which cannot beautomatically translated.
引用
收藏
页码：49 / 60
页数：12
相关论文
共 50 条
  • [41] A methodology for developing simulation models of ATM networks in SDL language
    Vidal, JR
    Guijarro, L
    COMPUTER COMMUNICATIONS, 2002, 25 (03) : 265 - 287
  • [42] Modeling, verifying and testing mobility protocol from SDL language
    Noudem, FN
    Viho, C
    SDL 2005: MODEL DRIVEN, PROCEEDINGS, 2005, 3530 : 198 - 209
  • [43] Modelling and analysing the SDL description of the ISDN-DSS1 protocol
    Husberg, N
    Tynjälä, T
    Varpaaniemi, K
    APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 244 - 260
  • [44] SHORTEST-PATH FOREST WITH TOPOLOGICAL ORDERING - AN ALGORITHM DESCRIPTION IN SDL
    DIAL, R
    GLOVER, F
    KARNEY, D
    KLINGMAN, D
    TRANSPORTATION RESEARCH PART B-METHODOLOGICAL, 1980, 14 (04) : 343 - 347
  • [45] Description and validation of the Media Gateway Control Protocol (MGCP) using SDL/MSC
    Wang, LG
    Agarwal, A
    Atwood, JW
    CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING 2001, VOLS I AND II, CONFERENCE PROCEEDINGS, 2001, : 993 - 998
  • [46] A methodology and algorithms for efficient interprocess communication synthesis from system description in SDL
    Svantesson, B
    Kumar, S
    Hemani, A
    ELEVENTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 1997, : 78 - 84
  • [47] Prototyping of embedded digital systems from SDL language: A case study
    Marcon, CAM
    Hessel, F
    Amory, AM
    Ries, LHL
    Moraes, FG
    Calazans, NLV
    SEVENTH IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2002, : 133 - 138
  • [48] On Formal Modeling and Validation of Signaling Protocols for Web Real-Time Communications using SDL
    El Hamzaoui, Asma
    En-Nouaary, Abdeslam
    Bensaid, Hicham
    9TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT 2018) / THE 8TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT-2018) / AFFILIATED WORKSHOPS, 2018, 130 : 1005 - 1012
  • [49] Prototyping from SDL specifications using a real-time concurrent logic language
    Kovacevic, R
    Prairie, D
    Dasiewicz, P
    1997 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, CONFERENCE PROCEEDINGS, VOLS I AND II: ENGINEERING INNOVATION: VOYAGE OF DISCOVERY, 1997, : 265 - 268
  • [50] The language dynamic-real and its application for verification of SDL-specified distributed systems
    Nepomniaschy, V. A.
    Bodin, E. V.
    Veretnov, S. O.
    PROGRAMMING AND COMPUTER SOFTWARE, 2015, 41 (01) : 41 - 48
12345