2024-03-28T21:08:27Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000360222023-04-27T10:00:04Z01164:02836:02939:02940
LOTOSで記述されたサービス仕様から プロトコル仕様群の導出Deriving Protocol Specifications from Service Specification Written in LOTOS with Data Parametersjpnhttp://id.nii.ac.jp/1001/00036022/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=36022&item_no=1&attribute_id=1&file_no=1Copyright (c) 1991 by the Information Processing Society of Japan大阪大学基礎工学部情報工学科大阪大学基礎工学部情報工学科大阪大学基礎工学部情報工学科大阪大学基礎工学部情報工学科東野, 輝夫加藤, 良司安本, 慶一谷口, 健一通信プロトコルや分散システム全体の要求仕様をサービス仕様といい,各ノードの動作仕様をプロトコル仕様という.一般に,設計者自身がプロトコル仕様を作成するのは非常に繁雑であり,間違いも起こりやすい.分散システムの設計法として,設計者はサービス仕様のみを記述し,その仕様の要求通りに動作するプロトコル仕様を自動生成出来ることが望ましい.本研究では,通信プロトコルの形式記述言語LOTOSで記述されたサービス仕様から,その仕様通りに動作する各ノードのプロトコル仕様 (TOSプログラム) を自動生成するためのアルゴリズムを考案し,その処理系を作成する.従来,LOTOSのごく一部のオペレータしが含まないクラスに対してしか自動生成の方法が知られていなかったが,本アルゴリズムではLOTOSのすべてのオペレータ及び入出力パラメータを含むクラスに対してプロトコル仕様を導出できる.Requirements for communication protocols and distributed systems are described as a "service specification". Each node exchanges synchronization messages to ensure the temporal ordering for the execution of the events in a service specification. The actions of each node are described as a "protocol specification". In this paper, we present an algorithm to derive protocol specifications from a service specification written in LOTUS, which is a language developed within 150 for the formal description of communication protocols. The algorithm is implemented, and it can handle complex service expressions which include data parameters and the parallel ("lll","ll"), enabling(">>") and disabling("[>") operators.AN10116224情報処理学会研究報告マルチメディア通信と分散処理(DPS)199183(1991-DPS-052)2392441991-09-242009-06-30