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 条
  • [31] Deriving specifications from requirements through problem reduction
    Rapanotti, L.
    Hall, J. G.
    Li, Z.
    IEE PROCEEDINGS-SOFTWARE, 2006, 153 (05): : 183 - 198
  • [32] Composition of service and protocol specifications in asynchronous communication system
    Maneerat, N
    Varakulsiripunth, R
    Bista, BB
    Takahashi, K
    Kato, Y
    Shiratori, N
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2004, E87D (10): : 2306 - 2317
  • [33] Deriving Specifications for Composite Web Services
    Baryannis, George
    Carro, Manuel
    Plexousakis, Dimitris
    2012 IEEE 36TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2012, : 432 - 437
  • [34] Component synthesis from service specifications
    Krüger, IH
    Mathew, R
    SCENARIOS: MODELS, TRANSFORMATIONS AND TOOLS, 2005, 3466 : 255 - 277
  • [35] Grid protocol specifications
    Bergstra, JA
    Ponse, A
    PROSPECTS FOR HARDWARE FOUNDATIONS, 1998, 1546 : 278 - 308
  • [36] DERIVING PARALLEL PROGRAMS FROM SPECIFICATIONS USING COST INFORMATION
    SKILLICORN, DB
    SCIENCE OF COMPUTER PROGRAMMING, 1993, 20 (03) : 205 - 221
  • [37] Requirement progression in problem frames: deriving specifications from requirements
    Seater, Robert
    Jackson, Daniel
    Gheyi, Rohit
    REQUIREMENTS ENGINEERING, 2007, 12 (02) : 77 - 102
  • [38] Requirement progression in problem frames: deriving specifications from requirements
    Robert Seater
    Daniel Jackson
    Rohit Gheyi
    Requirements Engineering, 2007, 12 : 77 - 102
  • [39] Realizability of Service Specifications
    Al-hammouri, Mohammad F.
    von Bochmann, Gregor
    SYSTEM ANALYSIS AND MODELING: LANGUAGES, METHODS, AND TOOLS FOR SYSTEMS ENGINEERING, SAM 2018, 2018, 11150 : 127 - 143
  • [40] Composition of service specifications
    Singh, G
    Buricea, I
    Mao, ZY
    SIXTH INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS, PROCEEDINGS, 1998, : 210 - 218
12345