プロセス数に依存しない動作記述における状態の到達可能性解析
スポンサーリンク
概要
- 論文の詳細を見る
不特定多数のプロセスを扱う通信システムにおいて、動作を記述する際、プロセスを固定して表す場合が多い。従って、状態の到達可能性解析は、通常固定されたプロセス数の範囲内で行われている。しかしながら、任意個のプロセスを扱う場合、あるプロセス数からなるシステムでは状態の到達可能性が言えず、より多くのプロセス数からなるシステムでは、状態の到達可能性が言える、ということが起こり得る。そこで、本稿では、プロセス数に依存しないシステムの動作記述法を前提に、プロセス数と到達可能な状態の集合との間の関係について示し、到達可能性を判定する手法について提案する。
- 一般社団法人情報処理学会の論文
- 1990-09-04
著者
関連論文
- サービス仕様の自動生成に関する考察
- 設計修正時の思考支援に関する考察
- 思考履歴を利用した設計支援環境の考察
- 高次部品化における概念辞書の構造
- 仕様化支援方式に関する研究
- ヒューリスティックなカットセット解析によるPSDLコンパイラの処理ネック解決
- 設計履歴を利用したソフトウェア設計・保守支援方式
- 概念モデル上のカーディナリティに着目した仕様の洗練化
- E-Rモデルと制約に基づく仕様部品の合成と制約論理プログラムへの変換
- 図が表す概念の構造化とその効用
- サービス記述検証支援システム
- 分散システムの記述とプロセス動作
- プロセス数に依存しない動作記述における状態の到達可能性解析
- サービス仕様の自動生成に関する考察 : 自動生成機構の構想
- EBLにおける一般化問題の一考察
- 4ZE-1 秘密分散法を組み込んだOpenOfficeの評価(システムセキュリティ,一般セッション, セキュリティ,情報処理学会創立50周年記念)
- 通信サービスに対する要求理解に関する一検討率
- 通信システムにおける設計仕様の統合方式の一考察
- 2Y-6 PCの利用状況に応じたタスク制御手法の検討(システム運用・管理,学生セッション,ネットワーク)
- 広帯域パケット交換におけるパケット転送方式 (広帯域ネットワ-ク特集) -- (制御・プロトコル)
- プロトコル射影検証手法における縮退検証と信号削除規律
- マッチング機能を利用した通信システム仕様記述手法
- 4ZE-2 個別閾値を用いたオンライン署名照合システム(システムセキュリティ,一般セッション, セキュリティ,情報処理学会創立50周年記念)
- 5R-9 Webにおけるサンプルコード検索支援手法の検討(Webシステム,学生セッション,データベースとメディア,情報処理学会創立50周年記念)
- H-017 個別閾値を用いたオンライン署名認証システム(画像認識・メディア理解,一般論文)
- E-009 Webにおけるサンプルコード検索支援手法の検討(自然言語・音声・音楽,一般論文)