ASN.1からLOTOS ADTへの変換
スポンサーリンク
概要
- 論文の詳細を見る
本稿ではASN.1によるデータ型定義をLOTOSのADT(抽象データ型)にいかに変換するかについて検討し,同時にASN.1符号化規則のLOTOS化について考察する。前者により準形式的な言語ASN.1が形式的に取り扱い可能となる。また後者によりプレゼンテーション層のLOTOSを介した形式化,自動化が期待される。
- 一般社団法人情報処理学会の論文
- 1992-02-24
著者
-
高橋 薫
東北大学
-
高橋 薫
東北大学電気通信研究所
-
藤尾 光彦
シャープ(株)
-
五ノ井 敏行
富士通(株)
-
藤尾 光彦
九州工業大学大学院情報工学研究院システム創成情報工学研究系
-
藤尾 光彦
九州工大
関連論文
- 睾丸腫瘍及び膀胱癌の腫瘍組織内リンパ球 Subpopulation
- 先天性水腎症における尿輸送能の定量的評価法の研究
- 両側異時発生セミノーマの3例 : 第188回東北地方会
- 比較的まれな副腎腫瘍の5例(偽嚢腫,リンパ管腫性嚢腫,骨髄脂肪腫,脂肪腫,神経鞘腫)(第197回東北地方会)
- 上部尿路の低流量Pressure-Flow Study : 第74回日本泌尿器科学会総会
- 経口剤による尿酸結石溶解症例について : 第194回東北地方会
- モノクローナル抗体,レクチンを用いた膀胱腫瘍の研究
- 時制論理に基づくプロトコルの LOTOS 仕様の合成
- LOTOSに基づいたプロトコルの論理検証支援システムの実現
- LOTOS仕様の分割支援システム
- 相互接続試験への拡張性を考慮した適合性システムの開発
- 適合性試験システムの開発 : IUTシミュレータの開発
- 相互接続試験システムAICTSの開発 : 試験スイートの検討
- 相互接続試験システムAICTSの開発 : プロトタイプの開発
- ウェーブレット手法の脳波解析への応用(ウェーブレット変換の展開)
- 傍膀胱肉腫の1例 : 第185回東北地方会
- LOTOSによるCCRサービス定義の形式記述 : データ型部 : INTAP研究開発委貝会プロトコル形式記述WG
- LOTOSによるCCRサービス定義の形式記述 : プロセス部 : INTAP研究開発委員会プロトコル形式記述WG
- LOTOSによるCCRサービス定義の形式記述 : 全体報告 : INTAP研究開発委員会プロトコル形式記述WG
- 並列性を考慮した通信システムの相互接続度験系列生成法
- 並列性を考慮した通信システムの相互接続試験系列生成法
- プロセスの独立性を考慮した通信システムの相互接続試験系列生成法
- 並列試験系列記述法PTSNを用いた試験の効率に関する一考察
- 並列性を考慮した通信システムにおける相互接続試験系列生成法
- 並列動作を含む相互接続試験系列記述法の提案
- 胎便性腹膜炎に合併した陰嚢壊死の1例 : 第186回東北地方会
- シーケンス図を基本とした通信システム用仕様記述法MSCの提案
- モルフォロジー多重解像度解析を用いた動作想像および認知時脳波波形解析(モルフォロジーセッション,システムオンシリコン,RFID技術及び一般)
- AS-4-7 右手左手動作想像時の脳波波形パタン識別 : モルフォロジカルフィルタを用いた特徴抽出(AS-4.マセマティカル・モルファオロジーの新展開とその応用,シンポジウム)
- Prune-Belly症候群の4例 : 第195回東北地方会
- 尿道弁の6例 : 第187回東北地方会
- ASN.1からLOTOS ADTへの変換
- 尿路腫瘍の腫瘍マーカーの検討 : 特にTPAについて : 第188回東北地方会
- 経腹的後腹膜リンパ節吸引生検法 : 第48回東部連合総会
- システム要求と形式仕様のやわらかい設計支援環境とその試作
- プロセス仕様の検証のための模倣性判定法
- シミュレーション関係に基づくLOTOS仕様の検証アルゴリズム
- SDLからLOTOSへの変換
- LOTOSによる交換サービス仕様の記述
- GLOER : G-LOTOSエディタの試作
- LOTOSによる交換ソフトウェア仕様検証について
- 相互運用性試験アーキテクチャに関する一考察
- SDL仕様のLOTOSによる解釈
- 通信ソフトウェア設計支援環境 : ITECS(2) : 仕様作成支援
- 通信ソフトウェア設計支援環境 : ITECS(1) : 全体構成
- LOTOSの図式支援環境について
- SAL : LOTOS仕様の意味解析支援システム : 実現方式
- SAL : LOTOS仕様の意味解析支援システム : 目的と概要
- BCIにおける脳波解析のためのモルフォロジカルフィルタ設計
- 通信ソフトウェア設計支援環境 : ITECS(4) : 試験仕様生成支援
- 通信ソフトウェア設計支援環境 : ITECS(3) : 仕様検証支援
- LOTOS検証システムMetisII
- ASN.1データ定義支援環境の構成
- LOTOS仕様からの効率的な試験系列の自動生成
- LOTOS言語の特質と処理系の現状と動向 (通信システムの形式記述技法の標準化)
- LOTOSの状態遷移的解釈に関する一考察
- LOTOSに基づいたプロトコル論理検証支援
- NESDEL : プロトコル向き仕様記述言語とその応用
- 通信ソフトウェア向き超高級プログラミング言語IDLとその適用
- 計算機ネットワークにおける画像・文章統合型メールシステムの設計と実現