講演名 2020-11-13
[ポスター講演]学習者への教育的フィードバックの自動化に向けたステートマシン図間の差分検出ツールの試作
五島 光祥(信州大), 小形 真平(信州大), 槇原 絵里奈(同志社大), 岡野 浩三(信州大),
PDFダウンロードページ PDFダウンロードページへ
抄録(和) UML のステートマシン図は離散的な振る舞いを表すため,システム開発等において有用であるが,初学者にとって理解が難しいという問題がある.初学者を学習支援するための先行研究として,ステートマシン図が示す振る舞いを視覚的に確かめるための,振る舞いのシミュレーションを行うツールが提案されている.しかし,誤り箇所を特定することを目的とした,答案と解答例のステートマシン図間で差分を検出する方法の研究は十分にはなされていない.本研究は,モデリング初学者の学習支援のために,自動で誤り箇所の特定を行い,フィードバックを行うツールの作成を目的とする.本発表では,学習支援ツール作成の為に,初学者の答案と解答例のステートマシン図間で比較を行い,「振る舞い」,「文法」,「図の構成」,「各状態遷移の対応関係」に焦点を当て,差分検出を行った結果を紹介する.差分検出の結果,描き方が大きく異なる別解を除き,ステートマシン図間の差分のある箇所を特定し,誤りであるかどうか判定することができた.このことから,差分検出により,誤りを自動特定できる見込みを得た.
抄録(英) State machine diagrams in UML are useful for system development and other purposes because they represent discrete behaviors, but they are difficult for beginners to understand. As a previous research to support beginners in learning, a tool to simulate the behavior of a state machine diagram is proposed in order to visually confirm the behavior. However, there is not enough research to detect the differences between the state machine diagrams of learner's answer and the state machine diagrams of sample answer for the purpose of identifying locations of the error. The purpose of this research is to create a tool that automatically identify locations of the error and provides feedback to support beginner to learn modeling. In this presentation, we compare between the state machine diagrams of learner's answer and the state machine diagrams of sample answers to create a learning support tool, and present the results of differential detection by focusing on "behavior", "grammar", "diagram's structure" and "correspondence between states and transitions". As a result of the differential detection, we were able to identify the location of the difference between state machine diagrams and judge whether it is an error or not, except for another solutions which are drawn in very different ways. Therefore, it was expected that the error can be identified automatically by differential detection.
キーワード(和) UML / ステートマシン図 / 教育 / 誤り特定 / フィードバック / 差分検出
キーワード(英) UML / State Machine Diagram / education / error identification / feedback / differential detection
資料番号 KBSE2020-15,SC2020-19
発行日 2020-11-06 (KBSE, SC)

研究会情報
研究会 KBSE / SC
開催期間 2020/11/13(から2日開催)
開催地(和) オンライン+機械振興会館
開催地(英) Virtual / Kikai-Shinko-Kaikan Bldg.
テーマ(和) 「ウィズコロナ/アフターコロナ時代の知能ソフトウエア工学とサービスコンピューティング」および一般(仮)
テーマ(英)
委員長氏名(和) 中川 博之(阪大) / 菊地 伸治(物質・材料研究機構)
委員長氏名(英) Hiroyuki Nakagawa(Osaka Univ.) / Shinji Kikuchi(NIMS)
副委員長氏名(和) 猿渡 卓也(NTTデータ) / 山登 庸次(NTT) / 木村 功作(富士通研)
副委員長氏名(英) Takuya Saruwatari(NTT Data) / Yoji Yamato(NTT) / Kosaku Kimura(Fujitsu Lab.)
幹事氏名(和) 菊地 奈穂美(OKI) / 金子 朋子(NII) / 中村 匡秀(神戸大) / 細野 繁(東京工科大)
幹事氏名(英) Nahomi Kikuchi(OKI) / Tomoko Kaneko(NII) / Masahide Nakamura(Kobe Univ.) / Shigeru Hosono(Tokyo Univ. of Tech.)
幹事補佐氏名(和) 小形 真平(信州大) / 槇原 絵里奈(同志社大)
幹事補佐氏名(英) Shinpei Ogata(Shinshu Univ.) / Erina Nakihara(Doshisha Univ,)

講演論文情報詳細
申込み研究会 Technical Committee on Knowledge-Based Software Engineering / Technical Committee on Service Computing
本文の言語 JPN
タイトル(和) [ポスター講演]学習者への教育的フィードバックの自動化に向けたステートマシン図間の差分検出ツールの試作
サブタイトル(和)
タイトル(英) [Poster Presentation] Prototype Tool to Detect Difference between State Machine Diagrams toward Automation of Providing Educational Feedback to Learners
サブタイトル(和)
キーワード(1)(和/英) UML / UML
キーワード(2)(和/英) ステートマシン図 / State Machine Diagram
キーワード(3)(和/英) 教育 / education
キーワード(4)(和/英) 誤り特定 / error identification
キーワード(5)(和/英) フィードバック / feedback
キーワード(6)(和/英) 差分検出 / differential detection
第 1 著者 氏名(和/英) 五島 光祥 / Mitsutada Goshima
第 1 著者 所属(和/英) 信州大学(略称:信州大)
Shinshu University(略称:Shinshu Univ.)
第 2 著者 氏名(和/英) 小形 真平 / Shinpei Ogata
第 2 著者 所属(和/英) 信州大学(略称:信州大)
Shinshu University(略称:Shinshu Univ.)
第 3 著者 氏名(和/英) 槇原 絵里奈 / Erina Makihara
第 3 著者 所属(和/英) 同志社大学(略称:同志社大)
Doshisha University(略称:Doshisha Univ.)
第 4 著者 氏名(和/英) 岡野 浩三 / Kozo Okano
第 4 著者 所属(和/英) 信州大学(略称:信州大)
Shinshu University(略称:Shinshu Univ.)
発表年月日 2020-11-13
資料番号 KBSE2020-15,SC2020-19
巻番号(vol) vol.120
号番号(no) KBSE-231,SC-232
ページ範囲 pp.30-30(KBSE), pp.30-30(SC),
ページ数 1
発行日 2020-11-06 (KBSE, SC)