シナリオのアニメーション表示による妥当性確認支援

シナリオのアニメーション表示による妥当性確認支援シナリオのアニメーション表示による妥当性確認支援立命館大学大学院　理工学研究科ソフトウェア工学研究室首藤寛樹　大西　淳

発表内容 １．研究の背景・目的２．シナリオ記述言語ＳＬＡＦ３．ビジュアルな要求とシナリオ情報への変換４．アニメーション表示による妥当性確認支援５．まとめと今後の課題

研究の背景 • 要求分析においてシナリオは有効ー　ステイクホルダ間で知識を共有 • シナリオの妥当性確認時の問題点【１】　利用者や顧客にとって，自分たちが直接関わ　　　　　　　るイベントと関わらないイベントが混在するため，理解するのが難しい【２】　利用者や顧客にとって，文章で記述されたシナリオから，システムの動的な振る舞いを正確に把握するのは難しい • シナリオ記述言語（ＳＬＡＦ）ー　本研究室で開発した制限言語ー　ＳＬＡＦに用意された視点の変換手法により，【１】の問題点を解決可能

本研究の目的 問題点【２】文章で記述されたシナリオから，システムの動的な振る舞いを正確に把握するのは難しい日本語で記述されたシナリオの振る舞いをアニメーション表示することによって，利用者や顧客による妥当性確認を支援する・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・日本語シナリオアニメーション表示

動作対象格 源泉格 DFLOW 目標格道具格（任意）シナリオ記述言語ＳＬＡＦ ◎イベント文－　要求フレームモデルに基づいて定義された　　格構造に従って記述ー　アクションと格構造を表す深層表現へ変換することで，　　情報の抜けを機械的に発見することができる（例）投稿者は論文を郵便で送る

ＳＬＡＦで記述されたシナリオの構成 • タイトル • 視点（システムを捉える際の立場） • イベント文列ー　イベント文ー　時間的順序（順接,if-then-else，並行同期, 　　　　　　　繰り返し） • 事前条件・事後条件（今回は省略）

タイトル 視点イベント文列ＳＬＡＦで書かれたシナリオの例 [電話での書籍注文] [利用者,会社] { 利用者は会社に電話で本の名前を伝える会社は在庫情報を確認する if(在庫がある) then 利用者は会社から電話で購入可能である旨を聞く　　利用者は会社に電話で配送先を伝える　　利用者は会社から電話で振込先を聞く　　利用者は銀行にお金を振り込む　　会社は銀行から口座情報を得る銀行は指定した金額と振込み金額を照合する if(振込み金額が正しい) then 会社は倉庫にＥメールで出荷指示を送る　　　　利用者は倉庫からトラックで本を届けられる else 利用者は会社から電話で振込みが間違っている旨を伝えられる fi else 利用者は会社から電話で在庫がない旨を聞く fi }

０２０１０３ビジュアルな要求とシナリオ情報への変換　　　　　　　　・　　　　　　　　・利用者は会社から電話で・・利用者は会社に電話で・・利用者は会社から電話で・・　　　　　　　　・　　　　　　　　・　　　　　　　　・ビジュアルな要求 02 01 03 ・・日本語シナリオビジュアルな要求に対応したシナリオ情報（後述）

アイコン辞書 アクション動作対象格源泉格目標格道具格（任意）ＤＦＬＯＷ本倉庫利用者トラック深層表現への変換が可能ビジュアルな要求ビジュアルな要求記述言語ＶＲＤＬー　アイコン画像と矢印を用いてフロー要求を定義ー　実体間のフロー：矢印　　矢印の根元にフロー要求の送り手　　矢印の先にフロー要求の受け手　　矢印に重ねてデータとデバイス（任意）を配置ー　ＶＲＤＬは要求フレームモデルに基づいている

ビジュアルな要求の記述例 銀行１）空間による分割実体であるアイコンを階層化する．利用者会社２）時間による分割複雑な業務を，ある時間的な区切り（シーン）で分割倉庫ＶＲＤＬでの記述例「電話を用いての書籍購入」複雑な要求の記述も可能

イベント文のみ抽出 イベント文① イベント文② イベント文③ イベント文④ ・・アイコン座標情報登場アクタ数から，アイコン座標情報を生成（正多角形の頂点に配置）ビジュアルな要求の生成イベント文① イベント文② if then イベント文③ else イベント文④ ・・

01 会社は倉庫に出荷指示を電話で伝える 01 DFLOW 出荷指示会社倉庫電話ビジュアルな要求の生成イベント文① イベント文② イベント文③ 日本語シナリオ付加履歴イベント文ビジュアルな要求深層表現アイコン辞書アイコン座標情報

02 利用者は倉庫からトラックで本を届けられる 02 DFLOW 本倉庫利用者トラックビジュアルな要求の生成 01 イベント文① イベント文② イベント文③ 日本語シナリオ付加履歴イベント文 01 ビジュアルな要求深層表現アイコン辞書アイコン座標情報

exception 会社は指定した金額と振込み金額を照合するビジュアルな要求の生成 01 イベント文① イベント文② イベント文③ 日本語シナリオ 02 付加履歴データフローではないイベント文 02 01 ビジュアルな要求深層表現アイコン辞書アイコン座標情報

if(在庫がある) then else fi 付加履歴に対し，日本語シナリオ内の時間的順序を当てはめるシナリオ情報の生成日本語シナリオイベント１（DFLOW）イベント２（RET） if(在庫がある) then イベント２（DFLOW）イベント３（DFLOW） else イベント４（DFLOW） fi ０１ exception ０２０３０４

０２０１０３ビジュアルな要求とシナリオ情報を用いたアニメーションビジュアルな要求 02 01 03 ・・アニメーションシステムビジュアルな要求に対応したシナリオ情報

アニメーションシステム 日本語表示部利用者は会社に電話で配送先を伝える銀行アニメーション表示部利用者会社倉庫

アニメーションシステム 利用者は会社に電話で配送先を伝える利用者は会社から電話で振込先を聞く銀行利用者会社倉庫直前のフロー現在のフロー

アニメーションシステム 会社は指定した金額と振込み金額を照合する銀行利用者会社倉庫イベント文がフロー要求でない場合アニメーション表示を網掛け表示し，イベント文の内容がデータフローに関係していないことを強調

アニメーションシステム デモンストレーション日本語表現に関する制約事項　＊アニメーションシステム上に表示される日本語イベント文は，　　深層表現から生成した文章が使われるため，意味的には　　変わらないが，表現方法が変化するケースがある

アニメーション表示による妥当性確認支援 日本語シナリオのアニメーション表示により，フロー要求に起こりうる，以下に示す三種類の誤りの発見を導くことができる． a)　フローの誤りデータの送り手と受け手のどちらか，あるいは両方が誤って記述されること b)　生起順序の誤りシナリオが本来記述されるべきフロー要求の生起順序を満たしていないこと c)　フロー要求の抜けシナリオ内に本来記述されているべきフロー要求が記述されていないこと

フローの誤り [電話での書籍注文] [利用者,会社] { 利用者は会社に電話で本の名前を伝える会社は在庫情報を確認する if(在庫がある) then 利用者は会社から電話で購入可能である旨を聞く　　利用者は会社に電話で配送先を伝える　　利用者は会社に電話で振込先を伝える　　利用者は銀行にお金を振り込む　　会社は銀行から口座情報を得る銀行は指定した金額と振込み金額を照合する if(振込み金額が正しい) then 会社は倉庫にＥメールで出荷指示を送る　　　　利用者は倉庫からトラックで本を届けられる else 利用者は会社から電話で　　　　　　振込みが間違っている旨を伝えられる fi else 利用者は会社から電話で在庫がない旨を聞く fi } シナリオはアクタ間の相互作用を表している →連続するフローが重なった場合や，　突然フローが発生した場合，フロー方向の　記述ミスが発生している可能性がある誤りを混入した日本語シナリオ

フローの誤り [電話での書籍注文] [利用者,会社] { 利用者は会社に電話で本の名前を伝える会社は在庫情報を確認する if(在庫がある) then 利用者は会社から電話で購入可能である旨を聞く　　利用者は会社に電話で配送先を伝える　　利用者は会社に電話で振込先を伝える　　利用者は銀行にお金を振り込む　　会社は銀行から口座情報を得る銀行は指定した金額と振込み金額を照合する if(振込み金額が正しい) then 会社は倉庫にＥメールで出荷指示を送る　　　　利用者は倉庫からトラックで本を届けられる else 利用者は会社から電話で　　　　　　振込みが間違っている旨を伝えられる fi else 利用者は会社から電話で在庫がない旨を聞く fi } シナリオはアクタ間の相互作用を表している利用者は会社から電話で振込先を聞く →連続するフローが重なった場合や，　突然フローが発生した場合，フロー方向の　記述ミスが発生している可能性がある誤りを混入した日本語シナリオ

まとめ 解決すべき問題点文章で記述されたシナリオから，システムの動的な振る舞いを正確に把握するのは難しい文章で記述されたシナリオから，システムの動的な振る舞いを正確に把握するのは難しい解決案日本語シナリオをアニメーション表示させることによって，フロー方向やフロー間の時間的順序を可視化する．結果利用者や顧客にとってフロー要求に特化したシナリオの妥当性確認が容易になった．

今後の課題 • 本手法の有効性を確認するための　評価実験を行う • 現段階のアニメーションシステムで表現可能な　要求はフロー要求のみであり，フロー要求以外の　要求のアニメーション化を実現する

シナリオのアニメーション表示による 妥当性確認支援