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 条
  • [1] Formal operations for SDL language profiles
    Grammes, Ruediger
    System Analysis and Modeling: Language Profiles, 2006, 4320 : 49 - 63
  • [2] Engineering the SDL formal language definition
    Prinz, A
    Von Löwis, M
    FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2003, 2884 : 47 - 63
  • [3] SDL - CCITT SPECIFICATION AND DESCRIPTION LANGUAGE
    ROCKSTROM, A
    SARACCO, R
    IEEE TRANSACTIONS ON COMMUNICATIONS, 1982, 30 (06) : 1310 - 1318
  • [4] AN OVERVIEW OF SDL, THE CCITT SPECIFICATION AND DESCRIPTION LANGUAGE
    GERRAND, P
    BIERMAN, E
    TELECOMMUNICATION JOURNAL, 1982, 49 (05): : 285 - 291
  • [5] SDL: CCITT SPECIFICATION AND DESCRIPTION LANGUAGE.
    Rockstrom, A.
    Saracco, Roberto
    CSELT Rapporti Tecnici (Centro Studi e Laboratori Telecomunicazioni), 1982, 10 (02): : 101 - 105
  • [6] THE CCITT-SPECIFICATION AND DESCRIPTION LANGUAGE SDL
    BELINA, F
    HOGREFE, D
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1989, 16 (04): : 311 - 341
  • [7] Design and validate embedded SW with the formal language SDL
    Conquet, E
    Touet, G
    DATA SYSTEMS IN AEROSPACE - PROCEEDINGS, 1998, : 33 - 39
  • [8] Generating a compiler for SDL from the formal language definition
    Prinz, A
    von Löwis, M
    SDL 2003: SYSTEM DESIGN, PROCEEDINGS, 2003, 2708 : 150 - 165
  • [9] 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
  • [10] A generic video parsing system with a scene description language (SDL)
    Gong, YH
    Chuan, CH
    Zhu, YW
    Sakauchi, M
    REAL-TIME IMAGING, 1996, 2 (01) : 45 - 59