通信システムのサービス仕様の変更に基づくプロトコル仕様の自動変更法とその応用
スポンサーリンク
概要
- 論文の詳細を見る
本稿では, 通信システムのサービス仕様の変更に対するプロトコル仕様の変更法について述べる. 変更項目として, 既存のサービスに対する情報の追加と削除が考えられる. 仕様の検証の観点から, 変更部分が既存の仕様と独立することが望ましい. そこで追加に関して, サービス仕様の変更部分を並行プロセスとして表現する手法を提案し, プロトコル仕様において対応する変更部分を合成する手法を示す. サービス仕様とプロトコル仕様はラベル付き遷移システム(LTS)でモデル化される.
- 社団法人電子情報通信学会の論文
- 1996-09-24
著者
-
高橋 薫
東北大
-
白鳥 則郎
東北大学電気通信研究所
-
高橋 薫
仙台電波工業高等専門学校
-
高橋 薫
仙台電波工業高等専門学校 情報通信工学科
-
郷 健大郎
東北大学電気通信研究所
-
高橋 薫
情報科学研究科
-
白鳥 則郎
仙台電波工業高等専門学校
関連論文
- 情報処理学会,これからの50年(特別インタビュー,写真で綴る情報処理学会全国大会50年史,50周年記念特集号)
- 現実空間での社会的振舞を活用した柔軟かつ安全なアクセス制御方式(マルチメディアとコンテンツ共有,オーバーレイネットワーク,VPN,DDoS,ネットワークセキュリティ,P2P通信,ネットワークソフトウェア,一般)
- LM-009 P2Pネットワークのための分散ハッシュ型認証手法(ユビキタス・モバイルコンピューティング)
- 社会的関係を活用した第三者に対する柔軟かつ安全なアクセス制御(セッション1:アプリケーション)
- 利用者の知覚に基づく3次元共有空間の動的QoS制御方式(アクティブネットワーク, IP-VPN, ネットワークセキュリティ, 超高速ネットワーク, P2P通信, ネットワークソフトウェア, 一般)
- 周辺状況を利用した通学時の子供の目的地推定機能(ユビキタスNW,オーバーレイネットワーク,VPN,DDoS,ネットワークセキュリティ,P2P通信,ネットワークソフトウェア,一般)
- モバイルネットワーク環境におけるネットワーク構成情報の可視化手法の提案(ポストIPネットワーキング,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク,NW安全性及び一般)
- 共有情報制御による効果的な共同作業支援(セッション1:アプリケーション)
- モバイル環境のためのハンドオフ検出型TCPの提案(セッション1: プロトコル)
- 睾丸腫瘍及び膀胱癌の腫瘍組織内リンパ球 Subpopulation
- 変数を用いたWebアプリケーションのモデル化と形式的手法による検査(ワークショップ(査読付き),「次世代経営情報技術」,その他)
- 形式的手法によるWebアプリケーションのモデル化と検証
- 確率的時間論理に基づくフォールトモデルを用いた診断方法
- 健康支援システムにおける生体情報の効果的な獲得手法の設計(ポストIPネットワーキング,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク,NW安全性及び一般)
- 共生コンピューティングの形式化に関する一考察(情報社会のデザイン:Inter Societyと実世界アプリケーション)
- 共生コンピューティングに基づく地域情報基盤とその応用(Inter Society(1),Inter Society-ユビキタスネットワーク社会における知的協調・連携基盤の創造)
- 共生コンピューティング(3) : 子供とお年寄りの見守り事例(Inter Society(1),Inter Society-ユビキタスネットワーク社会における知的協調・連携基盤の創造)
- 共生コンピューティングに基づく地域情報基盤とその応用
- 1. Symbiotic Computing : ポスト・ユビキタス情報環境へ向けて(シンビオティック・システムの実現に向けて-人,社会,環境,情報システムの協調系-)
- 先天性水腎症における尿輸送能の定量的評価法の研究
- 両側異時発生セミノーマの3例 : 第188回東北地方会
- 共生型3次元仮想空間の構成とその応用に関する一考察(ポストIPネットワーキング,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク,NW安全性及び一般)
- ユビキタス環境向けエージェントプラットフォームのための適応型通信機構の設計(モバイル/放送融合技術・システム・アプリケーション,モバイルコンテンツ,モバイル映像配信)
- コンテクストアウェアサービスのためのマルチエージェントに基づく適応型情報管理方式の提案(モバイル/放送融合技術・システム・アプリケーション,モバイルコンテンツ,モバイル映像配信)
- 共生コンピューティングに基づくグループ学習の効果的な支援手法(ソーシャルNW,トポロジ,オーバーレイネットワーク,VPN,DDoS,ネットワークセキュリティ,P2P通信,ネットワークソフトウェア,一般)
- 共生コンピューティングに基づく利用者にやさしい見守り型健康支援システムの設計(ユビキタスNW,オーバーレイネットワーク,VPN,DDoS,ネットワークセキュリティ,P2P通信,ネットワークソフトウェア,一般)
- やさしい見守り型健康支援システムの実現に向けて(セッション3:ユビキタス(1))
- オントロジを利用した健康支援システムの提案とその評価(Webインテリジェンス,情報洪水時代のネットワークサービス)
- 共生コンピューティングに基づく利用者にやさしい見守り支援システムの設計(情報社会のデザイン:Inter Societyと実世界アプリケーション)
- ネットワーク管理におけるイベントのリアルタイム識別の実現のためのログ要約手法の提案と評価(ネットワークセキュリティ,ユーザ指向の分散システム/インターネットの運用・管理)
- ユビキタス環境におけるマルチエージェントに基づくコンテクスト情報管理方式の提案(ユビキタスネットワーク,VPN,NAT,ネットワークセキュリティ,DDoS,P2P及び一般)
- LO_002 uEyes : 見る側と見られる側の双方にやさしいリアルタイム見守り支援システムの提案(O分野:情報システム)
- 1B-3 画面遷移を用いたWebアプリケーションのモデル化とSPINによる検証(プログラム検証と品質管理,一般セッション,ソフトウェア科学・工学)
- オントロジを利用した健康支援システムの設計と実装
- F_010 オントロジに基づいた健康アドバイス導出システム(F分野:人工知能・ゲーム)
- F_009 健康アドバイス導出のための領域オントロジと推論ルール(F分野:人工知能・ゲーム)
- 比較的まれな副腎腫瘍の5例(偽嚢腫,リンパ管腫性嚢腫,骨髄脂肪腫,脂肪腫,神経鞘腫)(第197回東北地方会)
- 上部尿路の低流量Pressure-Flow Study : 第74回日本泌尿器科学会総会
- 経口剤による尿酸結石溶解症例について : 第194回東北地方会
- モノクローナル抗体,レクチンを用いた膀胱腫瘍の研究
- 形式的手法によるWebアプリケーションのモデル化と検証
- Webアプリケーションの変数を用いたモデル化と形式的手法による検査
- 傍膀胱肉腫の1例 : 第185回東北地方会
- LOTOSによるCCRサービス定義の形式記述 : データ型部 : INTAP研究開発委貝会プロトコル形式記述WG
- LOTOSによるCCRサービス定義の形式記述 : プロセス部 : INTAP研究開発委員会プロトコル形式記述WG
- LOTOSによるCCRサービス定義の形式記述 : 全体報告 : INTAP研究開発委員会プロトコル形式記述WG
- 相互接続試験系列生成システム : TESGEN
- 2Z-4 プライバシーを考慮した個人・組織情報検索システム(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- F-036 OWLによる個人・組織情報のモデル化とプライバシーの取扱い(人工知能・ゲーム,一般論文)
- 並列性を考慮した通信システムの相互接続度験系列生成法
- 並列性を考慮した通信システムの相互接続試験系列生成法
- プロセスの独立性を考慮した通信システムの相互接続試験系列生成法
- 並列試験系列記述法PTSNを用いた試験の効率に関する一考察
- 並列性を考慮した通信システムにおける相互接続試験系列生成法
- 並列動作を含む相互接続試験系列記述法の提案
- 胎便性腹膜炎に合併した陰嚢壊死の1例 : 第186回東北地方会
- シーケンス図を基本とした通信システム用仕様記述法MSCの提案
- 2Z-6 NuSMVを用いたオントロジ検証(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 2P-2 形式的手法と検査ツールによるモデル検査事例と考察(ソフトウェアの検査・検証,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- B-015 モデル検査を用いたオントロジの検証(ソフトウェア,一般論文)
- Prune-Belly症候群の4例 : 第195回東北地方会
- 尿道弁の6例 : 第187回東北地方会
- 尿路腫瘍の腫瘍マーカーの検討 : 特にTPAについて : 第188回東北地方会
- 命題論理に基づく要求仕様の詳細化とその支援
- 携帯電話向けWWWページ作成の実習授業への導入
- (71)Webページ作成による教育事例 : 携帯電話向けWebページの作成(マルチメディア(I),第17セッション)
- 経腹的後腹膜リンパ節吸引生検法 : 第48回東部連合総会
- ピアエンティティ生成に基づくプロトコル合成法
- 通信システムのサービス仕様の変更に基づくプロトコル仕様の自動変更法とその応用
- コミュニケーションプロトコルの適応性を考慮したやわらかい合成支援環境の構築
- システム要求と形式仕様のやわらかい設計支援環境とその試作
- 通信プロトコルのやわらかい合成法
- 要求と形式仕様のやわらかい設計支援システム
- 形式仕様の開発における機能要求への反映
- プロセス仕様の検証のための模倣性判定法
- シミュレーション関係に基づくLOTOS仕様の検証アルゴリズム
- SDLからLOTOSへの変換
- LOTOSによる交換サービス仕様の記述
- GLOER : G-LOTOSエディタの試作
- LOTOSによる交換ソフトウェア仕様検証について
- SDL仕様のLOTOSによる解釈
- 通信ソフトウェア設計支援環境 : ITECS(2) : 仕様作成支援
- 通信ソフトウェア設計支援環境 : ITECS(1) : 全体構成
- LOTOSの図式支援環境について
- 自学型習熟度別プログラミング教育について
- 通信システム仕様の合成支援環境の設計と実現
- 通信ソフトウェア設計支援環境 : ITECS(4) : 試験仕様生成支援
- 通信ソフトウェア設計支援環境 : ITECS(3) : 仕様検証支援
- LOTOS検証システムMetisII
- ASN.1データ定義支援環境の構成
- 命題論理に基づいた並行システムの階層的仕様記述
- D-3-5 NuSMVを用いたRBACモデルの検証(D-3.ソフトウェアサイエンス,一般セッション)
- 命題論理に基づいた並行システムの制約付き仕様記述
- 命題理論に基づいた並行システムの仕様記述
- 命題論理に基づいた並行システムの仕様記述
- 命題論理に基づいた並列システムの仕様記述(並列・分散)
- 規格間干渉の可視化ツールの開発
- B-016 ロールオントロジーに基づいた個人・組織情報への動的なアクセス制御(開発支援・プロジェクト管理,B分野:ソフトウェア)
- B-005 モデル検査ツールNuSMVを用いたオントロジー検証(テスト・検証,B分野:ソフトウェア)
- B-023 RBACモデルの形式検証(電子文書・ソフトウェア科学,B分野:ソフトウェア)