• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

OSIセション層の代数的仕様記述から

研究課題

研究課題/領域番号 63550276
研究種目

一般研究(C)

配分区分補助金
研究分野 計算機工学
研究機関大阪大学

研究代表者

藤井 護  大阪大学, 基礎工学部, 助教授 (00029464)

研究分担者 東野 輝夫  大阪大学, 基礎工学部, 助手 (80173144)
伊藤 実  大阪大学, 基礎工学部, 助教授 (90127184)
関 浩之  大阪大学, 基礎工学部, 助手 (80196948)
研究期間 (年度) 1988
研究課題ステータス 完了 (1988年度)
キーワード代数的仕様記述 / プログラム仕様の詳細化(実現) / システム間相互接続(OSI) / プロトコル仕様 / 抽象的順序機械
研究概要

1.自然語(英語)と状態遷移表で記述されたOSIセション層の規格を代数的仕様記述言語ASLを用いて記述した。まず、セションプロトコル仕様のうち、カーネル、,半二重、全二重、小同期、大同期機能単位に関する部分を記述し、次いで再同期機能単位の部分を追加した。これにより代数的仕様記述法について次のような知見を得た。(A)記述の追加・変更が容易であること。(B)代数的仕様に用いている関数名や述語名には、原仕様で用いられているものを利用しているなど元の規格で用いられている概念をよく反映し、しかも形式的意味が容易に理解できること。(C)理解の容易性が高いこと。なお、記述の規模は公理の個数で826であり、再同期機能単位の追加の過程での検証により、それまでの記述の誤りと再同期機能単位の記述の誤りがそれぞれ4個ずつ発見された。
2.代数的に記述されたプロトコルを通信プログラムに変換する方法について検討し、本研究で扱う変換の問題を代数的仕様の詳細化の問題として形式的に定義した。さらに、抽象的順序機械の形で記述されたプロトコルの代数的仕様をC言語で記述されたプログラムに変換するコンパイラを設計・試作し、セションプロトコルの代数的仕様のうちセションプロトコルマシン(SPM)の動作に関する部分をこのコンパイラを用いて変換した。コンパイルに要した時間は、IBMのワークステーション6150上のUNIX環境下で、CPU時間49.6秒(内訳は構文解析:47.3秒、目的プログラム生成:2.3秒)であった。
3.上位層、下位層および相手SPMを模倣するテスト環境を作成し、ローカルテスト方式により、17個のテスト系列(平均の系列長は、8.4)について、目的プログラムが正しく動作することを確認した。なお、これらのテスト系列には、INTAP試験検証システムのTest suites中の該当するすべてのテスト系列が含まれている。

報告書

(1件)
  • 1988 実績報告書
  • 研究成果

    (3件)

すべて その他

すべて 文献書誌 (3件)

  • [文献書誌] 関浩之: 1989年電子情報通信学会春季全国大会講演文集. 6.345-6.346 (1989)

    • 関連する報告書
      1988 実績報告書
  • [文献書誌] 粟屋英司: 電子情報通信学会論文誌(DI). J72ーDー1. 1-10 (1989)

    • 関連する報告書
      1988 実績報告書
  • [文献書誌] 〓一光: 電子情報通信学会ソフトウェアサイエンス研究会資料. (1989)

    • 関連する報告書
      1988 実績報告書

URL: 

公開日: 1990-03-20   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi