お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップに戻る 前のページに戻る   [Japanese] / [English] 

講演抄録/キーワード
講演名 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ダウンロード

研究会情報
研究会 SS  
開催期間 2004-11-25 - 2004-11-26 
開催地(和) 山梨大学 甲府(武田)キャンパス 
開催地(英) Univ. of Yamanashi, Kofu(Takeda) Campus 
テーマ(和) 一般 
テーマ(英) general 
講演論文情報の詳細
申込み研究会 SS 
会議コード 2004-11-SS 
本文の言語 日本語 
タイトル(和) 事前・事後条件を用いた、ルールによるシナリオ検証 
サブタイトル(和)  
タイトル(英) Verification method of scenarios with rules based on pre-conditions and post-conditions 
サブタイトル(英)  
キーワード(1)(和/英) シナリオ分析 / Scenario Analysis  
キーワード(2)(和/英) シナリオ検証 / Scenario Verification  
キーワード(3)(和/英) /  
キーワード(4)(和/英) /  
キーワード(5)(和/英) /  
キーワード(6)(和/英) /  
キーワード(7)(和/英) /  
キーワード(8)(和/英) /  
第1著者 氏名(和/英/ヨミ) 外山 竜也 / Tatsuya Toyama / トヤマ タツヤ
第1著者 所属(和/英) 立命館大学 (略称: 立命館大)
Ritsumeikan Univ. (略称: Ritsumeikan Univ.)
第2著者 氏名(和/英/ヨミ) 大西 淳 / Atsushi Ohnishi /
第2著者 所属(和/英) 立命館大学 (略称: 立命館大)
Ritsumeikan Univ. (略称: Ritsumeikan Univ.)
第3著者 氏名(和/英/ヨミ) / /
第3著者 所属(和/英) (略称: )
(略称: )
第4著者 氏名(和/英/ヨミ) / /
第4著者 所属(和/英) (略称: )
(略称: )
第5著者 氏名(和/英/ヨミ) / /
第5著者 所属(和/英) (略称: )
(略称: )
第6著者 氏名(和/英/ヨミ) / /
第6著者 所属(和/英) (略称: )
(略称: )
第7著者 氏名(和/英/ヨミ) / /
第7著者 所属(和/英) (略称: )
(略称: )
第8著者 氏名(和/英/ヨミ) / /
第8著者 所属(和/英) (略称: )
(略称: )
第9著者 氏名(和/英/ヨミ) / /
第9著者 所属(和/英) (略称: )
(略称: )
第10著者 氏名(和/英/ヨミ) / /
第10著者 所属(和/英) (略称: )
(略称: )
第11著者 氏名(和/英/ヨミ) / /
第11著者 所属(和/英) (略称: )
(略称: )
第12著者 氏名(和/英/ヨミ) / /
第12著者 所属(和/英) (略称: )
(略称: )
第13著者 氏名(和/英/ヨミ) / /
第13著者 所属(和/英) (略称: )
(略称: )
第14著者 氏名(和/英/ヨミ) / /
第14著者 所属(和/英) (略称: )
(略称: )
第15著者 氏名(和/英/ヨミ) / /
第15著者 所属(和/英) (略称: )
(略称: )
第16著者 氏名(和/英/ヨミ) / /
第16著者 所属(和/英) (略称: )
(略称: )
第17著者 氏名(和/英/ヨミ) / /
第17著者 所属(和/英) (略称: )
(略称: )
第18著者 氏名(和/英/ヨミ) / /
第18著者 所属(和/英) (略称: )
(略称: )
第19著者 氏名(和/英/ヨミ) / /
第19著者 所属(和/英) (略称: )
(略称: )
第20著者 氏名(和/英/ヨミ) / /
第20著者 所属(和/英) (略称: )
(略称: )
講演者 第1著者 
発表日時 2004-11-25 14:00:00 
発表時間 30分 
申込先研究会 SS 
資料番号 SS2004-28 
巻番号(vol) vol.104 
号番号(no) no.466 
ページ範囲 pp.13-18 
ページ数
発行日 2004-11-18 (SS) 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会