通信サービス要求理解に関する一考察
スポンサーリンク
概要
- 論文の詳細を見る
不完全なサービス仕様から通信サービスとして意味のある仕様を導出するために,通信サービスをモデル化したドメインモデルによる要求理解手法を提案する.サービス仕様を端末の状態遷移を規則の集合で規定する仕様記述言語STRで記述する.2端末では,二つの状態(始状態と目標状態)をドメインモデル上に写像し,状態間の距離を定義することで,二つの状態間を結ぶ規則系列を求める要求理解手法が提案されている.3端末以上では,2端末毎の相互関係を考慮する必要がある.本稿では,端末間の相互関係をグラフで表現することにより要求理解を行う手法を述べる.
- 1995-03-27
著者
関連論文
- 連結グラフを考慮するコンカレントシステムの状態生成手法
- 離散事象システムにおける可達集合の高速検証方式
- 通信システムサービス仕様における正当性検出と解消方式
- 通信システムサービス仕様におけるデッドロック検出方式(グラフ,ネットワークとアルゴリズムおよび一般)
- 通信サービス要求記述の静的解析手法
- プロダクションシステムにおける詳細優先方式による競合解消戦略の静的解析手法
- 通信サービスに対する要求理解に関する一検討率
- 通信ソフトウェア仕様の検証に関する課題
- B-19-17 CCMからHCMへの自動変換法の提案(B-19.ネットワークソフトウェア,一般セッション)
- ドメインモデルを用いたサービス仕様生成の構想
- 通信サービス仕様生成における要求理解に関する一考察
- 宣言型通信サービス仕様記述言語からSDLへの変換法
- 規則形式の通信サービス仕様からのプロトコル合成
- 通信ソフトウェア自動生成のためのプロトコル整合に関する一考察
- インタフェースの意味対応によるプロトコル整合
- プロダクションルールを用いた通信サービス仕様の詳細化
- 機能分散モデルのアーキテクチャ配置の考察
- 二段階通信サービス仕様記述とプログラム仕様への自動変換
- 通信サービス要求理解方式の一考察
- 任意プロトコル仕様に合わせたネットワーク制御タスク自動配置
- 自動合成プロトコルと標準プロトコルとの整合法に関する一考察
- 通信サービス要求理解に関する一考察
- ドメインモデルとCBRによるハイブリッド型要求理解方式
- グラフ表現可能な通信サービス仕様からソフトウェア仕様への変換法について
- 機能分散モデルのためのソフトウェア構成に関する一考察
- 機能分散モデルにおけるサービス機能展開の考察
- 端末動作記述によるサービス仕様記述の機能分散モデルへの展開
- サービス非依存な競合回避機能を有するプロトコル合成法
- 通信サービス記述からプログラム仕様への自動変換と最適化
- 段階的詳細化による通信サービス仕様記述
- B-19-6 状態遷移図のCCMからHCMへの自動変換法(B-19.ネットワークソフトウェア,一般セッション)
- 状態遷移図のCCMからHCMへの自動変換手法 (情報ネットワーク)
- 状態遷移図のCCMからHCMへの自動変換手法(ポストIPネットワーキング,新世代ネットワーク,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク,NW安全性及び一般)
- 状態遷移図モデルの自動変換アルゴリズムに関する一考察 (通信方式)
- 状態遷移図モデルの自動変換アルゴリズムに関する一考察(ポストIPネットワーキング,新世代ネットワーク,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク,NW安全性及び一般)