LOTOSトランスレーターの開発

スポンサーリンク

概要

• 論文の詳細を見る

• 高度な情報処理技術の確立のために、ネットワーク環境が必須になってきている。それに合わせて複雑な通信プロトコルを誤り無く効率良く開発することがますます求められている。このような要請に答えるべく、ISOでは通信プロトコルの仕様記述のために形式的仕様記述言語LOTOSを開発した。標準化された言語仕様とその意味論に基づいて、今までにいくつかの処理系が開発されてきている。しかしながら、その特徴である強力な意味論をベースとして、シミュレーションとプロトタイプ実装とを効率的に組み合わせた処理系は、まだそれほど存在していない。そこで、本稿ではその可能性を探り、処理系の設計に付いて述べる。

• 一般社団法人情報処理学会の論文
• 1992-02-24

著者

• 内山 光一

  (株)東芝

関連論文

• マルチメディアサーバスマートストリーマ(2) : ソフトウェア構成
• LOTOSによるCCRサービス定義の形式記述 : データ型部 : INTAP研究開発委貝会プロトコル形式記述WG
• LOTOSによるCCRサービス定義の形式記述 : プロセス部 : INTAP研究開発委員会プロトコル形式記述WG
• LOTOSによるCCRサービス定義の形式記述 : 全体報告 : INTAP研究開発委員会プロトコル形式記述WG
• OSI : RPCの実装に関する検討
• 汎用方式ASN.1ライトウェイト符号化規則エンコーダ・デコーダの評価
• ZによるACSEの記述
• LOTOSトランスレーターの開発
• OSI応用層におけるASN.1開発ツール

スポンサーリンク