| 講演名 | 1993/10/1 通信サービス要求記述の静的解析手法 上田 佳寛, 田倉 昭, 太田 理, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本報告は,競合解消戦略として詳細優先方式をもちいるプロダクションシステムにおける,ルールの最適化方式を提案する.ルール集合に含まれる任意の複数のルールが意味的に全く同じであること(同値性),および次状態に移る遷移を一意に決めることができないルールが存在すること(非決定性)を自動的に検出し,条件部が恒真となるルールを縮退する.ここでは,上記のルール形式で仕様が与えられている通信サービスに対して,この解析手法を実際に適用した.さらに,この手法を利用することにより,一般に計算量の爆発の可能性がある状態の到達可能性の解析を効率的に行なえることも報告する. |
| 抄録(英) | This paper proposes a rule optimizing method for production systems which use the detail priority strategy for conflict resolution. This method automatically determines the semantic equivalence of any subset of rules specifying a system and also determines whether a subset of rules is non-deterministic.In addition,it reduces the number of rules which are conditionally true. The method is applied to the communication system specified by the rule set.Furthermore,an enhanced state reachability analysis method is discussed which can be used to make highly complex computations. |
| キーワード(和) | ユーザ要求 / 要求理解 / 通信システム / プロダクションシステム |
| キーワード(英) | user′s requirement / requirement acuisition / communication syst em / production system |
| 資料番号 | SSE93-81,IN93-88,CS93-104 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SSE |
|---|---|
| 開催期間 | 1993/10/1(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Switching Systems Engineering (SSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 通信サービス要求記述の静的解析手法 |
| サブタイトル（和） | |
| タイトル（英） | Static Analysis method for comunication service specification |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ユーザ要求 / user′s requirement |
| キーワード(2)（和/英） | 要求理解 / requirement acuisition |
| キーワード(3)（和/英） | 通信システム / communication syst em |
| キーワード(4)（和/英） | プロダクションシステム / production system |
| 第 1 著者 氏名（和/英） | 上田 佳寛 / Yoshihiro Ueda |
| 第 1 著者 所属（和/英） | ATR ATR |
| 第 2 著者 氏名（和/英） | 田倉 昭 / Akira Takura |
| 第 2 著者 所属（和/英） | ATR ATR |
| 第 3 著者 氏名（和/英） | 太田 理 / Tadashi Ohta |
| 第 3 著者 所属（和/英） | ATR ATR |
| 発表年月日 | 1993/10/1 |
| 資料番号 | SSE93-81,IN93-88,CS93-104 |
| 巻番号（vol） | vol.93 |
| 号番号（no） | 257 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |