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 条
  • [31] SDL and MSC description of ETRI software streaming protocol
    Lee, JJ
    Nam, KH
    Choi, W
    Song, D
    Kong, KS
    8TH INTERNATIONAL CONFERENCE ON ADVANCED COMMUNICATION TECHNOLOGY, VOLS 1-3: TOWARD THE ERA OF UBIQUITOUS NETWORKS AND SOCIETIES, 2006, : U1148 - U1151
  • [32] A SDL-based role system description framework
    Department of Computer, Central China Normal University, Wuhan 430072, China
    Huazhong Ligong Daxue Xuebao, 2008, 2 (66-69): : 66 - 69
  • [33] Formal model for SDL specifications based on Timed Rewriting Logic
    Steggles L.J.
    Kosiuczenko P.
    Automated Software Engineering, 2000, 7 (01) : 61 - 90
  • [34] DESCRIPTION OF SYSTEMS BEING MODELED THROUGH THE USE OF SDL
    IONIN, GL
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1982, (01): : 30 - 33
  • [35] Formal verification of SDL systems at the Siemens mobile phone department
    Regensburger, F
    Barnard, A
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1998, 1384 : 439 - 455
  • [36] MSI-SDL: A Semantic Description Language for Multi-source Binary Translation Systems
    Liu, Xiaonan
    Pang, Jianmin
    Yin, Meijuan
    Bai, Lili
    Chen, Wuping
    PROCEEDINGS OF THE 2013 8TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION (ICCSE 2013), 2013, : 957 - 962
  • [37] Integrating Structured Declarative Language (SDL) into ASP Chef
    Alviano, Mario
    Guarasci, Paola
    Reiners, Luis Angel Rodriguez
    Vasile, Ilaria R.
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2024, 2025, 15245 : 374 - 379
  • [38] Describing Layered Communication Architecture in SDL Markup Language
    Babac, Marina Bagic
    Kunstic, Marijan
    Jevtic, Dragan
    JOURNAL OF INFORMATION AND ORGANIZATIONAL SCIENCES, 2010, 34 (01) : 1 - 16
  • [39] DESCRIPTION AND SIMULATION TOOLS FOR COMPUTER NETWORK PROTOCOLS BASED ON SDL
    IONIN, GL
    SUPE, VV
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1986, (06): : 69 - 75
  • [40] Towards a new formal SDL semantics based on abstract state machines
    Glässer, U
    Gotzhein, R
    Prinz, A
    SDL'99: THE NEXT MILLENNIUM, 1999, : 171 - 190