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 条
  • [21] Deriving tool specifications from user actions
    Hogger, CJ
    Kriwaczek, FR
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2004, E87D (04): : 831 - 837
  • [22] EXECUTABLE LOGIC SPECIFICATIONS FOR PROTOCOL SERVICE INTERFACES
    SIDHU, DP
    CRALL, CS
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (01) : 98 - 121
  • [23] FUNDAMENTALS OF THE LAYER SERVICE DEFINITIONS AND PROTOCOL SPECIFICATIONS
    LININGTON, PF
    PROCEEDINGS OF THE IEEE, 1983, 71 (12) : 1341 - 1345
  • [24] Protocol synthesis from rule-based communications service specifications
    Takura, A
    Sera, T
    Ohta, T
    ELECTRONICS AND COMMUNICATIONS IN JAPAN PART I-COMMUNICATIONS, 1998, 81 (03): : 22 - 35
  • [25] Protocol synthesis from time petri net based service specifications
    Yamaguchi, H
    Okano, K
    Higashino, T
    Taniguchi, K
    1997 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1997, : 236 - 243
  • [26] Deriving performance models from Software Architecture specifications
    Balsamo, S
    Simeoni, M
    MODELLING AND SIMULATION 2001, 2001, : 841 - 845
  • [27] Deriving Concurrent Control Software from Behavioral Specifications
    Ramanathan, Ganesh
    Morandi, Benjamin
    West, Scott
    Nanz, Sebastian
    Meyer, Bertrand
    IEEE/RSJ 2010 INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2010), 2010, : 1994 - 1999
  • [28] New results on deriving SDL specifications from MSCs
    Abdalla, MM
    Khendek, F
    Butler, G
    SDL'99: THE NEXT MILLENNIUM, 1999, : 51 - 66
  • [29] Deriving liveness goals from temporal logic specifications
    Caleiro, C
    Saake, G
    Sernadas, A
    JOURNAL OF SYMBOLIC COMPUTATION, 1996, 22 (5-6) : 521 - 553
  • [30] Deriving Transmissibility Functions from Finite Elements for Specifications
    Guthrie, Michael
    Ross, Michael R.
    JOURNAL OF SPACECRAFT AND ROCKETS, 2022, 59 (01) : 271 - 285
12345