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

被引:0
|
作者
张尧学
陈桦
张越
刘国丽
机构
关键词
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 条
  • [21] DESCRIPTION OF SIMULATED SYSTEMS USING SDL.
    IONIN, G.L.
    1982, V 16 (N 1): : 24 - 26
  • [22] DESIGN AND ANALYSIS OF FORMAL SPECIFICATIONS WITH THE SDL-MACHINE
    AHRENS, K
    FISCHER, J
    HOLZ, E
    SCHIEFERDECKER, I
    SYSTEMS ANALYSIS MODELLING SIMULATION, 1991, 8 (4-5): : 327 - 342
  • [23] The formal semantics of SDL-2000:: Status and perspectives
    Glässer, U
    Gotzhein, R
    Prinz, A
    COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, 2003, 42 (03): : 343 - 358
  • [24] Formal Automated Transformation of SDL Specifications to Lotos Specifications
    El-Gendy, Hazem
    El Kadhi, Nabil
    Debnath, Narayan
    2008 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1-3, 2008, : 1117 - +
  • [25] Formal automated transformation of lotos specifications to SDL specifications
    El-Gendy, H
    8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIII, PROCEEDINGS: INDUSTRIAL SYSTEMS, 2004, : 237 - 241
  • [26] CST-SDL: A Scenario Description Language for Collaborative Security Training in Cyber Ranges
    Shirmohammadi, Navid
    Ladani, Behrouz Tork
    ISECURE-ISC INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 2025, 17 (01): : 59 - 73
  • [27] Translating OMT* to SDL, coupling Object-Oriented analysis and design with Formal Description Techniques
    Verschaeve, K
    Wydaeghe, B
    Jonckers, V
    Cuypers, L
    METHOD ENGINEERING: PRINCIPLES OF METHOD CONSTRUCTION AND TOOL SUPPORT, 1996, : 126 - 141
  • [28] THE SIMULATION DATA LANGUAGE (SDL) - APPLICATIONS AND EXAMPLES
    STANDRIDGE, CR
    SIMULATION, 1981, 37 (04) : 119 - 130
  • [29] CCITT SDL - OVERVIEW OF THE LANGUAGE AND ITS APPLICATIONS
    SARACCO, R
    TILANUS, PAJ
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1987, 13 (02): : 65 - 74
  • [30] Cinderella SLIPPER: An SDL to C-code generator
    Rauchwerger, Y
    Kristoffersen, F
    Lahav, Y
    SDL 2005: MODEL DRIVEN, PROCEEDINGS, 2005, 3530 : 210 - 223