DERIVING PROTOCOL SPECIFICATIONS FROM SERVICE SPECIFICATIONS INCLUDING MULTIRENDEZVOUS

被引：0

作者：

KAPUSKOLAR, M ^{[1
]}

机构：

[1] JOZEF STEFAN INST, YU-61111 LJUBLJANA, SLOVENIA

来源：

MICROPROCESSING AND MICROPROGRAMMING | 1992年 / 35卷 / 1-5期

关键词：

D O I：

10.1016/0165-6074(92)90340-D

中图分类号：

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

学科分类号：

0812 ;

摘要：

An earlier algorithm for deriving protocol specifications from service specifications is extended to cover services with multirendezvous. The algorithm is based on LOTOS, a standard specification language for distributed systems. It is Intended for systems of an arbitrary number of protocol entities communicating over reliable FIFO channels.

引用

页码：369 / 374

页数：6

共 50 条

[1] DERIVING PROTOCOL SPECIFICATIONS FROM SERVICE SPECIFICATIONS INCLUDING PARAMETERS
KAPUSKOLAR, M
MICROPROCESSING AND MICROPROGRAMMING, 1991, 32 (1-5): : 731 - 738
[2] DERIVING PROTOCOL SPECIFICATIONS FROM SERVICE SPECIFICATIONS INCLUDING PARAMETERS
GOTZHEIN, R
VONBOCHMANN, G
ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1990, 8 (04): : 255 - 283
[3] Deriving protocol specifications from service specifications written in LOTOS
Universite de Montreal, Montreal, Canada
Distrib Comput, 1 (29-47):
[4] Deriving protocol specifications from service specifications written in LOTOS
Kant, C
Higashino, T
vonBochmann, G
DISTRIBUTED COMPUTING, 1996, 10 (01) : 29 - 47
[5] NEW RESULTS ON DERIVING PROTOCOL SPECIFICATIONS FROM SERVICE SPECIFICATIONS
KHENDEK, F
VONBOCHMANN, G
KANT, C
COMMUNICATIONS ARCHITECTURES & PROTOCOLS: SIGCOMM 89 SYMPOSIUM, 1989, 19 : 136 - 145
[6] Comments on deriving protocol specifications from service specifications written in LOTOS
Monika Kapus-Kolar
Distributed Computing, 1999, 12 : 175 - 177
[7] Comments on deriving protocol specifications from service specifications written in LOTOS
Kapus-Kolar, M
DISTRIBUTED COMPUTING, 1999, 12 (04) : 175 - 177
[8] Deriving protocol specifications from service specifications written as Predicate/Transition-nets
Yamaguchi, Hirozumi
El-Fakih, Khaled
Bochmann, Gregor v.
Higashino, Teruo
COMPUTER NETWORKS, 2007, 51 (01) : 258 - 284
[9] Synthesizing trustworthy protocol specifications from service specifications
Department of Computer Science, American University of Sharjah, Box 26666, Sharjah, United Arab Emirates
WSEAS Trans. Commun., 2007, 1 (111-116):
[10] SYNTHESIS OF ERROR-RECOVERABLE PROTOCOL SPECIFICATIONS FROM SERVICE SPECIFICATIONS
SALEH, K
PROBERT, R
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 468 : 415 - 424

← 1 2 3 4 5 →