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 条

[41] Concrete experience in using an ESTELLE workstation
Rieu, C.
Vialatte, M.C.
Nguyen, C.T.
Proceedings of the International Conference on Computer Communication, 1991,
[42] STANDARDIZING CRYPTOGRAPHIC SERVICES AT OSI HIGHER LAYERS
TARDO, JJ
IEEE COMMUNICATIONS MAGAZINE, 1985, 23 (07) : 25 - 29
[43] Eccomp. An estelle. C compiler for automatic implementation of network protocols
Saha, D.
Dhar, P.
Journal of the Institution of Engineers (India), Part CP: Computer Engineering Division, 1994, 75
[44] OSI AND LIBRARY-SERVICES - TUCK,B
RATT, D
ELECTRONIC LIBRARY, 1990, 8 (06): : 457 - 457
[45] Towards testability-directed Estelle specification of an OSI-IN interface for universal personal communications and multimedia communications
ElGendy, H
Fayez, AW
SECOND IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, PROCEEDINGS, 1997, : 104 - 108
[46] TEST SUITE GENERATION FOR APPLICATION LAYER PROTOCOLS FROM FORMAL SPECIFICATIONS IN ESTELLE
HENNIGER, O
SARIKAYA, B
BIEDLINGMAIER, S
PROTOCOL TEST SYSTEMS, VI, 1994, 19 : 67 - 85
[47] How to specify security services: A practical approach
Lopez, J
Ortega, JJ
Vivas, J
Troya, JM
COMMUNICATIONS AND MULTIMEDIA SECURITY, 2003, 2828 : 158 - 171
[48] Development of complex communications protocols using EstelleDÉveloppement de protocoles de communications complexes en utilisant estelle
Octavian Catrina
Eugen BORCOCI
Annales Des Télécommunications, 2000, 55 (1-2): : 4 - 19
[49] OBJECT-ORIENTED IMPLEMENTATION OF OSI APPLICATION LAYER PROTOCOLS
NAKAKAWAJI, T
OMURA, M
KUSUNOKI, K
KATSUYAMA, K
MIZUNO, T
IEICE TRANSACTIONS ON COMMUNICATIONS ELECTRONICS INFORMATION AND SYSTEMS, 1991, 74 (11): : 3694 - 3704
[50] The importance of guidelines and protocols
Santilli, G
MEDICINA DELLO SPORT, 2004, 57 (04) : 373 - 373

← 1 2 3 4 5 →