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 条
12345