通信ソフトウェア生成ツールSERIOUSの開発とOSI分散トランザクション処理への適用
スポンサーリンク
概要
- 論文の詳細を見る
通信ソフトウェア開発支援を目的として,形式手法に基づいた仕様化,ソースコード生成,試験等に関する,様々な研究が行われている.多くの状態や入出力イベントを持ち複雑な状態遷移を行うプロトコルにおいて,状態遷移表や形式仕様からソースコードを生成するツールの有効性は認められているものの,実際の製品開発に適用しているとの事例は少ない.我々は,従来ツールの問題点を明らかにし,実使用に必要となる要求仕様を検討した.これらの検討をふまえて,規格で定義された状態遷移表と実装依存情報を入力とし,通信ソフトウェアのプロトコルマシン部分のソースコードを生成する通信ソフトウェア生成ツールSERIOUSを開発した.また,OSI応用層プロトコルの一つである,OSI分散トランザクション処理に適用し,その有効性を確認した.
- 社団法人情報処理学会の論文
- 1994-01-20
著者
-
中川路 哲男
三菱電機(株) 情報技術総合研究所
-
中川路 哲男
三菱電機(株)
-
楠 和浩
三菱電機(株)情報技術総合研究所
-
辻 宏郷
三菱電機(株)情報システム研究所
-
粟屋 英司
三菱電機(株)コンピュータ製作所
-
辻 宏郷
三菱電機(株)情報電子研究所
-
辻 宏郷
静岡大学大学院理工学研究科|三菱電機株式会社情報技術総合研究所
関連論文
- Behavior Blocking方式に基づく組み込みデバイスの保護(セッション1:移動体通信)
- インターネットを利用した遠隔制御機器アクセス方式の提案と評価
- 分散生産ライン管理・保守システムのオブジェクト指向技術に基づく設計と実装
- 2段階送信キューをもつタイムクリティカル通信プロトコルの提案とその評価
- Timed Token Protocolを用いたタイムクリティカル通信方式における帯域管理方式
- 平衡点解析によるトークンバスプロトコルの解析
- Mini-MAPオブジェクトディクショナリの性能評価
- OSI-TPにおけるプロトコル記述方法に関する一考察
- 放送機能を利用した2相コミットメント制御プロトコル
- ミニMAPオブジェクトディクショナリシステムの性能評価
- オブジェクト指向言語superCの改良
- B-6-109 複数インタフェースに対応した FA 機器遠隔保守システムの構築
- D-10-12 電子メールをユーザインタフェースとした機器遠隔操作システムの構築
- 2Q-4 コールバック方式による自動ダイヤルアップ接続方式の検討
- 3P-5 インターネット連携システムにおける通信プロトコル変換方式の検討
- 2N-6 CORBAネーミングサービスの実現方式と応答性に関する一考察
- 高信頼性 WWW システムの検討
- LANにおけるマルチメディア通信用オンタイムクリティカル通信制御方式 (マルチメディア通信と分散処理)
- 非同期メッセージ通信機能の実現
- 通信ソフトウェア生成ツールSERIOUSの開発とOSI分散トランザクション処理への適用
- OSI上位層通信ソフトウェア生成ツールSERIOUS
- 差分更新を実現する分散オブジェクト再構成ミドルウェアの実装と検証(ミドルウェア, マルチメディア, 分散, 協調とモバイル(DICOMO2004))
- LIpS : 際標準に基づく形式的仕様記述LOTOSの支援環境(3) : 抽象データ記述の処理[INTAP研究開発委員会プロトコル形式記述WG]
- LIpS : 際標準に基づく形式的仕様記述LOTOSの支援環境(2) : 中間言語 Arbalotos[INTAP研究開発委員会プロトコル形式記述WG]
- LIpS : 国際標準に基づく形式的仕様記述LOTOSの支援環境(1) : 設計概要[INTAP研究開発委員会プロトコル形式記述WG]
- 分散C/SシステムにおけるPC-クライアントの機能分担における一考察
- 分散システムにおけるディレクトリサービスのセキュリティへの適用
- 形式手法による通信ソフトウェア試験データの生成とその試験法
- OSIディレクトリ規格に基づくアドレス検索システム(2) : アプリケーションへの応用
- OSIディレクトリ規格に基づくアドレス検索システム(1) : システム概要とプロトコル
- OSIディレクトリサービス仕様の実現上の課題
- SDLに基づく通信ソフトウェア開発環境
- LOTOS Serverとモジュール仕様記述
- セキュア携帯電話システム (特集 情報セキュリティ技術)
- 携帯電話スマートキーを活用した車操作権限の貸与方式の提案(セッション5-C : 認証・アクセス制御(1))
- 携帯電話スマートキーを活用した車操作権限の貸与方式の提案
- 情報セキュリティ技術 セキュリティライブラリ (特集 情報セキュリティ)
- 5T-4 PKIにおけるICカードの適用と評価
- 5T-3 相互認証を実現する証明証検証ソフトウェアの試作
- 5T-2 ICカードファイルフォーマット設定ソフトウェアの自動生成
- 5T-1 生体識別技術のPKIへの適用に関する一考察
- 2L-7 PKI暗号ライブラリにおけるICカードの利用(4) : ブラウザとの連携
- 2L-6 PKI暗号ライブラリにおけるICカードの利用(3) : 鍵管理
- 2L-5 PKI暗号ライブラリにおけるICカードの利用(2) : 内部データ形式
- 2L-4 PKI暗号ライブラリにおけるICカードの利用(1) : 概要
- 不正侵入検出手法に関する一考察
- セキュアアプリケーシヨン開発のための暗号ライブラリアーキテクチャ
- 放送型高頻度鍵更新方式による超広域モバイル環境向けセキュアリアルタイム通信の実現
- B-21-2 帯域削減型アドホックネット設計指標(B-21.アドホックネットワーク,一般講演)
- B-21-10 マルチレイヤ・フォルトトレラント・アドホックネットワーク設計(B-21.アドホックネットワーク, 通信2)
- B-21-28 ランダムグラフ理論によるアドホックセンサーネットのモデル化(B-21. アドホックネットワーク, 通信2)
- ネットワーク障害診断ツールの開発(次世代テレコム環境におけるマネジメント技術及び一般)
- フォルトトレラント・アドホックネットワーク設計方式(NW性能管理,NW品質,一般)
- フォルトトレラント・アドホックネットワーク設計方式(NW性能管理,NW品質,一般)
- リソース指向分散環境 RODS の提案と実現
- リソース指向分散処理環境の実装及び評価
- 分散処理環境におけるオブジェクト実現方式
- 適用形態を考慮した分散処理システムのモデル化
- リアルタイムコラボレーションシステムCyber OpenNet(1) : 全体構想と応用システム
- 5D-6 地図コンテンツ流通における分散著作権管理方式の提案
- コンテンツ配布システムにおける鍵管理方式の一提案
- セキュアデジタルコンテンツ配布システム-DigiGuard-における課金処理方式
- 3DリアルタイムコラボレーションシステムCyber OpenNetにおけるオブジェクト管理の検討
- リアルタイムコラボレーションシステムCyber OpenNet (3) : 協調作業支援におけるオブジェクト管理
- 分散仮想環境によるリアルタイムコラボレーションシステム : Cyber OpenNet
- 分散計算機管理システムの設計
- 分散システムにおける柔軟な構成情報による障害復旧方式
- 情報セキュリティ技術の動向
- 分散情報処理によるオープン化(生産システムのオープン化)
- 同一機種分散システムにおける負荷分散方式
- 携帯電話スマートキーを活用した車操作権限の貸与方式の提案(セッション5-C : 認証・アクセス制御(1))
- 分散 LAN ドメインの OSI による統合管理
- 4T-5 暗号通信における監査機能の実現方式に関する考察
- キーリカバリシステムの試作と商用システムへの応用に関する検討
- キーリカバリシステムの試作
- 分散システム管理のための管理要求ブローカー(MrBoot)の設計
- 協調型INサービスにおけるClient/Server間Binding方式の検討
- 分散オブジェクトのTMNへの適用に関する一検討
- OSI管理による分散計算機システムの管理方式
- W-CDMA携帯機セキュリティ技術 (特集 第3世代携帯電話技術)
- B-7-68 工場エネルギー管理制御プロトコルの要件検討(B-7.情報ネットワーク,一般セッション)
- 国際標準形式記述技法に基づく体系的試験支援環境FORESTの提案と実現
- 通信ソフトウェア向けオブジェクト指向言語superC
- 着脱可能暗号トークンを用いた携帯電話向けPKI S/Wアーキテクチャの提案
- 認証・認可情報流通基盤について
- 情報セキュリティ技術 耐タンパーセキュアボード"TURBOMISTY" (特集 情報セキュリティ)
- 2L-8 耐タンパー性を備えた暗号処理ボードの試作
- OSIディレクトリシステムにおけるDIB(ディレクトリ情報ベース)のオブジェクト指向アプローチによる実現
- 分散処理環境へのネットワーク管理の適用に関する一検討
- OSIネットワーク管理ソフトウェアの設計
- OSI-TPにおけるコミット制御手順の最適化に関するー考察
- 統合ネットワーク管理システムにおける管理情報/プロトコルの変換方式
- ディレクトリプロトコルの拡張提案と運用上の検討課題について
- OSI管理情報支援ツールMINTの設計
- プログラマブルコントローラ・シーケンサのネットワーク
- 構文定義用言語ASN.1の特質と処理系の現状と動向 (通信システムの形式記述技法の標準化)