Comments on deriving protocol specifications from service specifications written in LOTOS

被引：1

作者：

Kapus-Kolar, M ^{[1
]}

机构：

[1] Jozef Stefan Inst, SI-1001 Ljubljana, Slovenia

来源：

DISTRIBUTED COMPUTING | 1999年 / 12卷 / 04期

关键词：

distributed service implementation; protocol synthesis; compositional correctness-preserving transformation; LOTOS;

D O I：

10.1007/s004460050064

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

An algorithm by Kant, Higashino and Bochmann for service-based protocol synthesis in the standard specification language LOTOS is discussed. It is demonstrated that the transformations for distributed implementation of synchronised parallel execution and of disabling are not correct in a general case.

引用

页码：175 / 177

页数：3

共 50 条

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

← 1 2 3 4 5 →