通信ソフトウェア生成ツールSERIOUSの開発とOSI分散トランザクション処理への適用

書誌事項

タイトル別名
  • Communication Software Generation Tools and its application to OSI-TP Protocol

この論文をさがす

説明

通信ソフトウェア開発支援を目的として,形式手法に基づいた仕様化,ソースコード生成,試験等に関する,様々な研究が行われている.多くの状態や入出力イベントを持ち複雑な状態遷移を行うプロトコルにおいて,状態遷移表や形式仕様からソースコードを生成するツールの有効性は認められているものの,実際の製品開発に適用しているとの事例は少ない.我々は,従来ツールの問題点を明らかにし,実使用に必要となる要求仕様を検討した.これらの検討をふまえて,規格で定義された状態遷移表と実装依存情報を入力とし,通信ソフトウェアのプロトコルマシン部分のソースコードを生成する通信ソフトウェア生成ツールSERIOUSを開発した.また,OSI応用層プロトコルの一つである,OSI分散トランザクション処理に適用し,その有効性を確認した.

収録刊行物

詳細情報 詳細情報について

  • CRID
    1571980076991725696
  • NII論文ID
    110002945718
  • NII書誌ID
    AN10112981
  • 本文言語コード
    ja
  • データソース種別
    • CiNii Articles

問題の指摘

ページトップへ