LOTOSによるCCRサービス定義の形式記述 : データ型部 : INTAP研究開発委貝会プロトコル形式記述WG

スポンサーリンク

概要

論文の詳細を見る
我々は、INTAPの形式記述WG(プロトコル記述サブWG)の活動として、OSIのCCRのサービス定義をISOで開発された形式記述言語LOTOSを用いて記述した[1]。全体についての説明は別稿[2]に譲り、本稿では、データ型定義に関する記述について報告する。LOTOSにおけるデータ型定義の例は、LOTOS国際規格、ガイドライン文書の他に、幾つかの個別のプロトコルの形式記述の試みにおいて見ることができる。今、これらによって、小規模ながら、ある一定の記述の流儀が確立しようとしている。しかし、その記述技術の現状は、まだ未発達であり、さらに多くの者によって記述され、議論され、検討されるべき段階にあると考えられる。この観点から、本稿では、我々のCCR記述のデータ型定義のうち、既存の記述には見られない、新たな記述を採用した点を重点的に取り上げ、説明している。
一般社団法人情報処理学会の論文
1991-02-25

著者

関連論文

もっと見る

スポンサーリンク