SERVICE-DRIVEN PROTOCOL SYNTHESIS FOR SPECIFIC USERS

被引：1

作者：

PUCKO, M ^{[1
]}

KANDUS, G ^{[1
]}

机构：

[1] JOZEF STEFAN INST,LJUBLJANA 61111,SLOVENIA

来源：

MICROPROCESSING AND MICROPROGRAMMING | 1993年 / 39卷 / 2-5期

关键词：

D O I：

10.1016/0165-6074(93)90087-2

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Suggestions are made how to improve protocol synthesis driven by an algebraic service specification by considering eventual redundancies in the service specification and the actual testing capabilities of the particular service users. The resulting protocol can be much more efficient, but still easily understood by the author of the service specification.

引用

页码：195 / 198

页数：4

共 11 条

[1] INTRODUCTION TO THE ISO SPECIFICATION LANGUAGE LOTOS
BOLOGNESI, T
BRINKSMA, E
[J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1987, 14 (01): : 25 - 59
[2] Hennessy M., 1988, ALGEBRAIC THEORY PRO
[3] KAPUS M, 1993, MICROPROCESS MICROSY, V39, P143
[4] KAPUS T, 1991, P ISSM INT WORKSHOP, P150
[5] DERIVING PROTOCOL SPECIFICATIONS FROM SERVICE SPECIFICATIONS INCLUDING PARAMETERS
KAPUSKOLAR, M
[J]. MICROPROCESSING AND MICROPROGRAMMING, 1991, 32 (1-5): : 731 - 738
[6] KHEENDEK F, 1989, P ACM SIGCOMM 89 S A, P136
[7] DEVELOPING MULTIUSER INTERFACES FOR CSCW ENVIRONMENT
PUCKO, M
KAPUSKOLAR, M
RUGELJ, J
[J]. MICROPROCESSING AND MICROPROGRAMMING, 1993, 37 (1-5): : 123 - 126
[8] PUCKO M, 1993, 11TH P IASTED INT S, P238
[9] RUGELJ J, 1990, FUNCTIONS STRUCTURE
[10] STABRAMOWSKI M, 1992, 1992 P INT ZUR SEM D

← 1 2 →