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 条

[31] SPECIAL ISSUE - APPLICATION OF FORMAL TECHNIQUES TO THE OSI PROTOCOLS
AGGARWAL, S
SABNANI, K
COMPUTER NETWORKS AND ISDN SYSTEMS, 1990, 18 (03): : 165 - 165
[32] A PARALLEL APPROACH TO OSI CONNECTION-ORIENTED PROTOCOLS
GOLDBERG, MW
NEUFELD, GW
ITO, MR
IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1993, 9 : 219 - 232
[33] TESTING OSI PROTOCOLS AT THE NATIONAL-BUREAU-OF-STANDARDS
LINN, RJ
NIGHTINGALE, JS
PROCEEDINGS OF THE IEEE, 1983, 71 (12) : 1431 - 1434
[34] GET GREATER CONNECTIVITY BY PUTTING OSI PROTOCOLS INTO UNIX
PADOVANO, M
SYSTEMS INTEGRATION BUSINESS, 1991, 24 (10): : 33 - 33
[35] SECURITY SERVICES FOR APPLICATIONS OF OSI IN BANKING
SHEPPARD, DA
BONYUN, DA
COMPUTER STANDARDS & INTERFACES, 1986, 5 (04) : 229 - 311
[36] TESTING TO ASSURE INTERWORKING OF IMPLEMENTATIONS OF ISO OSI PROTOCOLS
LINN, RJ
COMPUTER NETWORKS AND ISDN SYSTEMS, 1986, 11 (04): : 277 - 286
[37] Japanese guidelines specify the terms of gene patents
Asako Saegusa
Nature, 1999, 401 : 731 - 731
[38] Japanese guidelines specify the terms of gene patents
Saegusa, A
NATURE, 1999, 401 (6755) : 731 - 731
[39] A SMALL CONFERENCING SYSTEM AND SHARED WHITEBOARD AS A TESTBED FOR DISTRIBUTED MULTIMEDIA APPLICATIONS USING OSI PROTOCOLS
LUBICH, HP
UPPER LAYER PROTOCOLS, ARCHITECTURES AND APPLICATIONS, 1994, 25 : 257 - 267
[40] Small conferencing system and shared whiteboard as a testbed for distributed multimedia applications using OSI protocols
Lubich, Hannes P.
IFIP Transactions C: Communication Systems, 1994, (C-25): : 257 - 266

← 1 2 3 4 5 →