2024-03-29T01:40:45Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001230382023-11-17T02:17:36Z06504:08032:08034
LOTOS記述されたCCR仕様の実装に関する一検討A Study on Implementation of CCR specification by LOTOS Specificationsjpnhttp://id.nii.ac.jp/1001/00123218/Conference Paperhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=123038&item_no=1&attribute_id=1&file_no=1NTTデータ通信株式会社NTTデータ通信株式会社NTTデータ通信株式会社馬渕, 博之岩倉, 伸行松田, 栄之通信プロトコルを厳密に記述する目的でLOTOSがISOで開発された。現在、ISOにより、LOTOSで記述されたOSI各層のサービス定義、プロトコル仕様が開発されつつある。LOTOS仕様の実装に関する研究としては、LOTOS仕様からプログラムヘ自動変換するトランスレータなどが開発されているが、実装に関する検討はあまり多くない。1992年、ISOからCCRサービス定義およびプロトコル仕様をLOTOS記述した規定が提案された。そこで、本論文ではLOTOS記述されたCCR仕様の実装の可能性を探るために、これを処理系を使わずにマニュアルで実装し、実装におけるモデル化の検討とオペレータの実装の検討を行う。AN00349328全国大会講演論文集第46回ネットワーク2592601993-03-012015-01-20