五ノ井敏行

論文一覧:  4件中 1-4 を表示

  • LOTOSの汎用的な中間言語

    佐藤嘉一 , 辻 宏郷 , 内山 光一 , 小野 昌秀 , 五ノ井敏行 , 田中 功一 , 藤田 朋生 , 山中 顕次郎 , 大蒔和仁

    通信プロトコルOSIのための形式仕様記述言語LOTOSは国際規格ISO8807となっている。我々は、主にLOTOSの実用性に関する調査/研究を目的として、研究会を行ってきた。その活動内容は、LOTOSの勉強、実際のプロトコルのLOTOSによる記述実験、ASN.1からLOTOSの抽象データ型への変換の検討、"LOTOSの処理系"の検討及び設計などである。本稿では、我々の設計しているLOTOS処理系の …

    情報処理学会研究報告マルチメディア通信と分散処理(DPS) 1990(56(1990-DPS-046)), 25-32, 1990-07-12

    情報処理学会

  • ASN.1からLOTOS ADTへの変換法

    五ノ井敏行 , 田中 功一 , 内山 光一 , 佐藤嘉一 , 小野 昌秀 , 藤田 朋生 , 山中 顕次郎 , 辻 宏郷 , 大蒔和仁

    ASN.1言語で記述された仕様を,LOTOS言語のADT記述に変換する手法を提案する.この手法は,2つの部分から成っている.一つは,ASN.1からLOTOS ADTへの変換規則.もう一つは,ASN.1ライブラリである.本論文では,その両方を組み合わせて使用する.それにより,人間に読みやすい変換結果を生成する.これにより,従来の自然言語とASN.1で書かれていたプロトコル定義とサービス定義のASN. …

    情報処理学会研究報告マルチメディア通信と分散処理(DPS) 1990(56(1990-DPS-046)), 9-16, 1990-07-12

    情報処理学会

  • ACSEのLOTOSによる記述の試み

    内山 光一 , 藤田 朋生 , 小野 昌秀 , 佐藤嘉一 , 五ノ井敏行 , 田中 功一 , 辻 宏郷 , 山中 顕次郎 , 大蒔和仁

    OSIのプロトコルやサービスの仕様を記述するために、ISOで仕様記述言語LOTOSが開発され、LOTOSを使用した仕様記述が行われるようになってきた。しかしながら、OSIの応用層を記述した例は、デー夕構造や記述対象が複雑であるために、まだ少ない。そこで、我々LOTOS研究会では実際にOSI応用層の内、プロトコル的には簡単であるが、ある程度データ構造が複雑であり、またプロトコルを実現する環境が比較的 …

    情報処理学会研究報告マルチメディア通信と分散処理(DPS) 1990(56(1990-DPS-046)), 1-8, 1990-07-12

    情報処理学会

  • 哲学者の食事問題のLOTOSによる記述実験

    大蒔和仁 , 五反田 隆広 , 小野 昌秀 , 佐藤嘉一 , 藤田 朋生 , 新田 徹 , 田中 功一 , 堀田 英一 , 五ノ井敏行 , 内山 光一 , 島田 明宏

    通信プロトコルOSIのための形式的仕様記述言語LOTOSがISO8807として制定された。我々はLOTOSの妥当性を探ることを目的としてLOTOS研究会を行なっている。そこではLOTOSの記述のためのGuidelineの調査、LOTOSによる実際のプロトコルの記述実験、LOTOSに関係する文献調査、等を行なっている。研究会の構成メンバは、(1)実際にOSIのプロトコル開発に携わっている人、(2)プ …

    情報処理学会研究報告ソフトウェア工学(SE) 1989(52(1989-SE-066)), 1-8, 1989-06-27

    情報処理学会

ページトップへ