LOTOS実行系における入力仕様からプログラムへの変換
スポンサーリンク
概要
- 論文の詳細を見る
LOTOSは、通信プロトコルの仕様を記述するために、ISOで標準化された仕様記述言語の一つである。筆者らは、LOTOSにより記述された仕様を、C言語のプログラムに変換して実行するLOTOS実行系を作成している。本実行系は、仕様をプログラムに変換するトランスレータと、仕様中で規定されるプロセスの実行を管理するスケジューラにより構成される。本稿では、仕様をプログラムに変換するトランスレータの機能について述べる。
- 一般社団法人情報処理学会の論文
- 1989-10-16
著者
-
長谷川 亨
国際電信電話会社 研究所
-
瀧塚 孝志
国際電信電話株式会社研究所
-
瀧塚 孝志
Kdd研究所
-
野村 真吾
国際電信電話会社 研究所
-
瀧塚 孝志
国際電電 研
-
長谷川 亨
(株)kddi研究所:情報処理学会
-
瀧塚 孝志
国際電信電話会社 研究所
-
長谷川 亨
国際電信電話(株)研究所
関連論文
- 2. ユビキタスネットワーク制御・管理技術(Ubila)(ユビキタスネットワーク技術開発プロジェクト)
- 将来インターネットの最新研究動向(ユビキタス/ブロードバンドネットワークの品質とメディア品質、品質評価モデル、信頼性とセキュリティ、コンテンツ、インセンティブ、一般)
- 第17回 社会,企業に影響ある研究を育てよう(これからの情報処理学会)
- 放送型マルチキャスト配信の無瞬断化を可能とするマルチキャストゲートウェイの実装
- 一点観測に基づくBGP経路変動の発生源特定手法に関する一考察(モバイルサービス,サービス品質,一般)
- B-6-14 放送型マルチキャスト通信の信頼性向上手法に関する検討(B-6. ネットワークシステム)
- B-3-5 地域衛星通信ネットワーク用スループット改善装置(TCPゲートウェイ)の開発(B-3.衛星通信)
- B-6-93 通信試験用パケット遅延・損失測定システムの設計
- 2.インターネットの未来を展望する : 衛星を利用したインターネット(インターネットの歴史と将来展望)
- C言語プログラムのための複雑性評価方式の検討と実験
- C言語プログラム検査ツールの実装と適用結果
- 複数パス上のアクティブ計測に基づく輻輳セグメント推定法
- 複数パス上のアクティブ計測に基づく輻輳セグメント推定法
- LOTOSによる仕様からの自動実装方式
- LOTOS実行系の性能評価
- ASN.1 コンパイラの開発および評価
- 異種分散環境における分散トランザクションに関する一考察
- LOTOC実行系を用いたOSIトランザクションプロトコルの実装実験
- LOTOS実行系を用いたプログラム変交実験
- パックト符号化規則対応のASN.1コンパイラの設計
- LOTOS実行系の実装結果
- ASN.1テストツールの実用性向上に関する機能拡張
- ASN.1コンパイラが生成する専用コーダのアプリケーションプロトコル実装への適用性の評価
- LOTOS実行系における入力仕様からプログラムへの変換
- ASN.1からCへのコンパイラの評価
- LOTOSプロセスの並列処理環境における同期処理機構
- LOTOSの同期通信機構を持つ並列処理環境の構築法
- OSIアプリケーションプロトコルのためのスタブジェネレーへの抽象サービス定義の適用
- ドメイン間トラヒックを考慮したP2Pトラヒック流量モデル(ネットワーク品質・制御,情報洪水時代のネットワークサービス)
- BGPルートフラップ検出手法の提案(次世代網の品質、ネットワーク設計、ネットワーク制御、PONにおける帯域制御、アドミッション制御、トラヒックモデリング技術、一般)
- B-7-127 BGPルートフラップ推定に関する一考察(B-7.情報ネットワーク,一般講演)
- 接続障害時の経路検索を目的としたBGPデータベースの実装とその性能評価(五感メディア,映像/音声サービスの品質,ワイヤレスネットワークの品質,次世代ネットワークアーキテクチャ,一般)
- B-16-15 複数パス上のパケット遅延計測に基づく品質劣化区間推定法の検証(B-16. インターネットアーキテクチャ,一般セッション)
- B-11-1 品質劣化箇所推定における複数パスの経路情報比較に関する一考察(B-11.コミュニケーションクオリティ,一般講演)
- B-11-22 異なるメトリックに基づく品質劣化区間推定法の比較に関する一検討(B-11.コミュニケーションクオリティ,一般講演)
- パケット遅延のクラスタリングに基づく品質劣化区間推定法(触覚,五感メディアの品質,一般)
- B-11-1 品質劣化区間推定におけるパス品質分類手順に関する一検討(B-11.コミュニケーションクオリティ,一般講演)
- パケット遅延変動のクラスタリングに基づくインターネット品質劣化区間推定法(セキュリティ,信頼性,モバイル,一般)
- B-11-24 品質劣化区間推定におけるパス品質分類法に関する一検討(B-11.コミュニケーションクオリティ,一般講演)
- 将来インターネットの最新研究動向(ユビキタス/ブロードバンドネットワークの品質とメディア品質、品質評価モデル、信頼性とセキュリティ、コンテンツ、インセンティブ、一般)
- 汎用日本語処理系LTBの構成
- LT符号を用いたマルチキャスト配信における差分ダウンロード方式(シームレス通信サービスのためのネットワーキング技術論文)
- LT符号を用いたマルチキャストコンテンツ配信における追加要求方式の検討(セッション5: コンテンツ配信・遠隔会議)
- LT符号を用いたマルチキャストコンテンツ配信における追加要求方式の検討(セッション5: コンテンツ配信・遠隔会議)
- B-6-104 XOR-FECを用いた高信頼マルチキャスト向け差分ダウンロード方式(B-6.ネットワークシステム, 通信2)
- B-6-85 LTCを用いた高信頼マルチキャストにおける再送方式の検討(B-6. ネットワークシステム, 通信2)
- XOR 演算に基づく前方誤り訂正符号を用いた高信頼マルチキャストにおける再送方式の提案
- XOR 演算に基づく前方誤り訂正符号を用いた高信頼マルチキャストにおける再送方式の提案
- XOR演算に基づく前方誤り訂正符号を用いた高信頼マルチキャストにおける再送方式の提案
- ハイビジョン品質のマルチキャストコンテンツ配信システムに適するパケット送信制御手法
- IPマルチキャストを用いた無瞬断HDTV配信システムアーキテクチャの検討(ネットワークソフトウェア論文)
- 無瞬断IPマルチキャストを利用したHDTV配信システムの実装(映像通信, コンテンツ配信ネットワーク, マルチキャスト, 一般)
- B-6-83 放送型マルチキャストコンテンツ配信に適用するフロー制御手法の検討(B-6. ネットワークシステム, 通信2)
- TCP フロー制御と連動した放送型マルチキャストコンテンツ配信のフロー制御手法の検討
- TCP フロー制御と連動した放送型マルチキャストコンテンツ配信のフロー制御手法の検討
- メモリ上に日本語辞書を展開する一方式
- C言語プログラム検査システムの設計
- ROSEを用いる応用層プログラムの自動生成における複数プロトコル処理
- LOTOS実行系を用いた0SIトランザクション処理用ソフトウェアの実装と評価
- ウインドウスケールオプションを用いたTCPトラヒックの広域ATM網への収容方法に関する実験的検討
- ATM網上のTCPトラヒック特性の評価
- ATM網のUPCポリシングによるTCPスループット劣化に関する一検討
- ATM網におけるTCPトラヒック特性に関する一検討
- デ-13 複数AS連携によるドメイン間通信の耐障害性向上(デモセッション,ネットワーク,情報処理学会創立50周年記念)
- 1点観測に基づくBGP経路変動と発生箇所の推定方式の提案と実験評価(インターネット)
- 国際ATMネットワークにおけるVLANサービス評価 (2)
- 国際ATMネットワークにおけるVLANサービス評価 (2)
- 国際ATMネットワークにおけるVLANサービス評価 (2)
- ネット上のトラブルや「いじめ」に関する報告--中学・高校生当時の体験を回想して
- LTB-シェルの構成
- 状況表現に基づく文生成方式
- ROSEを用いる応用層プログラムの自動生成方式の評価 : MHS P2/P7プロトコルへの拡張ASN.1コンパイラの適用
- 汎用応用層プロトコル試験ツールの設計
- 特集「サービス融合を支えるネットワークアーキテクチャの新展開」の編集にあたって
- 一点観測に基づくBGP経路変動の発生源特定手法に関する一考察(モバイルサービス,サービス品質,一般)
- インターネットにおけるサービス品質(コンピュータと通信)
- 92-28 マルチデータベース環境における耐故障性のあるトランザクション管理
- パッシブなトラヒック収集に基づく集約経路別ネットワーク品質解析法の提案
- 3.大規模ネットワークの品質計測・障害推定技術(次世代のサービス品質技術)
- 動画データの先読み機能と再生時刻を考慮した再送機能を持つ動画検索プロトコル
- 動画検索システムへの確認型プロトコルの適用に関する一考察
- スクリプト言語用ASN.1インタープリタ
- 拡張ASN.1コンパイラを用いたCMIPプログラムの実装と評価
- 広域ATM網を介したLAN間接続のためのTCPゲートウェイの実装
- ギガビットを実現する通信インタフェースの実装方式に関する一検討
- 編集にあたって (特集 アナログテレビ放送の終焉)
- ATMレイヤ品質を考慮したTCP/IPの性能評価
- OSIトランスポート・プロトコルへのAdaの適用と評価
- ネットワーク仮想化環境における最小開示ルーティング方式の提案(トラヒック,NW評価,性能,リソース管理・制御,トラヒックエンジニアリング,NW信頼性・レジリエンシ,一般)
- グリッドグラフを利用した位置推定手法
- グリッドグラフを利用した位置推定手法
- 中学生・高校生の携帯電話に関連したいじめ等の問題に関する研究(コミュニケーションの心理及び一般)
- 高校生の携帯電話によるネット利用の実態 : ウェブサイト,ウェブログ,マイリンクを中心に(コミュニケーションの心理及び一般)
- 通信,放送,ITの連携による新たなコンシューマサービスの出現 (特集 コンシューマが切り拓くディジタル化社会の新しい潮流)
- BI-7-2 ネットワーク科学へのキャリアからの期待(BI-7.情報ネットワーク科学が目指すもの,依頼シンポジウム,ソサイエティ企画)
- 人間関係を推定するフレームワークに基づくネットいじめ防止ツールの実装
- B-7-18 低遅延P2Pネットワーク構成手法におけるIP位置情報を用いたユーザマッチングの解析的評価(B-7. 情報ネットワーク,一般セッション)
- サービス合成可能なネットワークプラットフォームの提案(産学官連携研究開発成果発表会,Resilient Network,ディザスタ・リカバリ,BCP(Business Continuity Plan),臨時ネットワーク構築,省電力ネットワーク技術,TCP/IP,プロトコル,ルーチング,ネットワーク管理,認証/ID管理及び一般)
- 低遅延オンラインゲームにおけるIP位置情報を用いたユーザマッチングの解析的評価(ネットワーク品質,ネットワーク管理・計測,ネットワーク仮想化,一般)
- 高校生の携帯電話によるネット利用と適応感との関連(ライフサイクル(2):青少年・高齢者の適応支援,コミュニケーションの心理及び一般)