プロトコルの形式的記述によるプログラム自動生成システムの設計と作成
スポンサーリンク
概要
- 論文の詳細を見る
コンピュータネットワークにおいて, プロトコル(通信規約)のインプリメンテーションおよびその検証を行うための有効な方法としてプロトコルの形式的記述およびプロトコルの自動インプリメンテーション方式の確立が必要となる. 本論文では, 6入力6出力の有限状態機械に基づくプロトコルの形式的記述法を提案し, かつ, このプロトコルの形式的記述法によって記述された情報からプロトコルに従って動作する通信処理プログラムの自動生成を行うプロトコルコンパイラ(PC/N)の作成について述べる. また, MNA(Multi-shared Network Architecture)の主要なプロトコルであるファイルアクセスプロトコルへの適用例についても述べる. 本自動生成方式は, 2種類の高級言語によって記述された通信処理プログラムを生成する. なお, オペレーティングシステムに依存するインタフェースに関する部分は, 外部手続きとして引用されている. この結果, ファイルアクセスプロトコルを遂行する通信処理プログラムについては, PC/Nにより約38%が自動生成されることが示された.
- 社団法人情報処理学会の論文
- 1981-11-15
著者
-
松永 宏
三菱電機(株)情報電子研究所
-
水野 忠則
三菱電機(株)情報電子研究所
-
水野 忠則
三菱電機(株)
-
井手口 哲夫
愛知県立大学情報科学部
-
井手口 哲夫
三菱電機(株)情報電子研究所
-
井手口 哲夫
三菱電機(株)情報技術総合研究所
関連論文
- 走行車群における管理方式とその評価実験プラットフォームの開発 (情報ネットワーク)
- 通信システムの段階的な試験のための試験系列自動生成手法とその実現
- 国際標準仕様記述言語SDLを用いたオフィス情報システム記述支援環境の実現
- SDLプログラマの提案
- 試験仕様記述へのSDLの適用性について
- 通信システムにおけるペトリネットに基づいたSDLの実行可能仕様への拡張についての一考察
- 状態遷移モデルから通信ソフトウェアへの写像方法についての一考察
- SDLグラフィックエディタの設計と製作
- SDLグラフィックエディタ : 高速入力方法
- SDLグラフィックエディタ : 機能の特徴
- SDLグラフィックエディタ : 概要
- オフィスシステムの形式的記述へのアプローチ
- 通信放送融合端末
- プロトコルの形式的記述によるプログラム自動生成システムの設計と作成
- オフィスオ-トメ-ションにおけるネットワ-ク技術 (オフィスオ-トメ-ション特集)
- ユーザの利用特性を考慮した電子メールシステムの設計・管理手法の検討(セキュリティ,認証)
- 平衡点解析によるトークンバスプロトコルの解析
- Mini-MAPオブジェクトディクショナリの性能評価
- OSI-TPにおけるプロトコル記述方法に関する一考察
- 放送機能を利用した2相コミットメント制御プロトコル
- ミニMAPオブジェクトディクショナリシステムの性能評価
- オブジェクト指向言語superCの改良
- CTRON拡張OS適合性試験の検討
- B-6-18 出生死滅過程を用いたクラウドコンピューティングシステムのコンピューティングリソース配分方法の検討(B-6.ネットワークシステム,一般セッション)
- D-10-5 非同次連続時間マルコフ連鎖を用いたコンピュータウィルス拡散モデルの評価(D-10. ディペンダブルコンピューティング)
- トラフィック解析によるダイナミックVLAN構成法の提案とシミュレーションによる評価(分散処理, マルチメディア, 分散, 協調とモバイル(DICOMO2004))
- 形式手法による通信ソフトウェア試験データの生成とその試験法
- OSIディレクトリ規格に基づくアドレス検索システム(1) : システム概要とプロトコル
- OSIディレクトリサービス仕様の実現上の課題
- SDLに基づく通信ソフトウェア開発環境
- LOTOS Serverとモジュール仕様記述
- B-15-23 自転車メッセンジャーを利用したメールシステムの提案と評価(B-15.モバイルマルチメディア通信,一般セッション)
- LAN上の予約データに対して良好な通信品質を提供する帯域予約型データ転送プロトコルの提案
- PL/Iの形式的定義について(4)
- PL/Iの形式的定義について(2)
- PL/Iの形式的定義について(1)
- リソース指向分散環境 RODS の提案と実現
- リソース指向分散処理環境の実装及び評価
- 分散処理環境におけるオブジェクト実現方式
- 適用形態を考慮した分散処理システムのモデル化
- 遅延差のあるネットワークにおけるメンバ間公平性保証方式の特性評価 (ITSとモバイルコンピューティング)
- メンバ間公平性保証方式の同期機構の特性評価
- メンバ間公平性保証方式の同期機構の特性評価
- クラスタ型ネットワークにおける通信回線共有方式の提案と評価(マルチメディア通信プロトコル)
- 通信回線共有方式の耐障害性の検討
- 3V-4 リアルタイム性の強いネットワークアプリケーションの公平性を保証した通信方式の提案
- 役割に基づくアプリケーションの振舞い制御
- 2Q-3 通信回線共有方式におけるクラスタ構成機能の実装
- 高位プロトコルを含めたLANシステムの試作
- マイクロコンピュータ用言語 PL/Iμの設計と作成
- A-1-15 マルチエージェントシミュレーションを用いた大学講義における最適な資料配布方法について(A-1. 回路とシステム,一般セッション)
- 2ZA-8 複雑なサービスシステムの性能評価(情報社会を支える技術(1),学生セッション,コンピュータと人間社会)
- 2W-1 コミュニティセキュリティシステムにおけるグルーピング手法の検討(ユビキタスコンピューティング,学生セッション,ネットワーク)
- 3V-2 走行車群におけるグループ通信方式の提案と評価(ITS,学生セッション,ネットワーク)
- 3V-1 車群における合意形成アルゴリズムの提案と評価(ITS,学生セッション,ネットワーク)
- 2V-5 CGMによるバースト型アクセスを緩和するパケットバッファリングノード配置の検討 : 双方向・片方向通信パケットバッファリングによる比較(ネットワーク理論・プロトコル,学生セッション,ネットワーク)
- 2V-1 マルチリングWDMネットワークにおける波長割当手法の提案と評価(ネットワーク理論・プロトコル,学生セッション,ネットワーク)
- 1V-5 ユーザ同士の協調行動を考慮した場合のSlotted ALOHAプロトコルの性能比較(プロトコルと性能測定,学生セッション,ネットワーク)
- アドホック通信技術を利用したネットワークサービスシステムの設計・管理手法について(アドホック)
- マルチリングWDMネットワークにおけるトラヒックと波長割当についての検討(解析・制御,モバイルネットワーク,マルチメディア通信,WEBサービス及び一般)
- リアルタイム指向のグループ通信方式の提案(解析・制御,モバイルネットワーク,マルチメディア通信,WEBサービス及び一般)
- 3ZA-2 交差点上の交通流動的制御方式の提案とその評価(ITSネットワーク・地図情報,学生セッション,ネットワーク)
- カテゴリ汎化特性別の継承階層化データ節約構造DBをもつ大規模個体群の3DCGアニメーション通信の検証
- 走行車群における管理方式とその評価実験プラットフォームの開発(システム・プラットフォーム)
- OXCとL2/L3スイッチの光インタフェース割当制御アルゴリズムの提案と評価(トラヒック解析・制御(1),インターネットトラヒック,TCP/IP,性能解析・評価,ネットワークモデル及び一般)
- 技術文書管理システムにおける複合ブラウジング方式の実現
- クラウドコンピューティングにおけるサイジング手法の検討(ポストIPネットワーキング,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライべートネットワーク,NW安全性,及び一般)
- アドホックルーティングプロトコルA^2P^2における中継ノード選定手法の検討評価(MBL-6【モバイルアドホックネットワーク(2)】)
- 製造設備情報のモデル化とXML情報連携(製造における監視・制御・検査)
- イントラネット閉域通信グループの構築に適した安全な鍵配送方式とその運用管理方式
- 小規模システムにおけるメッセージ通信
- unixのリアルタイム性向上へのアプローチ[2]
- unixのリアルタイム性向上へのアプローチ[1]
- 同一機種分散システムにおける負荷分散方式
- 日本語文章推敲支援ツール「推敲」と文書処理システムとの結合方式に対する検討
- 標準仕様記述言語の概観 (通信システムの形式記述技法の標準化)
- 特集「通信システムの形式記述技法の標準化」の編集にあたって
- 通信プロトコルの仕様記述言語は何に役立つか
- ネットワークアーキテクチャの標準化動向 6. プロトコルの形式記述とコンフォーマンス試験
- PL/I の形式的定義について(3)
- 通信ソフトウェア開発支援環境 (ソフトウェア生産技術特集)
- 光スタ-ネットワ-クによる電子メ-ルシステム (ディジタル通信特集)
- フロー単位に順序制御を行うSelective-Repeat ARQの遅延時間解析(EthernetのOAM・QoS, ブロードバンドアクセス,電灯線通信,ホームネットワーク,一般)
- SDLプログラマの改良項目の検討
- 通信プロトコル試験系列生成手法に関する一考察
- マルチパーティテスタの設計
- 図式言語定義法の一検討
- 国際標準形式記述技法に基づく体系的試験支援環境FORESTの提案と実現
- 仕様記述言語LOTOSの図式表現
- 通信システム試験系列生成手法と仕様の特性に関する一考察
- 通信プロトコルに対する段階的な試験系列の生成方法
- 通信ソフトウェア向けオブジェクト指向言語superC
- OSIディレクトリシステムにおけるDIB(ディレクトリ情報ベース)のオブジェクト指向アプローチによる実現
- 分散処理環境へのネットワーク管理の適用に関する一検討
- OSIネットワーク管理ソフトウェアの設計
- OSI-TPにおけるコミット制御手順の最適化に関するー考察
- OSI通信ソフトウェアにおける性能測定方法の検討
- 統合ネットワーク管理システムにおける管理情報/プロトコルの変換方式
- ディレクトリプロトコルの拡張提案と運用上の検討課題について
- OSI管理情報支援ツールMINTの設計