A formal description technique and an environment for protocol engineering

被引：0
|
作者：
Chung, A [1 ]
Sidhu, D [1 ]
机构：
[1] Depaul Univ, Sch Comput Sci Telecommun & Informat Syst, Chicago, IL 60604 USA
来源：
INTERNATIONAL SOCIETY FOR COMPUTERS AND THEIR APPLICATIONS 13TH INTERNATIONAL CONFERENCE ON COMPUTERS AND THEIR APPLICATIONS | 1998年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Protocols are complex software systems and key components of distributed systems. They must be specified completely and implemented correctly. Formal description techniques, such as ISO (International Standards Organization) Estelle, facilitate the development of unambiguous, complete and correct protocol specifications. The Estelle Development System (EDS) is a comprehensive protocol development environment for protocol designers and implementers for protocols specified in Estelle. This paper describes the features of the Estelle Development System (EDS) tools and experiences with them. The capabilities of the main components are demonstrated with an example protocol.
引用
收藏
页码：131 / 135
页数：5
相关论文
共 50 条
  • [1] From Petri nets to formal description techniques and protocol engineering
    Luo, Junzhou
    Shen, Jun
    Gu, Guanqun
    Ruan Jian Xue Bao/Journal of Software, 2000, 11 (05): : 606 - 615
  • [2] Modeling LTE Protocol for Mobile Terminals Using a Formal Description Technique
    Showk, Anas
    Szczesny, David
    Traboulsi, Shadi
    Badr, Irv
    Gonzalez, Elizabeth
    Bilgic, Attila
    SDL 2009: DESIGN FOR MOTES AND MOBILES, PROCEEDINGS, 2009, 5719 : 222 - +
  • [3] Method Engineering: A Formal Description
    Sunyaev, Ali
    Hansen, Matthias
    Krcmar, Helmut
    INFORMATION SYSTEMS DEVELOPMENT: TOWARDS A SERVICE PROVISION SOCIETY, 2009, : 645 - 654
  • [4] FORMAL DESCRIPTION OF PROTOCOL STANDARDS AND THEIR REALIZATION
    ZAITSEV, SS
    AUTOMATION AND REMOTE CONTROL, 1988, 49 (05) : 663 - 669
  • [5] A Formal Description and Verification of Authentication Protocol
    Yuan, Zhanting
    Kang, Xu
    Zhang, Qiuyu
    Liang, Shuang
    DCABES 2008 PROCEEDINGS, VOLS I AND II, 2008, : 735 - 740
  • [6] An environment for formal lingware engineering
    Gargouri, B
    Jmaiel, M
    Ben Hamadou, A
    ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2001, : 451 - 453
  • [7] A formal framework for interaction protocol engineering
    Alonso, F
    Frutos, S
    López, G
    Soriano, J
    MULTI-AGENT SYSTEMS AND APPLICATIONS IV, PROCEEDINGS, 2005, 3690 : 21 - 30
  • [8] Study on formal description style of network protocol
    Li, Layuan
    Xiaoxing Weixing Jisuanji Xitong/Mini-Micro Systems, 19 (03): : 62 - 69
  • [9] FORMAL DESCRIPTION TECHNIQUES AND AUTOMATED PROTOCOL SYNTHESIS
    CARCHIOLO, V
    FARO, A
    GIORDANO, D
    INFORMATION AND SOFTWARE TECHNOLOGY, 1992, 34 (08) : 513 - 521
  • [10] SELECTION-BASED FORMAL DESCRIPTION OF AN ENVIRONMENT
    KRAMOSIL, I
    KYBERNETIKA, 1976, 12 (03) : 127 - 150
12345