GUIDELINES FOR USING ESTELLE TO SPECIFY OSI SERVICES AND PROTOCOLS

被引：1
|
作者：
SIJELMASSI, R [1 ]
LINN, RJ [1 ]
机构：
[1] US DEPT COMMERCE,NATL INST STAND & TECHNOL,NATL COMP SYST LAB,GAITHERSBURG,MD 20899
来源：
COMPUTER NETWORKS AND ISDN SYSTEMS | 1992年 / 23卷 / 05期
关键词：
BASIC REFERENCE MODEL (BRM); COMPUTER COMMUNICATION PROTOCOLS; ESTELLE; FORMAL DESCRIPTION TECHNIQUES (FDT); OPEN SYSTEMS INTERCONNECTION (OSI);
D O I：
10.1016/0169-7552(92)90012-F
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The Open Systems Interconnection Basic Reference Model describes basic structures and mechanisms which are a framework for the specification of computer communication protocols and services. Estelle is a formal description technique for specifying such protocols and services. A general design method is presented to specify protocol concepts using Estelle. Emphasis is put on a modular approach to the specification of protocols and services based on reusable descriptions of general service facilities and protocol functions in Estelle. Also stressed is the idea that protocols are implementations of services. A service description may be refined into a protocol specification, if a precise description of the service provided by lower layers is available. This approach is illustrated by example.
引用
收藏
页码：343 / 362
页数：20
相关论文
共 50 条
  • [21] OSI SERVICES FOR TRANSACTION PROCESSING
    BEVER, M
    FELDHOFFER, M
    PAPPE, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 359 : 2 - 19
  • [22] Generality design for testing OSI and Internet protocols
    Li, ZJ
    Wu, JP
    Yin, X
    APCC 2003: 9TH ASIA-PACIFIC CONFERENCE ON COMMUNICATION, VOLS 1-3, PROCEEDINGS, 2003, : 253 - 258
  • [23] EHPVS - A PROTOCOL VERIFICATION SYSTEM FOR VERIFYING PROTOCOLS SPECIFIED IN ESTELLE
    HUANG, CM
    HSU, JM
    JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS, 1995, 18 (03) : 379 - 390
  • [24] Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets
    V. A. Nepomniaschy
    G. I. Alekseev
    A. V. Bystrov
    S. P. Myl'nikov
    E. V. Okunishnikova
    P. A. Chubarev
    T. G. Churina
    Programming and Computer Software, 2001, 27 : 58 - 68
  • [25] Verification of Estelle-specified communication protocols using high-level Petri nets
    Nepomniaschy, VA
    Alekseev, GI
    Bystrov, AV
    Myl'nikov, SP
    Okunishnikova, EV
    Chubarev, PA
    Churina, TG
    PROGRAMMING AND COMPUTER SOFTWARE, 2001, 27 (02) : 58 - 68
  • [26] ETS - A PERFORMANCE PREDICTION TOOL FOR PROTOCOLS SPECIFIED IN FDT ESTELLE
    CHLAMTAC, I
    SATAM, KG
    MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 651 - 658
  • [27] ESTELLE:: A method to analyze automatically the performance of telecontrol protocols in SCADA systems
    Medina, V
    Gómez, I
    Luque, J
    Martín, S
    IEEE TRANSACTIONS ON POWER DELIVERY, 2002, 17 (03) : 712 - 717
  • [28] OSI MANAGEMENT AND JOB TRANSFER SERVICES
    LANGSFORD, A
    NAEMURA, K
    SPETH, R
    PROCEEDINGS OF THE IEEE, 1983, 71 (12) : 1420 - 1424
  • [29] OSI TRANSPORT SERVICES ON TOP OF THE TCP
    ROSE, MT
    CASS, DE
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1986, 12 (03): : 159 - 173
  • [30] A TOOL FOR THE AUTOMATED VERIFICATION OF ECCS SPECIFICATIONS OF OSI PROTOCOLS
    CARCHIOLO, V
    FARO, A
    LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 1988, 103 : 57 - 68
12345