講演抄録/キーワード |
講演名 |
2004-11-25 14:00
事前・事後条件を用いた、ルールによるシナリオ検証 ○外山竜也・大西 淳(立命館大) |
抄録 |
(和) |
本論文では,作成済みのシナリオ検証用のルールを同じドメインに属する他のシナリオにも再利用することを目的に,事前条件・事後条件を用いたシナリオ検証手法を提案する.シナリオ,ルールには共に事前条件・事後条件が記述されている.シナリオの事前条件と事後条件がルールの事前条件と事後条件と一致する場合,ルール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 / / / / / / |
文献情報 |
信学技報, vol. 104, no. 466, SS2004-28, pp. 13-18, 2004年11月. |
資料番号 |
SS2004-28 |
発行日 |
2004-11-18 (SS) |
ISSN |
Print edition: ISSN 0913-5685 |
PDFダウンロード |
|