講演抄録/キーワード |
講演名 |
2023-05-20 14:25
対話型システムにおけるユーザの物品取り忘れの発生状況特定に関する検討 ○成澤瑠佳・小形真平(信州大)・青木善貴(BIPROGY)・中川博之(阪大)・小林一樹・岡野浩三(信州大) KBSE2023-10 SWIM2023-10 |
抄録 |
(和) |
物品のやり取りを伴う対話型システムの設計を行う際には,物品取り忘れが発生し得る状況への対策を施さなければならない.既存の物品取り忘れ対策は,操作対象システムにおいて物品取り忘れが生じた後の被害を減らすことに着目したものであり,物品取り忘れが生じにくいシステムを設計支援する方法は見受けられない.そこで本研究では,物品取り忘れが生じにくいシステムの設計支援を目的として,対話型システムにおける物品取り忘れの発生状況を,当該のシステムのステートマシン図に基づきモデル検査により自動的に特定する手法を検討した.既存のATMを参考にしたシステムのステートマシン図に対して提案手法を適用した結果,適切に物品取り忘れが発生し得る状況を特定できたため,提案手法に一定の有効性があることが確認できた. |
(英) |
(Available after conference date) |
キーワード |
(和) |
物品取り忘れ / モデル検査 / ステートマシン図 / / / / / |
(英) |
/ / / / / / / |
文献情報 |
信学技報, vol. 123, no. 38, KBSE2023-10, pp. 59-64, 2023年5月. |
資料番号 |
KBSE2023-10 |
発行日 |
2023-05-12 (KBSE, SWIM) |
ISSN |
Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
KBSE2023-10 SWIM2023-10 |