Synthesis Algorithm of Protocol Specification with Message Collision for Two Processes

概要

論文の詳細を見る
Along with the development and enrichment of communication services in ISDN and IN,it is strongly demanded to realize highly reliable communication protocols efficiently.Protocol synthesis is to produce communication protocol specifications and it is one of the most important techniques to be developed.The principle of protocol synthesis is illustrated in Figure 1:Given a service specification representing relations on primitives between a user in a high layer and a process in a low layer,a protocol specification representing relations on messages betwccn processes in the low layer is derived.Interfaces between these layers are called Service Access Points(SAPs).In the previous algorithms for protocol synthesis, protocol specifications with message collisions can be derived but they cause protocol errors called unspecified receptions.This paper proposes an automated synthesis algorithm of a protocol specification from a service specification such that the synthesized protocol specifications are free from protocol errors of unspecified receptions caused by message collisions.
一般社団法人情報処理学会の論文
1992-09-28