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 条

[1] ESTIM - AN INTEGRATED ENVIRONMENT FOR THE SIMULATION AND VERIFICATION OF OSI PROTOCOLS SPECIFIED IN ESTELLE
COURTIAT, JP
DESAQUISANNES, P
COMPUTER NETWORKS AND ISDN SYSTEMS, 1992, 25 (01): : 83 - 98
[2] OSI SESSION LAYER - SERVICES AND PROTOCOLS
EMMONS, WF
CHANDLER, AS
PROCEEDINGS OF THE IEEE, 1983, 71 (12) : 1397 - 1400
[3] ON THE USE OF ESTELLE IN THE OSI FRAMEWORK
LOMBARDO, A
MORZENTI, A
PALAZZO, S
COMPUTER STANDARDS & INTERFACES, 1989, 9 (01) : 21 - 29
[4] USING VDM TO SPECIFY OSI MANAGED OBJECTS
SIMON, L
MARSHALL, LS
IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 2 : 17 - 31
[5] THE USE OF ESTELLE TO SPECIFY MANUFACTURING SYSTEMS
MORISIO, M
SISTO, R
MICROPROCESSING AND MICROPROGRAMMING, 1990, 28 (1-5): : 253 - 258
[6] Development of complex communications protocols using Estelle
Catrina, Octavian
Borcoci, Eugen
Annales des Telecommunications/Annals of Telecommunications, 2000, 55 (01): : 4 - 19
[7] Development of complex communications protocols using Estelle
Catrina, O
Borcoci, E
ANNALES DES TELECOMMUNICATIONS-ANNALS OF TELECOMMUNICATIONS, 2000, 55 (1-2): : 4 - 19
[8] OSI PROTOCOLS
MORINO, K
NTT REVIEW, 1994, 6 (05): : 70 - 71
[9] SEMIAUTOMATIC IMPLEMENTATION OF PROTOCOLS USING AN ESTELLE-C COMPILER
VUONG, ST
LAU, AC
CHAN, RI
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (03) : 384 - 393
[10] PROBABILISTIC TESTING OF OSI PROTOCOLS
SIDHU, DP
CHUNG, A
CHANG, CS
IEEE TRANSACTIONS ON COMMUNICATIONS, 1994, 42 (07) : 2432 - 2440

← 1 2 3 4 5 →