LOTOC実行系を用いたOSIトランザクションプロトコルの実装実験

概要

論文の詳細を見る
LOTOS is a Formal Description Technique standardized by ISO.It is useful for specifying distributed systems,such as OSI.Actually some of the OSI protocols have already been specified in LOTOS.When implementing these OSI protocols,one can expect that the use of tools will reduce the implementation costs.We have developed a LOTOS Execution system which can derive an implementation from a specification written in LOTOS.To verify that the system is applicable to build an actual communication system,we have evaluated the system by applying it to a LOTOS specification of part of the OSI Transaction Processing(TP)protocol.It is proved that the system is able to generate a correct program for this OSI TP protocol,and that the implementation costs are smaller than those in case of manual programming.This paper describes the results of our implementation experiment in detail.
一般社団法人情報処理学会の論文
1992-09-28