| 講演名 | 2004-11-25 事前・事後条件を用いたルールによるシナリオ検証 戸山 竜也, 大西 淳, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本論文では,作成済みのシナリオ検証用のルールを同じドメインに属する他のシナリオにも再利用することを目的に,事前条件・事後条件を用いたシナリオ検証手法を提案する.シナリオ,ルールには共に事前条件・事後条件が記述されている.シナリオの事前条件と事後条件がルールの事前条件と事後条件と一致する場合,ルールDBからシナリオヘ適用できるルールを取得し,シナリオがルールを満たしているかどうかを検証する. |
| 抄録(英) | In this paper, we propose a verification method of scenarios with rules based on pre-conditions and post-condition in order to reuse rules for other scenarios in same domain. Both pre-conditions and post-conditions are described in each scenario and rule. When rules with pre-conditions and post-conditions are same as these of scenarios, rules are retrieved from rule database, then the scenario will be verified with rules. |
| キーワード(和) | シナリオ分析 / シナリオ検証 |
| キーワード(英) | Scenario Analysis / Scenario Verification |
| 資料番号 | SS2004-28 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 2004/11/18(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 事前・事後条件を用いたルールによるシナリオ検証 |
| サブタイトル（和） | |
| タイトル（英） | Verification method of scenarios with rules based on pre-conditions and post-conditions |
| サブタイトル（和） | |
| キーワード(1)（和/英） | シナリオ分析 / Scenario Analysis |
| キーワード(2)（和/英） | シナリオ検証 / Scenario Verification |
| 第 1 著者 氏名（和/英） | 戸山 竜也 / Tatsuya TOYAMA |
| 第 1 著者 所属（和/英） | 立命館大学大学院理工学研究科 Department of Computer science, Ritsumeikan University |
| 第 2 著者 氏名（和/英） | 大西 淳 / Atsushi OHNISHI |
| 第 2 著者 所属（和/英） | 立命館大学大学院理工学研究科 Department of Computer science, Ritsumeikan University |
| 発表年月日 | 2004-11-25 |
| 資料番号 | SS2004-28 |
| 巻番号（vol） | vol.104 |
| 号番号（no） | 466 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |