離散事象システムにおける可達集合の高速検証方式
スポンサーリンク
概要
- 論文の詳細を見る
離散事象システムの検証にとっては,可達性の検証が有効とされているが可達性の確認は計算量的に不可能であるといわれている.それは,現状の可達性解析が状態木を生成するという総当たり的な手法をとっていることによる.しかし,実際のシステムに存在する状態の多くは基本となる状態の組合せで成り立っている場合が多い.本稿では,その基本状態を求める手法により状態遷移木を作成しない状態生成手法を離散事象システムの一つである通信システムを例に提案する.
- 社団法人電子情報通信学会の論文
- 1995-07-07
著者
関連論文
- マルチベンダ指向リアルタイムソフトウェアプラットフォーム
- 通信サービスの視覚的な要求仕様化支援法
- サービス競合における異常な状態への遷移の検出法
- 通信サービス相互作用に含まれる意味的矛盾動作検出方式
- 通信サービス仕様記述支援のためのデータベース構成法
- 非専門家を対象としたサービス仕様記述支援法
- 通信サービス概念モデルの応用に関する一考察
- 通信サービス動作の修正影響解析支援方法
- 通信サービスの概念モデルの一考察
- 通信サービス仕様記述支援におけるガイダンス手法の一考察
- 通信サービス仕様間の矛盾の自動検出法
- 通信サービス課金仕様競合検出方式
- 通信サーピス課金仕様競合検出方式
- 連結グラフを考慮するコンカレントシステムの状態生成手法
- サービス仕様検証法の一考察 : サービス競合検出法の効率化
- 離散事象システムにおける可達集合の高速検証方式
- 要求仕様の検証における状態検索の効率化方式
- 通信システムサービス仕様における正当性検出と解消方式
- 通信システムサービス仕様におけるデッドロック検出方式(グラフ,ネットワークとアルゴリズムおよび一般)
- 通信サービス要求記述の静的解析手法
- プロダクションシステムにおける詳細優先方式による競合解消戦略の静的解析手法
- プロダクションシステムで記述された通信ソフトウェア仕様の検証方式の一検討
- 状態遷移指向の仕様検証における状態検索の効率化方式
- マルチエージェント協調プロトコルのコンカレントモデル
- マルチエージェント協調機構のペトリネットによるモデル化の一考察
- インバリアントおよびサイフォンの効率的な検出アルゴリズムについて
- インバリアントおよびサイフォンの効率的な検出アルゴリズムについて
- コンカレントシステムの仕様検証手法
- ソフトウェアメトリックスを導入するソフトウェア開発支援手法
- ソフトウェアメトリックスを利用する統合的開発支援環境の構築法
- ソフトウェアメトリックスを導入する通信ソフトウェア開発支援手法
- コンカレント工学の技術を利用するソフトウェアの計量化についての一考察
- 端末数に非依存となる通信サービスの状態の最大数について
- Coloured Petri Netsに基づいた通信サービス要求仕様化支援
- 通信サービスに対する要求理解に関する一検討率
- 通信ソフトウェア仕様の検証に関する課題
- 概念データモデルで記述された仕様の関数型言語への変換
- 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安全性及び一般)