LOTOS仕様の再利用性に基づくプロトコル仕様の系統的生成法

スポンサーリンク

概要

論文の詳細を見る
情報ネットワークにおける通信プロトコルの設計においては、多くの場合、作ろうとするサービス仕様から、そのサービスを与えるプロトコル仕様を導出する必要がある。このプロトコル仕様の導出をLOTOSを用いて系統的に行う方法としては、従来、与えられたサービス仕様を複数のプロトコルエンティテイに分割するといったものが考案されている。しかしながら、以前に作られた仕様を拡張や縮小したようなものを作ろうとする場合、このような方法を用いて新たに合成するより、以前に作られた仕様を再利用した方が、開発工程が簡易化できる。このような仕様の再利用としては自然言語を用いた方法が考案されているが、本稿ではLOTOSを用いて、既存のプロトコル仕様の一部を再利用することで、サービス仕様からプロトコル仕様を系統的に生成する方法を与える。
一般社団法人情報処理学会の論文
1993-03-01

著者

関連論文

もっと見る

スポンサーリンク