(57)【要約】【課題】システムの検査の対象として適切なパラメータの検討を促すシーケンス図を生成し、検査の効率化を支援することができるシーケンス図生成装置、シーケンス図生成方法、及びプログラムを提供すること。【解決手段】シーケンス生成装置は、システムを構成する複数の要素のうち、制御の対象である被制御要素の第１情報と、前記被制御要素に対して制御を実行する制御要素の第２情報とを、前記制御毎に互いに対応付けた制御操作分析情報を取得する制御操作分析情報取得部と、前記制御操作分析情報に示される制御が行われた後の前記被制御要素の状態と、前記制御操作分析情報に示される制御が行われた後の前記制御要素の状態とを示す状態情報を取得する状態情報取得部と、前記制御操作分析情報と、前記状態情報とに基づいて、前記被制御要素の状態遷移と前記制御要素の状態遷移とを示す状態遷移シーケンス図を示す画像を生成する第１生成部と、を備える。【選択図】図２
2020126556.tif 000002
【特許請求の範囲】
【請求項１】
システムを構成する複数の要素のうち、制御の対象である被制御要素の第１情報と、前記被制御要素に対して制御を実行する制御要素の第２情報とを、前記制御毎に互いに対応付けた制御操作分析情報を取得する制御操作分析情報取得部と、
前記制御操作分析情報に示される制御が行われた後の前記被制御要素の状態と、前記制御操作分析情報に示される制御が行われた後の前記制御要素の状態とを示す状態情報を取得する状態情報取得部と、
前記制御操作分析情報と、前記状態情報とに基づいて、前記被制御要素の状態遷移と前記制御要素の状態遷移とを示す状態遷移シーケンス図を示す画像を生成する第１生成部と、
を備えるシーケンス図生成装置。
【請求項２】
前記制御操作分析情報に含まれる制御が実行される順序を取得する順序取得部と、
前記制御操作分析情報と、前記順序取得部によって取得された順序とに基づいて、前記制御操作分析情報に示される制御が行われた後の前記被制御要素の特徴と、前記制御要素の特徴とを、前記制御毎に互いに対応付けたレコードを前記順序によって並べた図を示す画像を生成する第２生成部と、
前記第２生成部によって生成された前記図を示す画像を、前記状態情報取得部が前記状態情報を取得する場面において表示部に表示させる表示制御部とを更に備える、
請求項１に記載のシーケンス図生成装置。
【請求項３】
前記制御操作分析情報取得部は、更に、前記制御の特徴、処理の特徴、又は制御の懸念事項の少なくとも一つを前記制御毎に取得し、
前記第１生成部は、前記制御操作分析情報取得部によって更に取得された前記制御の特徴、前記処理の特徴、又は前記制御の懸念事項の少なくとも一つを含む前記状態遷移シーケンス図を示す画像を生成する、
請求項１又は請求項２に記載のシーケンス図生成装置。
【請求項４】
システムを構成する複数の要素のうち、制御の対象である被制御要素の第１情報と、前記被制御要素に対して制御を実行する制御要素の第２情報とを、前記制御毎に互いに対応付けた制御操作分析情報を取得する制御操作分析情報取得部と、
前記システムの分析対象の制御と、前記分析対象の制御と制御先が競合する競合相手の制御と、前記被制御要素が前記分析対象に実行する制御と、前記被制御要素が前記制御先に実行する制御とのうち、いずれの種別の制御であるかを示す制御種別情報を、前記制御操作分析情報に含まれる前記制御要素が前記被制御要素に実行する制御毎、又は前記制御要素の制御に応じて前記被制御要素が実行する制御毎に取得する制御種別情報取得部と、
前記制御操作分析情報に含まれる前記制御要素が前記被制御要素に実行する制御、又は前記制御要素の制御に応じて前記被制御要素が実行する制御が実行される順序を取得する順序取得部と、
前記制御操作分析情報と、前記制御種別情報と、前記順序取得部によって取得された前記順序とに基づいて、前記制御要素により前記被制御要素に対する制御が実行されるタイミングと、前記制御要素により認識された前記被制御要素の状態と、前記被制御要素の実状態とを示す状態認識シーケンス図を示す画像を生成する第１生成部と、
を備えるシーケンス図生成装置。
【請求項５】
前記制御操作分析情報と、前記制御種別情報とに基づいて、前記制御操作分析情報に含まれる前記制御要素が前記被制御要素に実行する制御、又は前記制御要素の制御に応じて前記被制御要素が実行する制御を、前記種別毎に示す画像を生成する第２生成部と、
前記第２生成部によって生成された前記画像を、前記順序取得部が前記順序を取得する場面において表示部に表示させる表示制御部とを更に備える、
請求項４に記載のシーケンス図生成装置。
【請求項６】
コンピュータが、
システムを構成する複数の要素のうち、制御の対象である被制御要素の第１情報と、前記被制御要素に対して制御を実行する制御要素の第２情報とを、前記制御毎に互いに対応付けた制御操作分析情報を取得し、
前記制御操作分析情報に示される制御が行われた後の前記被制御要素の状態と、前記制御操作分析情報に示される制御が行われた後の前記制御要素の状態とを示す状態情報を取得し、
前記制御操作分析情報と、前記状態情報とに基づいて、前記被制御要素の状態遷移と前記制御要素の状態遷移とを示す状態遷移シーケンス図を示す画像を生成する、
シーケンス図生成方法。
【請求項７】
コンピュータに、
システムを構成する複数の要素のうち、制御の対象である被制御要素の第１情報と、前記被制御要素に対して制御を実行する制御要素の第２情報とを、前記制御毎に互いに対応付けた制御操作分析情報を取得させ、
前記制御操作分析情報に示される制御が行われた後の前記被制御要素の状態と、前記制御操作分析情報に示される制御が行われた後の前記制御要素の状態とを示す状態情報を取得させ、
前記制御操作分析情報と、前記状態情報とに基づいて、前記被制御要素の状態遷移と前記制御要素の状態遷移とを示す状態遷移シーケンス図を示す画像を生成させる、
プログラム。
【請求項８】
コンピュータが、
システムを構成する複数の要素のうち、制御の対象である被制御要素の第１情報と、前記被制御要素に対して制御を実行する制御要素の第２情報とを、前記制御毎に互いに対応付けた制御操作分析情報を取得し、
前記システムの分析対象の制御と、前記分析対象の制御と制御先が競合する競合相手の制御と、前記被制御要素が前記分析対象に実行する制御と、前記被制御要素が前記制御先に実行する制御とのうち、いずれの種別の制御であるかを示す制御種別情報を、前記制御操作分析情報に含まれる前記制御操作分析情報に含まれる前記制御要素が前記被制御要素に実行する制御毎、又は前記制御要素の制御に応じて前記被制御要素が実行する制御毎に取得し、
前記制御操作分析情報に含まれる前記制御要素が前記被制御要素に実行する制御、又は前記制御要素の制御に応じて前記被制御要素が実行する制御が実行される順序を取得し、
前記制御操作分析情報と、前記制御種別情報と、前記順序とに基づいて、前記制御要素により前記被制御要素に対する制御が実行されるタイミングと、前記制御要素により認識された前記被制御要素の状態と、前記被制御要素の実状態とを示す状態認識シーケンス図を示す画像を生成する、
シーケンス図生成方法。
【請求項９】
コンピュータに、
システムを構成する複数の要素のうち、制御の対象である被制御要素の第１情報と、前記被制御要素に対して制御を実行する制御要素の第２情報とを、前記制御毎に互いに対応付けた制御操作分析情報を取得させ、
前記システムの分析対象の制御と、前記分析対象の制御と制御先が競合する競合相手の制御と、前記被制御要素が前記分析対象に実行する制御と、前記被制御要素が前記制御先に実行する制御とのうち、いずれの種別の制御であるかを示す制御種別情報を、前記制御操作分析情報に含まれる前記制御操作分析情報に含まれる前記制御要素が前記被制御要素に実行する制御毎、又は前記制御要素の制御に応じて前記被制御要素が実行する制御毎に取得させ、
前記制御操作分析情報に含まれる前記制御要素が前記被制御要素に実行する制御、又は前記制御要素の制御に応じて前記被制御要素が実行する制御が実行される順序を取得させ、
前記制御操作分析情報と、前記制御種別情報と、取得された前記順序とに基づいて、前記制御要素により前記被制御要素に対する制御が実行されるタイミングと、前記制御要素により認識された前記被制御要素の状態と、前記被制御要素の実状態とを示す状態認識シーケンス図を示す画像を生成させる、
プログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、シーケンス図生成装置、シーケンス図生成方法、及びプログラムに関する。
【背景技術】
【０００２】
従来、システムが適切に設計されているかを検査する技術が知られている（例えば、特許文献１）。
【先行技術文献】
【特許文献】
【０００３】
【特許文献１】特開２００８−１５７３５号公報
【発明の概要】
【発明が解決しようとする課題】
【０００４】
しかしながら、従来の技術では、システムに含まれるオートマトンの数が増えると、各オートマトンがとり得るパラメータの数も増加し、システムの検査に要する時間を低減することが困難であった。
【０００５】
本発明は、このような事情を考慮してなされたものであり、システムの検査の対象として適切なパラメータの検討を促すシーケンス図を生成し、検査の効率化を支援することができるシーケンス図生成装置、シーケンス図生成方法、及びプログラムを提供することを目的の一つとする。
【課題を解決するための手段】
【０００６】
本発明の一態様は、システムを構成する複数の要素のうち、制御の対象である被制御要素の第１情報と、前記被制御要素に対して制御を実行する制御要素の第２情報とを、前記制御毎に互いに対応付けた制御操作分析情報を取得する制御操作分析情報取得部と、前記制御操作分析情報に示される制御が行われた後の前記被制御要素の状態と、前記制御操作分析情報に示される制御が行われた後の前記制御要素の状態とを示す状態情報を取得する状態情報取得部と、前記制御操作分析情報と、前記状態情報とに基づいて、前記被制御要素の状態遷移と前記制御要素の状態遷移とを示す状態認識シーケンス図を示す画像を生成する第１生成部と、を備えるシーケンス図生成装置である。
【発明の効果】
【０００７】
本発明によれば、システムの検査の対象として適切なパラメータの検討を促すシーケンス図を生成し、検査の効率化を支援することができることができる。
【図面の簡単な説明】
【０００８】
【図１】本実施形態に係るシーケンス図生成装置１０の処理を概念的に示す図である。
【図２】本実施形態に係るシーケンス図生成装置１０の構成の一例を示す図である。
【図３】被検査システムの特徴を取得する際に用いられる第１画像６０１の一例を示す図である。
【図４】シーケンス順序を取得する際に用いられる第２画像６０２の一例を示す図である。
【図５】各要素の状態を取得する際に用いられる第３画像６０３の一例を示す図である。
【図６】状態遷移シーケンス図ＳＳＤを含む第４画像６０４の一例を示す図である。
【図７】制御状態遷移シナリオ分析更新表Ｃ２−２を提示する際に用いられる第５画像６０５の一例を示す図である。
【図８】被検査システムの特徴が取得された第１画像６０１ａの他の例を示す図である。
【図９】制御種別を取得する際に用いられる第６画像６０６の一例を示す図である。
【図１０】『α：分析対象要素』に係る制御競合分析表Ｃ３−１の内容の一例を示す図である。
【図１１】『β：競合相手要素』に係る制御競合分析表Ｃ３−１の内容の一例を示す図である。
【図１２】『γ：競合先要素』に係る制御競合分析表Ｃ３−１の内容の一例を示す図である。
【図１３】制御競合分析表Ｃ３−１の各項目のシーケンス順序、及び各シーケンス順序における『γ：競合要素』の状態を取得する際に用いられる第７画像６０７の一例を示す図である。
【図１４】状態認識シーケンス図ＳＲＤを含む第８画像６０８の一例を示す図である。
【図１５】本実施形態に係るシーケンス図生成装置１０の一連の動作の一例を示すフローチャートである。
【発明を実施するための形態】
【０００９】
［実施形態］
以下、図を参照して本発明の実施形態について説明する。
【００１０】
＜シーケンス図生成装置１０の概要＞
システムは、複数のオートマトンから構成される場合がある。システムは、オートマトンの設計が適切に行われていない場合、ある特定の条件や、特定の状態において正しく動作せず、機能的に正常な役割を果たさなくなる場合がある。このような状況を避けるため、システムを構成するオートマトンは、設計時にその動作がテスト（つまり、モデル検査）されることが好ましい。ここで、オートマトンの数、オートマトンの制約条件の種類、オートマトンがとり得る状態の種類、オートマトンにおける入出力の数等が多くなるほど、モデル検査にかかる時間が長くなるという問題がある。また、これらのパラメータの組合せを網羅的にモデル検査しようとすると、実際の動作ではあり得ない、又は意味をなさないパラメータの組合せが生じる場合がある。本実施形態のシーケンス図生成装置１０は、システムに係る各種情報に基づいて、システムの検査の対象として適切なパラメータの検討を促すシーケンス図を生成し、検査の効率化を支援する。
【００１１】
図１は、本実施形態に係るシーケンス図生成装置１０の処理を概念的に示す図である。シーケンス図生成装置１０には、オートマトンのモデル検査の実施者（以下、ユーザ）によって、オートマトンによって構成されるシステムの特徴が入力される。シーケンス図生成装置１０は、入力されたシステムの特徴に基づいて、シーケンス図を生成し、出力する。シーケンス図生成装置１０は、例えば、特徴が入力されたシステムにおいて、「制御状態の認識齟齬」が発生することが懸念される場合、制御状態遷移シナリオ分析を行い、状態遷移シーケンス図を出力する。「制御状態の認識齟齬」とは、例えば、制御対象の状態を誤認したまま制御を行ってしまうことである。また、シーケンス図生成装置１０は、例えば、「制御競合」が発生することが懸念される場合、制御状態遷移シナリオ分析を行い、状態遷移シーケンス図を出力する。「制御競合」とは、例えば、ある制御対象に対して複数の制御要素が制御を行ってしまうことである。制御状態遷移シナリオ分析と、状態遷移シーケンス図と、制御状態遷移シナリオ分析と、状態認識シーケンス図とについての詳細は、後述する。
【００１２】
図２は、本実施形態に係るシーケンス図生成装置１０の構成の一例を示す図である。シーケンス図生成装置１０は、例えば、制御部１００と、記憶部１１０と、受付部１２０と、表示部１３０とを備える。制御部１００は、例えば、ＣＰＵ（Central Processing Unit）等のハードウェアプロセッサが記憶部１１０に記憶されるプログラム（ソフトウェア）を実行することにより、表示制御部１０１と、取得部１０２と、生成部１０３とを機能部として実現する。また、これらの構成要素のうち一部又は全部は、ＬＳＩ（Large Scale Integration）やＡＳＩＣ（Application Specific Integrated Circuit）、ＦＰＧＡ（Field-Programmable Gate Array）、ＧＰＵ（Graphics Processing Unit）等のハードウェア（回路部；circuitryを含む）によって実現されてもよいし、ソフトウェアとハードウェアの協働によって実現されてもよい。
【００１３】
受付部１２０は、例えば、ユーザからの操作入力を受け付けるキーボード、タッチパッド、マウス等の入力装置である。表示部１３０は、例えば、液晶ディスプレイパネル、プラズマディスプレイパネル、有機ＥＬ（Electro Luminescence）ディスプレイパネル等の表示装置である。以下、受付部１２０と、表示部１３０とが一体に構成されたタッチパネルによって実現されるものとする。
【００１４】
記憶部１１０、例えば、ＲＡＭ（Random Access Memory）、ＲＯＭ（Read Only Memory）、ＨＤＤ（Hard Disk Drive）、フラッシュメモリ、又はこれらのうち複数が組み合わされたハイブリッド型記憶装置等により実現される。また、記憶部１１０の一部又は全部は、ＮＡＳ（Network Attached Storage）や外部のストレージサーバ等、シーケンス図生成装置１０のアクセス可能な外部装置であってもよい。
【００１５】
表示制御部１０１は、記憶部１１０に記憶される各種画像を表示部１３０に表示する。取得部１０２は、ユーザによって受付部１２０に入力された、モデル検査の対象のシステム（以下、被検査システム）に係る情報を取得する。被検査システムに係る情報の詳細については、後述する。
【００１６】
生成部１０３は、取得部１０２によって取得された被検査システムに係る情報に基づいて、状態遷移シーケンス図や、状態認識シーケンス図を生成する。
【００１７】
表示制御部１０１は、生成部１０３によって生成された状態遷移シーケンス図や、状態認識シーケンス図を表示部１３０に表示させる。以下、シーケンス図生成装置１０が状態遷移シーケンス図を生成する場合について説明し、次に、状態認識シーケンス図を生成する場合について説明する。
【００１８】
［状態遷移シーケンス図の生成］
図３は、被検査システムの特徴を取得する際に用いられる第１画像６０１の一例を示す図である。表示制御部１０１は、取得部１０２が被検査システムの特徴を取得する際に、第１画像６０１を表示部１３０に表示させる。第１画像６０１には、例えば、作業ウィンドウの領域と、ブロック図の領域とが含まれる。作業ウィンドウには、被検査システムのブロック図を生成する際に用いられる複数のオブジェクト画像ＯＪ（図示する、第１オブジェクト画像ＯＪａ、第２オブジェクト画像ＯＪｂ、第３オブジェクト画像ＯＪｃ、第４オブジェクト画像ＯＪｄ、及び第５オブジェクト画像ＯＪｅ）が含まれる。
【００１９】
第１オブジェクト画像ＯＪａは、被検査システムに含まれる構造要素を示すオブジェクト画像ＯＪである。第２オブジェクト画像ＯＪｂは、構造要素に含まれる要素であり、制御処理を行う制御要素を示すオブジェクト画像ＯＪである。第３オブジェクト画像ＯＪｃは、構造要素に含まれる要素であり、制御要素によって制御される被制御要素を示すオブジェクト画像ＯＪである。第４オブジェクト画像ＯＪｄは、制御要素の制御処理と、制御先とを示すオブジェクト画像ＯＪ、又は被制御要素の状態通知処理と、通知先とを示すオブジェクト画像ＯＪである。第５オブジェクト画像ＯＪｅは、制御要素の制御の詳細を示すオブジェクト画像ＯＪである。
【００２０】
ユーザは、第１画像６０１が表示部１３０に表示されることに伴い、受付部１２０によってカーソルＣＳ等を操作し、作業ウィンドウに含まれるオブジェクト画像ＯＪを、ブロック図の領域にドラックアンドドロップする等し、被検査システムのブロック図を作成する。図３において、被検査システムを示すブロック図には、第１オブジェクト画像ＯＪａ１〜第１オブジェクト画像ＯＪａ３の構造要素（構造要素名：ＳＹ１〜ＳＹ３）と、第１オブジェクト画像ＯＪａ１の構造体に含まれる第２オブジェクト画像ＯＪｂ１として示される制御要素Ａ１と、第１オブジェクト画像ＯＪａ３の構造体に含まれる第２オブジェクト画像ＯＪｂ２として示される制御要素Ａ２と、第１オブジェクト画像ＯＪａ２の構造体に含まれる第３オブジェクト画像ＯＪｃ１として示される被制御要素Ｂ１と、第４オブジェクト画像ＯＪｄ１として示される制御要素Ａ１から被制御要素Ｂ１への制御処理と、第４オブジェクト画像ＯＪｄ２として示される制御要素Ａ２から被制御要素Ｂ１への制御処理と、第５オブジェクト画像ＯＪｅ１として示される制御処理ＡＣ１の詳細と、第５オブジェクト画像ＯＪｅ２として示される制御処理ＡＣ２の詳細とが含まれる。
【００２１】
第５オブジェクト画像ＯＪｅには、例えば、制御処理を実施する際の制御要素の状態ＦＳと、制御要素の制御内容ＦＡと、制御要素の制御条件ＦＣと、制御要素の制御周期ＦＦと、制御処理を実行する際の被制御要素の状態ＴＳと、被制御要素に対する制御内容ＴＡと、被制御要素に対する制御条件ＴＣと、被制御要素に対する制御周期ＴＦと、被制御要素に対する処理・動作ＴＰと、被制御要素に対する制約・影響ＴＥとを示す情報が含まれる。
【００２２】
図３において、第５オブジェクト画像ＯＪｅ１には、制御処理ＡＣ１における状態ＦＳａ１と、制御内容ＦＡａ１と、制御条件ＦＣａ１と、制御周期ＦＦａ１と、状態ＴＳａ１と、制御内容ＴＡａ１と、制御条件ＴＣａ１と、制御周期ＴＦａ１と、処理・動作ＴＰａ１と、制約・影響ＴＥａ１とが含まれる。また、第５オブジェクト画像ＯＪｅ２には、制御処理ＡＣ２における状態ＦＳａ２と、制御内容ＦＡａ２と、制御条件ＦＣａ２と、制御周期ＦＦａ２と、状態ＴＳａ２と、制御内容ＴＡａ２と、制御条件ＴＣａ２と、制御周期ＴＦａ２と、処理・動作ＴＰａ２と、制約・影響ＴＥａ２とを示す情報が含まれる。
【００２３】
第１オブジェクト画像ＯＪａ〜第５オブジェクト画像ＯＪｅによって示される各種情報は、「被検査システムに係る情報」の一例であり、状態ＦＳは、「制御要素の制御が行われる前の制御要素の状態」の一例であり、状態ＴＳは、「制御要素の制御が行われる前の被制御要素の状態」の一例であり、制御内容ＦＡ、制御条件ＦＣ、及び制御周期ＦＦは、「制御要素の特徴」の一例であり、制御内容ＴＡは、「制御要素の制御に応じて被制御要素が実行する制御処理の内容」の一例であり、制御条件ＴＣ、制御周期ＴＦ、及び処理・動作ＴＰ、「被制御要素の特徴」の一例であり、制約・影響ＴＥは、「制御要素の制御に係る制約条件」、及び「制御要素の制御の影響」の一例であり、第１画像６０１を用いて各種情報を取得する処理において、取得部１０２は、「制御操作分析情報取得部」の一例である。
【００２４】
図４は、シーケンス順序を取得する際に用いられる第２画像６０２の一例を示す図である。第２画像６０２には、第１制御操作分析表Ｃ１−１と、ユーザにシーケンス順序の入力を促すメッセージＭＳ１とが含まれる。
【００２５】
生成部１０３は、ユーザにより作成されたブロック図に基づいて、第１制御操作分析表Ｃ１−１を生成する。第１制御操作分析表Ｃ１−１は、ブロック図によって示された制御要素、及び被制御要素に係る情報を、制御要素の制御処理毎、又は被制御要素の状態通知毎にまとめた表である。第１制御操作分析表Ｃ１−１には、例えば、制御要素を含む構造要素の名称と、制御要素の名称と、制御要素が行う制御処理の名称又は被制御要素が行う状態通知の名称と、被制御要素を含む構造要素の名称と、被制御要素の名称と、状態ＦＳと、制御内容ＦＡと、制御条件ＦＣと、制御周期ＦＦと、状態ＴＳと、制御内容ＴＡと、制御条件ＴＣと、制御周期ＴＦと、処理・動作ＴＰと、制約・影響ＴＥとを示す情報が、制御要素の制御処理毎、又は被制御要素の状態通知毎に互いに対応付けられたレコードＲ１が含まれる。
【００２６】
また、このレコードＲ１には、当該レコードＲ１に含まれる制御要素の制御処理、又は被制御要素の状態通知の実行順序（以下、シーケンス順序）を示す値が更に含まれる。第２画像６０２には、例えば、「［制御要素］が実行する「制御処理」又は［被制御要素］が実行する「状態通知」の実行順序（シーケンス順序）を入力してください。」等のメッセージＭＳ１が含まれており、表示制御部１０１は、生成部１０３によって生成されたシーケンス順序の取得前の第１制御操作分析表Ｃ１−１と、メッセージＭＳ１とを含む第２画像６０２を生成し、表示部１３０に表示させる。
【００２７】
ユーザは、表示部１３０に表示された第２画像６０２を参照し、シーケンス順序を示す値を受付部１２０に入力する。図４において、第１制御操作分析表Ｃ１−１には、制御処理ＡＣ１と、制御処理ＡＣ２との２つの制御処理が含まれており、シーケンス順序は、制御処理ＡＣ１が「１」番目であり、制御処理ＡＣ２が「２」番目であることが示される。取得部１０２は、受付部１２０に入力されたシーケンス順序を取得し、生成部１０３は、取得部１０２によって取得されたシーケンス順序をレコードＲ１に含めた第１制御操作分析表Ｃ１−１を生成する。
【００２８】
シーケンス図生成装置１０は、ユーザに第２画像６０２を提示することによって、「制御処理」や「状態通知」に係る詳細な条件を参照させつつ、「制御処理」や「状態通知」のシーケンス順序の検討をユーザに促すことができる。ユーザは、第２画像６０２を参照することにより、実際にモデル検査すべきパターンのシーケンス順序を特定することができる。
【００２９】
なお、シチュエーションによって互いに異なるシーケンス順序が複数存在する場合、第１制御操作分析表Ｃ１−１には、複数のシーケンス順序のパターンがレコードＲ１に含まれていてもよい（図示では、パターン１のみ）。第２画像６０２を用いてシーケンス順序を取得する処理において、取得部１０２は、「順序取得部」の一例であり、第１制御操作分析表Ｃ１−１に含まれるレコードＲ１のうち、被制御要素に係るレコードＲ１は、「第１情報」の一例であり、制御要素に係るレコードＲ１は、「第２情報」の一例である。
【００３０】
図５は、各要素の状態を取得する際に用いられる第３画像６０３の一例を示す図である。第３画像６０３には、制御状態遷移シナリオ分析表Ｃ２−１と、各シーケンスにおける各要素の状態の入力をユーザに促すメッセージＭＳ２とが含まれる。
【００３１】
生成部１０３は、生成した第１制御操作分析表Ｃ１−１に基づいて、制御状態遷移シナリオ分析表Ｃ２−１を生成する。制御状態遷移シナリオ分析表Ｃ２−１は、各シーケンス順序において、制御要素、又は被制御要素がとり得る状態を、シーケンス順序毎にまとめた表である。制御状態遷移シナリオ分析表Ｃ２−１には、例えば、制御要素が行う制御処理の名称又は被制御要素が行う状態通知の名称と、制御処理、又は状態通知の方向（例えば、始点、及び終点）と、制御処理、又は状態通知を実行する要素の名称と、制御処理、又は状態通知によって要素に入力される入力情報と、制御処理、又は状態通知によって要素が出力する出力情報と、要素の制御周期と、入力情報が入力される、又は出力情報を出力する際の入出力条件と、制御処理、又は状態通知によって実行される処理内容とが、シーケンス順序毎、且つ要素毎に互いに対応付けられたレコードＲ２が含まれる。
【００３２】
生成部１０３は、第１制御操作分析表Ｃ１−１に含まれるシーケンス順序のパターン毎に制御状態遷移シナリオ分析表Ｃ２−１を生成する。図４に示される第１制御操作分析表Ｃ１−１には、１つのパターンのシーケンス順序のみが含まれるため、生成部１０３は、図５に示される１つの制御状態遷移シナリオ分析表Ｃ２−１を生成する。
【００３３】
制御状態遷移シナリオ分析表Ｃ２−１に含まれるレコードＲ２の数は、例えば、制御要素の数、及び被制御要素の数の和に、第１制御操作分析表Ｃ１−１に含まれるレコードＲ１の数を乗じた数である。また、各レコードＲ２には、レコードＲ２を識別可能なシーケンス番号が付される。シーケンス番号は、第１制御操作分析表Ｃ１−１のレコードＲ１に含まれるシーケンス順序と、当該レコードＲ１に含まれる各要素の番号とを、記号（この一例では、「−」）によって組み合わせた番号である。各要素の番号は、例えば、制御要素が「１」であり、被制御要素が「２」である。図４に示される第１制御操作分析表Ｃ１−１には、２つのレコードＲ１が含まれており、各レコードＲ１には、制御要素と被制御要素とがそれぞれ含まれるため、図５に示される制御状態遷移シナリオ分析表Ｃ２−１には、シーケンス番号が「１−１」、「１−２」、「２−１」、及び「２−２」の４つのレコードＲ２が含まれる。
【００３４】
生成部１０３は、各レコードＲ２に対応するレコードＲ１から各種情報を参照し、レコードＲ２の欄に参照した情報を当てはめて、制御状態遷移シナリオ分析表Ｃ２−１を生成する。各レコードＲ２に対応するレコードＲ１とは、シーケンス番号の先頭の数字が、シーケンス順序として対応付けられているレコードＲ１である。
【００３５】
生成部１０３は、例えば、レコードＲ２の「制御要素が行う制御処理の名称又は被制御要素が行う状態通知の名称」欄に、レコードＲ１の制御処理の名称又は状態通知の名称を転記し、制御要素のレコードＲ２の「方向」欄を、「始点」とし、被制御要素のレコードＲ２の「方向」欄を、「終点」とし、レコードＲ２に含まれる「要素名」欄に、レコードＲ１の制御処理、又は状態通知を実行する要素の名称を転記し、制御要素のレコードＲ２の「入力情報」欄を、該当なし（図示では、Ｎ／Ａ（not applicable））とし、被制御要素のレコードＲ２の「入力情報」欄に、レコードＲ１の制御内容ＴＡを転記し、制御要素のレコードＲ２の「出力情報」欄に、レコードＲ１の制御内容ＴＡを転記し、被制御要素のレコードＲ２の「出力情報」欄を、該当なし（図示では、Ｎ／Ａ）とし、制御要素のレコードＲ２の「入出力条件」欄に、レコードＲ１の制御条件ＦＣを転記し、被制御要素のレコードＲ２の「入出力条件」欄に、レコードＲ１の制御条件ＴＣを転記し、制御要素のレコードＲ２の「処理内容」欄を、該当なし（図示では、Ｎ／Ａ）とし、被制御要素のレコードＲ２の「処理内容」欄に、レコードＲ１の処理・動作ＴＰを転記する。
【００３６】
また、レコードＲ２には、レコードＲ２に含まれる各要素の状態が対応付けられる。第３画像６０３には、例えば、「各シーケンスにおける各要素の状態を入力してください」等のメッセージＭＳ２が含まれており、表示制御部１０１は、生成部１０３によって生成された制御状態遷移シナリオ分析表Ｃ２−１と、メッセージＭＳ２とを含む第３画像６０３を生成し、表示部１３０に表示させる。この時、生成部１０３は、各要素の状態の初期状態として、制御要素のレコードＲ２に対応するレコードＲ１から状態ＦＳを転記し、被制御要素のレコードＲ２に対応するレコードＲ１から状態ＴＳを転記した制御状態遷移シナリオ分析表Ｃ２−１を生成する。
【００３７】
図５において、制御状態遷移シナリオ分析表Ｃ２−１には、各シーケンスにおける制御要素Ａ１、制御要素Ａ２、及び被制御要素Ｂ１の状態を入力する欄が設けられている。また、図５において、生成部１０３は、シーケンス番号１−１のシーケンス時点における制御要素Ａ１の初期状態（つまり、制御要素Ａ１の制御が行われる前の制御要素Ａ１の状態）として、状態ＦＳａ１を転記し、シーケンス番号１−２のシーケンス時点における被制御要素Ｂ１の初期状態（つまり、制御要素Ａ１〜Ａ２の制御が行われる前の被制御要素Ｂ１の状態）として、状態ＴＳａ１を転記し、シーケンス番号２−１のシーケンス時点における制御要素Ａ２の初期状態（つまり、制御要素Ａ２の制御が行われる前の制御要素Ａ２の状態）として、状態ＦＳａ２を転記した制御状態遷移シナリオ分析表Ｃ２−１を生成する。
【００３８】
ユーザは、表示部１３０に表示された第３画像６０３を参照し、各シーケンスにおける各要素の状態を示す情報を受付部１２０に入力する。図５において、制御状態遷移シナリオ分析表Ｃ２−１には、制御要素Ａ１が、シーケンス番号１−１において「状態ＦＳａ１」であり、且つシーケンス番号１−２以降「状態ＦＳ２ａ」に遷移すること、制御要素Ａ２が遷移せずに「状態ＦＳａ２」のままであること、及び被制御要素Ｂ１の状態ＴＳが、シーケンス番号１−１〜１−２において「状態ＴＳａ１」であり、且つシーケンス番号２−１以降、「状態ＴＳａ２」に遷移することが示される。取得部１０２は、受付部１２０に入力された各シーケンスにおける要素の状態を取得し、生成部１０３は、取得部１０２によって取得された要素の状態をレコードＲ２に含めた制御状態遷移シナリオ分析表Ｃ２−１を生成する。第３画像６０３を用いて要素の状態を取得する処理において、取得部１０２は、「状態情報取得部」の一例であり、制御状態遷移シナリオ分析表Ｃ２−１を生成する処理において、生成部１０３は、「第２生成部」の一例である。
【００３９】
ここで、各要素の状態、状態の遷移、及び入出力条件は、オートマトンの設計時において検討されているものである。ただし、オートマトンの設計時において、入出力条件を、制御処理の実施後における条件とするか、制御処理の実施中における入出力条件とするか、或いは状態通知の実施後における条件とするかは、オートマトンの設計者の裁量に任せられる。一方、各種入出力条件を考量した上で、オートマトンの設計段階でユーザが各要素の状態を検討することは困難である。シーケンス図生成装置１０は、制御状態遷移シナリオ分析表Ｃ２−１を生成し、ユーザに提示することによって、ユーザに、各種入出力条件を考量しつつ、各シーケンスにおける各要素の状態の検討を促すことができる。
【００４０】
図６は、状態遷移シーケンス図ＳＳＤを含む第４画像６０４の一例を示す図である。生成部１０３は、制御状態遷移シナリオ分析表Ｃ２−１に基づいて、状態遷移シーケンス図ＳＳＤを生成する。表示制御部１０１は、生成部１０３によって生成された状態遷移シーケンス図ＳＳＤを含む第４画像６０４を生成し、表示部１３０に表示させる。第４画像６０４には、状態遷移シーケンス図ＳＳＤの領域と、作業ウィンドウの領域とが含まれる。作業ウィンドウについては、後述する。
【００４１】
生成部１０３は、制御状態遷移シナリオ分析表Ｃ２−１を参照し、制御状態遷移シナリオ分析表Ｃ２−１に含まれる要素（この一例では、制御要素Ａ１〜Ａ２と、被制御要素Ｂ１）を示す要素画像ＩＭａ（図示する要素画像ＩＭａ１〜ＩＭａ３）と、各要素の処理の経過を示す線画像ＩＭｂ（図示する線画像ＩＭｂ１〜ＩＭｂ３）と、シーケンス番号（この一例では、「１−１」、「１−２」、「２−１」、及び「２−２」）を示す線であり、各要素の処理の経過を示す線と直行する線画像ＩＭｃ（図示する線画像ＩＭｃ１〜ＩＭｃ４）と、各要素の状態を示す枠画像ＩＭｄ（図示する枠画像ＩＭｄ１〜ＩＭｄ５）と、制御要素が制御処理を実行する期間、又は被制御要素が状態通知を実行する期間を示す四角形の期間画像ＩＭｅ（図示する期間画像ＩＭｅ１〜ＩＭｅ４）と、制御要素の制御処理又は被制御要素の状態通知の方向を示す矢印画像ＩＭｆ（図示する矢印画像ＩＭｆ１〜ＩＭｆ２）と、制御要素の制御処理又は被制御要素の状態通知の詳細を示す吹き出し画像ＩＭｇ（図示する吹き出し画像ＩＭｇ１〜ＩＭｇ４）とを含む状態遷移シーケンス図ＳＳＤを生成する。
【００４２】
生成部１０３は、制御状態遷移シナリオ分析表Ｃ２−１のレコードＲ２に含まれる要素の状態を参照し、各要素の状態の開始時期を示すシーケンス番号、及びその状態が遷移する時期を示すシーケンス番号を取得する。生成部１０３は、取得したシーケンス番号に基づいて、開始時期のシーケンス番号を示す線画像ＩＭｃから、終了時期のシーケンス番号を示す線画像ＩＭｃまでに亘る枠画像ＩＭｄを生成し、状態遷移シーケンス図ＳＳＤに配置する。
【００４３】
図６において、生成部１０３は、制御状態遷移シナリオ分析表Ｃ２−１を参照し、シーケンス番号「１−１」からシーケンス番号「１−２」の前までの制御要素Ａ１の状態ＦＳａ１を示す枠画像ＩＭｄ１と、シーケンス順序「１−２」以降の制御要素Ａ１の状態ＦＳａ２を示す枠画像ＩＭｄ２とを生成する。生成部１０３は、枠画像ＩＭｄ１を、線画像ＩＭｂ１に重畳しつつ、且つ線画像ＩＭｃ１から線画像ＩＭｃ２までに亘るように、状態遷移シーケンス図ＳＳＤに配置し、枠画像ＩＭｄ２を、線画像ＩＭｂ１に重畳しつつ、且つ線画像ＩＭｃ２から線画像ＩＭｃ４以降に亘るように、状態遷移シーケンス図ＳＳＤに配置する。なお、枠画像ＩＭｄ３〜ＩＭｄ５の生成、及び配置についても、枠画像ＩＭｄ１〜ＩＭｄ２に係る処理と同様の処理であるため、説明を省略する。
【００４４】
生成部１０３は、制御状態遷移シナリオ分析表Ｃ２−１のレコードＲ２に含まれる制御要素が行う制御処理の名称又は被制御要素が行う状態通知の名称を参照し、各要素が、各シーケンス番号において実行する制御処理を取得する。生成部１０３は、取得した処理に基づいて、当該処理の開始時期のシーケンス番号を示す線画像ＩＭｃから、終了時期のシーケンス番号を示す線画像ＩＭｃまでに亘る期間画像ＩＭｅを生成し、状態遷移シーケンス図ＳＳＤに配置する。
【００４５】
図６において、生成部１０３は、制御状態遷移シナリオ分析表Ｃ２−１を参照し、シーケンス番号「１−１」からシーケンス番号「１−２」の前までの期間に、制御要素Ａ１が実行する制御内容ＴＡａ１を示す期間画像ＩＭｅ１を生成する。生成部１０３は、期間画像ＩＭｅ１を、線画像ＩＭｂ１に重畳しつつ、且つ線画像ＩＭｃ１から線画像ＩＭｃ２までに亘るように、状態遷移シーケンス図ＳＳＤに配置する。なお、期間画像ＩＭｅ２〜ＩＭｅ４の生成、及び配置についても、期間画像ＩＭｅ１に係る処理と同様の処理であるため、説明を省略する。
【００４６】
生成部１０３は、制御状態遷移シナリオ分析表Ｃ２−１のレコードＲ２に含まれる方向を参照し、制御要素が行う制御処理、又は被制御要素が行う状態通知の方向を取得する。生成部１０３は、取得した方向に基づいて、当該方向の処理を示す矢印画像ＩＭｆを生成し、状態遷移シーケンス図ＳＳＤに配置する。
【００４７】
図６において、生成部１０３は、制御状態遷移シナリオ分析表Ｃ２−１を参照し、シーケンス番号「１−１」に対応付けられる制御処理ＡＣ１の方向は、制御要素Ａ１が「始点」であり、被制御要素Ｂ１が「終点」であることに基づいて、矢印画像ＩＭｆ１を生成する。生成部１０３は、「始点」の要素（この一例では、制御要素Ａ１）の線画像ＩＭｂ１に矢印画像ＩＭｆ１の始点が接するようにし、「終点」の要素（この一例では、被制御要素Ｂ１）の線画像ＩＭｂ２に矢印画像ＩＭｆ１の終点が接するようにしつつ、且つ制御処理ＡＣ１が行われるシーケンス番号の線画像ＩＭｃの間（この一例では、シーケンス番号１−１であるため、線画像ＩＭｃ１〜ＩＭｃ２の間）となるように、矢印画像ＩＭｆ１を状態遷移シーケンス図ＳＳＤに配置する。なお、矢印画像ＩＭｆ２の生成、及び配置についても、矢印画像ＩＭｆ１に係る処理と同様の処理であるため、説明を省略する。
【００４８】
生成部１０３は、制御状態遷移シナリオ分析表Ｃ２−１のレコードＲ２に含まれる入力情報、出力情報、制御周期、及び入出力条件を参照し、取得する。生成部１０３は、取得した各種情報を含む吹き出し画像ＩＭｇを生成し、状態遷移シーケンス図ＳＳＤに配置する。
【００４９】
図６において、生成部１０３は、制御状態遷移シナリオ分析表Ｃ２−１を参照し、シーケンス番号「１−１」に対応付けられた、入力情報、出力情報、制御周期、及び入出力条件を取得する。生成部１０３は、取得した各種情報に基づいて、各種情報を含む吹き出し画像ＩＭｇ１を生成する。生成部１０３は、吹き出し画像ＩＭｇ１を、関連する矢印画像ＩＭｆ（この場合、矢印画像ＩＭｆ１）に近接して配置する。なお、吹き出し画像ＩＭｇ２〜ＩＭｇ４の生成、及び配置についても、吹き出し画像ＩＭｇ１に係る処理と同様の処理であるため、説明を省略する。
【００５０】
シーケンス図生成装置１０は、状態遷移シーケンス図ＳＳＤを生成し、ユーザに提示することにより、ユーザに、各シーケンス番号における各要素の状態を明確にしつつ、各要素の状態と、制御処理が実施されるタイミングとに齟齬（つまり、制御状態の認識の齟齬）が生じているか否かについて検討を促すことができる。したがって、シーケンス図生成装置１０は、システムの検査の対象として適切なパラメータの検討を促すシーケンス図を生成し、モデル検査の効率化を支援することができる。状態遷移シーケンス図ＳＳＤを生成する処理において、生成部１０３は、「第１生成部」の一例である。
【００５１】
［状態遷移シーケンス図ＳＳＤにおける被検査システムの懸念事項について］
ここで、ユーザは、第４画像６０４によって状態遷移シーケンス図ＳＳＤを参照することにより、被検査システムの懸念事項に想到する場合がある。第４画像６０４の作業ウィンドウには、被検査システムの懸念事項を示すオブジェクト画像ＯＪ（図示する、第６オブジェクト画像ＯＪｆ、第７オブジェクト画像ＯＪｇ、第８オブジェクト画像ＯＪｈ、第９オブジェクト画像ＯＪｉ、及び第１０オブジェクト画像ＯＪｊ）が含まれる。第６オブジェクト画像ＯＪｆは、被検査システムに係る制御上の懸念事項（以下、制御懸念ＣＣ）を示すオブジェクト画像ＯＪである。第７オブジェクト画像ＯＪｇは、被検査システムに係る入力特徴ＣＡを示すオブジェクト画像ＯＪである。第８オブジェクト画像ＯＪｈは、被検査システムに係る出力特徴ＣＢを示すオブジェクト画像ＯＪである。第９オブジェクト画像ＯＪｉは、被検査システムに係る処理特徴ＣＥを示すオブジェクト画像ＯＪである。第１０オブジェクト画像ＯＪｊは、制御状態の認識の齟齬が生じている期間を示すオブジェクト画像ＯＪである。ユーザは、第４画像６０４が表示部１３０に表示されることに伴い、受付部１２０によってカーソルＣＳ等を操作し、作業ウィンドウに含まれるオブジェクト画像ＯＪを、状態遷移シーケンス図ＳＳＤの領域にドラックアンドドロップする等して、状態遷移シーケンス図ＳＳＤに被検査システムの懸念事項を示すオブジェクト画像ＯＪと、その内容を追加する。この時、オブジェクト画像ＯＪは、要素画像ＩＭａ、線画像ＩＭｂ、線画像ＩＭｃ、枠画像ＩＭｄ、及び吹き出し画像ＩＭｇのいずれかに対応付けられる。
【００５２】
図６において、状態遷移シーケンス図ＳＳＤには、被制御要素Ｂ１に対して行われる制御の懸念事項ＣＣａ１を示す第６オブジェクト画像ＯＪｆ１と、被制御要素Ｂ１に対して行われる制御の制御懸念ＣＣａ２を示す第６オブジェクト画像ＯＪｆ２と、制御処理ＡＣ１によって入力情報が被制御要素Ｂ１に入力される際の入力特徴ＣＡａ１を示す第７オブジェクト画像ＯＪｇ１と、被制御要素Ｂ１において実行される処理・動作ＴＰａ１の制御の処理特徴ＣＥａ２を示す第９オブジェクト画像ＯＪｉ１と、被制御要素Ｂ１に対して実行される処理・動作ＴＰａ１によって、制御状態の認識の齟齬が生じている期間を示す第１０オブジェクト画像ＯＪｊ１と、被制御要素Ｂ１に対して実行される処理・動作ＴＰａ２によって、制御状態の認識の齟齬が生じている期間を示す第１０オブジェクト画像ＯＪｊ２とが含まれる。
【００５３】
生成部１０３は、ユーザに追加されたオブジェクト画像ＯＪを反映した制御状態遷移シナリオ分析更新表Ｃ２−２を生成する。図７は、制御状態遷移シナリオ分析更新表Ｃ２−２を提示する際に用いられる第５画像６０５の一例を示す図である。取得部１０２は、受付部１２０に入力された被検査システムの懸念事項を取得し、生成部１０３は、取得部１０２によって取得された被検査システムの懸念事項と、制御状態遷移シナリオ分析表Ｃ２−１とに基づいて、制御状態遷移シナリオ分析更新表Ｃ２−２を生成する。制御状態遷移シナリオ分析更新表Ｃ２−２には、レコードＲ２に含まれる各種情報に加えて、制御懸念ＣＣと、入力特徴ＣＡと、出力特徴ＣＢと、処理特徴ＣＥとが、シーケンス順序毎、且つ要素毎に互いに対応付けられたレコードＲ３が含まれる。表示制御部１０１は、生成部１０３によって生成された制御状態遷移シナリオ分析更新表Ｃ２−２を表示部１３０に表示させる。
【００５４】
シーケンス図生成装置１０は、制御状態遷移シナリオ分析更新表Ｃ２−２を生成し、ユーザに提示することによって、ユーザに、被検査システムに係る懸念事項の認識を促すことができる。
【００５５】
［状態認識シーケンス図の生成］
以下、シーケンス図生成装置１０が、状態認識シーケンス図を生成する場合について説明する。図８は、被検査システムの特徴が取得された第１画像６０１ａの他の例を示す図である。図８において、状態認識シーケンス図を生成する際に用いられるブロック図は、第１画像６０１（図３参照）の内容に加えて、第４オブジェクト画像ＯＪｄ３として示される制御処理ＮＦ１と、第５オブジェクト画像ＯＪｅ３として示される制御処理ＮＦ１の詳細とが含まれる。図８において、第５オブジェクト画像ＯＪｅ３には、制御処理ＮＦ１における状態ＦＳａ３と、制御内容ＦＡａ３と、制御条件ＦＣａ３と、制御周期ＦＦａ３と、状態ＴＳａ３と、制御内容ＴＡａ１と、制御条件ＴＣａ３と、制御周期ＴＦａ３と、処理・動作ＴＰａ３と、制約・影響ＴＥａ３とが含まれる。
【００５６】
図９は、制御種別を取得する際に用いられる第６画像６０６の一例を示す図である。第６画像６０６には、第２制御操作分析表Ｃ１−２と、ユーザに各制御種別の入力を促すメッセージＭＳ３とが含まれる。
【００５７】
生成部１０３は、ユーザにより作成されたブロック図に基づいて、第２制御操作分析表Ｃ１−２を生成する。第２制御操作分析表Ｃ１−２は、ブロック図によって示された制御要素、及び被制御要素に係る情報を、制御要素の制御処理毎、又は被制御要素の状態通知毎にまとめた表である。第２制御操作分析表Ｃ１−２には、レコードＲ１の内容と同様の内容に加えて、各制御種別を示す情報が含まれたレコードＲ４が含まれる。制御種別とは、制御処理や状態通知の種別であり、例えば、＜Ａ：分析対象＞、＜Ｂ：競合相手＞、＜Ｃ：制御先＞、及び＜Ｄ：制御先＞等に分類される。＜Ａ：分析対象＞は、被検査システムの適否を分析に係る着目主体の制御種別である。＜Ｂ：競合相手＞は、Ａ：分析対象と制御処理が競合する制御処理、又は状態通知の種別である。＜Ｃ：制御先＞は、Ａ：分析対象を実行する要素へのフィードバックとしての制御種別である。＜Ｄ：制御先＞は、Ｂ：競合相手を実行する要素へのフィードバックとしての制御種別である。第６画像６０６には、例えば、「各「制御処理／状態通知」について、着目主体である「制御処理／状態通知」を＜Ａ：分析対象＞、Ａ：分析対象と競合する「制御処理／状態通知」を＜Ｂ：競合相手＞、Ａ：分析対象へのフィードバックを＜Ｃ：制御先＞、Ｂ：競合相手へのフィードバックを＜Ｄ：制御先＞を定義してください。」等のメッセージＭＳ３が含まれており、表示制御部１０１は、生成部１０３によって生成された制御種別の取得前の第２制御操作分析表Ｃ１−２と、メッセージＭＳ３とを含む第６画像６０６を生成し、表示部１３０に表示させる。
【００５８】
ユーザは、第６画像６０６を参照し、制御種別を受付部１２０に入力する。図９において、第２制御操作分析表Ｃ１−２には、制御処理名「ＡＣ１」の制御種別が＜Ａ：分析対象＞であり、制御処理名「ＡＣ２」の制御種別が＜Ｂ：競合相手＞であり、制御処理名「ＮＦ１」の制御種別が＜Ｄ：制御先＞であることが示される。取得部１０２は、受付部１２０に入力された制御種別を取得し、生成部１０３は、取得部１０２によって取得された制御種別をレコードＲ４に含めた第２制御操作分析表Ｃ１−２を生成する。制御種別を取得する処理において、取得部１０２は、「制御種別情報取得部」の一例であり、第２制御操作分析表Ｃ１−２に含まれるレコードＲ４のうち、被制御要素に係るレコードＲ４は、「第１情報」の一例であり、制御要素に係るレコードＲ４は、「第２情報」の一例である。
【００５９】
図１０は、『α：分析対象要素』に係る制御競合分析表Ｃ３−１の内容の一例を示す図である。図１１は、『β：競合相手要素』に係る制御競合分析表Ｃ３−１の内容の一例を示す図である。図１２は、『γ：競合先要素』に係る制御競合分析表Ｃ３−１の内容の一例を示す図である。生成部１０３は、第２制御操作分析表Ｃ１−２において、＜Ａ：分析対象＞、＜Ｂ：競合相手＞、＜Ｃ：制御先＞、及び＜Ｄ：制御先＞の種別によって分類された制御に係る情報を、『α：分析対象要素』、『β：競合相手要素』、及び『γ：競合先要素』の各要素に分類した制御競合分析表Ｃ３−１を生成する。
【００６０】
制御競合分析表Ｃ３−１は、要素毎の項目が一つ以上含まれており、項目には、当該要素を含む構想要素名と、当該要素の要素名と、当該要素が制御要素であるか、又は被制御要素であるか（つまり、指示を行う要素か、又は指示を受ける（被指示）要素か）と、制御内容と、処理・動作内容と、制御条件と、制約・影響と、状態とが互いに対応付けられる。
【００６１】
生成部１０３は、『α：分析対象要素』に係る制御競合分析表Ｃ３−１を生成するに際して、第２制御操作分析表Ｃ１−２に含まれるレコードＲ４のうち、制御種別として＜Ａ：分析対象＞が対応付けられたレコードＲ４を参照し、当該レコードＲ４の中から［制御要素］に係る情報（制御内容ＦＡ、制御条件ＦＣ、制御周期ＦＦ、及び状態ＦＳ）を抽出し、項目を生成する。また、生成部１０３は、『α：分析対象要素』に係る制御競合分析表Ｃ３−１を生成するに際して、第２制御操作分析表Ｃ１−２に含まれるレコードＲ４のうち、制御種別として＜Ｃ：制御先＞が対応付けられたレコードＲ４を参照し、当該レコードＲ４の中から［被制御要素］に係る情報（制御内容ＴＡ、処理・動作ＴＰ、制御条件ＴＣ、制御周期ＴＦ、制約・影響ＴＥ、及び状態ＴＳ）を抽出し、項目を生成する。これにより、『α：分析対象要素』に係る制御競合分析表Ｃ３−１には、分析対象要素が実施する制御、又は分析対象要素に実施される制御に係る情報が集約される。
【００６２】
図１０において、生成部１０３は、制御状態遷移シナリオ分析表Ｃ２−１に含まれるレコードＲ４のうち、制御種別として＜Ａ：分析対象＞が対応付けられたレコードＲ４を参照し、項目番号「α−１」の項目として、構造要素名「ＳＹ１」／要素名「Ａ１」、制御処理名「ＡＣ１」、指示要素、制御内容ＦＡａ１、制御条件ＦＣａ１、及び状態ＦＳａ１を含む『α：分析対象要素』に係る制御競合分析表Ｃ３−１を生成する。なお、図９に示す制御状態遷移シナリオ分析表Ｃ２−１には、制御種別として＜Ｃ：制御先＞が対応付けられたレコードＲ４が存在しないため、『α：分析対象要素』に係る制御競合分析表Ｃ３−１には、１つの項目のみが含まれる。
【００６３】
生成部１０３は、『β：競合相手要素』に係る制御競合分析表Ｃ３−１を生成するに際して、第２制御操作分析表Ｃ１−２に含まれるレコードＲ４のうち、制御種別として＜Ｂ：競合相手＞が対応付けられたレコードＲ４を参照し、当該レコードＲ４の中から［制御要素］に係る情報（制御内容ＦＡ、制御条件ＦＣ、制御周期ＦＦ、及び状態ＦＳ）を抽出し、項目を生成する。また、生成部１０３は、『β：競合相手要素』に係る制御競合分析表Ｃ３−１を生成するに際して、第２制御操作分析表Ｃ１−２に含まれるレコードＲ４のうち、制御種別として＜Ｄ：制御先＞が対応付けられたレコードＲ４を参照し、当該レコードＲ４の中から［被制御要素］に係る情報（制御内容ＴＡ、処理・動作ＴＰ、制御条件ＴＣ、制御周期ＴＦ、制約・影響ＴＥ、及び状態ＴＳ）を抽出し、項目を生成する。これにより、『β：競合相手要素』に係る制御競合分析表Ｃ３−１には、分析対象要素と、被制御要素が競合する制御要素（以下、競合相手要素）が実施する制御、又は競合相手要素に実施される制御に係る情報が集約される。
【００６４】
図１１において、生成部１０３は、制御状態遷移シナリオ分析表Ｃ２−１を参照し、項目番号「β−１」の項目として、構造要素名「ＳＹ３」／要素名「Ａ２」、制御処理名「ＡＣ２」、指示要素、制御内容ＦＡａ２、制御条件ＦＣａ２、及び状態ＦＳａ２を含み、項目番号「β−２」の項目として、構造要素名「ＳＹ２」／要素名「Ｂ１」、制御処理名「ＮＦ１」、被指示要素、制御内容ＴＡａ３、処理・動作ＴＰａ３、制御条件ＴＣａ３、制御周期ＴＦａ３、制約・影響ＴＥａ３、及び状態ＴＳａ３を含む『β：競合相手要素』に係る制御競合分析表Ｃ３−１を生成する。
【００６５】
生成部１０３は、『γ：競合先要素』に係る制御競合分析表Ｃ３−１を生成するに際して、第２制御操作分析表Ｃ１−２に含まれるレコードＲ４のうち、制御種別として＜Ｃ：制御先＞、及び＜Ｄ：制御先＞が対応付けられたレコードＲ４を参照し、当該レコードＲ４の中から［制御要素］に係る情報（制御内容ＦＡ、制御条件ＦＣ、制御周期ＦＦ、及び状態ＦＳ）を抽出し、項目を生成する。また、生成部１０３は、『γ：競合先要素』に係る制御競合分析表Ｃ３−１を生成するに際して、第２制御操作分析表Ｃ１−２に含まれるレコードＲ４のうち、制御種別として＜Ａ：分析対象＞、及び＜Ｂ：競合相手＞が対応付けられたレコードＲ４を参照し、当該レコードＲ４の中から［被制御要素］に係る情報（制御内容ＴＡ、処理・動作ＴＰ、制御条件ＴＣ、制御周期ＴＦ、制約・影響ＴＥ、及び状態ＴＳ）を抽出し、項目を生成する。これにより、『γ：競合先要素』に係る制御競合分析表Ｃ３−１には、分析対象要素と、競合相手要素との制御対象である被制御要素（以下、競合先要素）が実施する制御、又は競合先要素に実施される制御に係る情報が集約される。
【００６６】
図１２において、生成部１０３は、制御状態遷移シナリオ分析表Ｃ２−１を参照し、項目番号「γ−１」の項目として、構造要素名「ＳＹ２」／要素名「Ｂ１」、制御処理名「ＡＣ１」、被指示要素、制御内容ＴＡａ１、処理・動作ＴＰａ１、制御条件ＴＣａ１、制御周期ＴＦａ１、制約・影響ＴＥａ１、及び状態ＴＳａ１を含み、項目番号「γ−２」の項目として、構造要素名「ＳＹ３」／要素名「Ｂ１」、制御処理名「ＡＣ２」、被指示要素、制御内容ＴＡａ２、処理・動作ＴＰａ２、制御条件ＴＣａ２、制御周期ＴＦａ２、制約・影響ＴＥａ２、及び状態ＴＳａ２を含み、項目番号「γ−３」の項目として、構造要素名「ＳＹ２」／要素名「Ａ２」、制御処理名「ＮＦ１」、指示要素、制御内容ＦＡａ３、制御条件ＦＣａ３、制御周期ＦＦａ３、及び状態ＦＳａ３を含む『γ：競合先要素』に係る制御競合分析表Ｃ３−１を生成する。なお、図９に示す制御状態遷移シナリオ分析表Ｃ２−１には、制御種別として＜Ｃ：制御先＞が対応付けられたレコードＲ４が存在しないため、『γ：競合先要素』に係る制御競合分析表Ｃ３−１には、３つの項目のみが含まれる。
【００６７】
図１３は、制御競合分析表Ｃ３−１の各項目のシーケンス順序、及び各シーケンス順序における『γ：競合要素』の状態を取得する際に用いられる第７画像６０７の一例を示す図である。第７画像６０７には、ユーザに、各制御競合分析表Ｃ３−１に含まれるすべての項目に対して、項目が示す制御の実行順序（以下、シーケンス順序）の入力、及び各シーケンス順序における『γ：競合要素』の状態の入力を促すメッセージＭＳ４と、シーケンス順序の入力欄と、『γ：競合要素』の状態の入力欄とが示される。メッセージＭＳ４は、例えば、「各項目番号を、シーケンス順序に当てはめてください。また、各シーケンス順序においてα：分析対象要素、又はβ：競合相手要素が認識しているγ：競合先要素の状態を入力してください。（ＭＳ４）」等である。
【００６８】
ユーザは、第７画像６０７を参照し、シーケンス順序を示す値、及び各シーケンス順序における『γ：競合要素』の状態を示す情報を受付部１２０に入力する。図１３には、項目番号「α−１」、及び項目番号「γ−１」の制御のシーケンス順序が、いずれも「１」番目であり、項目番号「γ−３」、及び項目番号「β−１」の制御のシーケンス順序が、いずれも「２」番目であり、項目番号「γ−２」、及び項目番号「β−２」の制御のシーケンス順序が、いずれも「３」番目であることが示される。また、『α：分析対象要素』は、シーケンス順序「１」番目までは、『γ：競合先要素』の状態が状態ＴＳａ１であると認識し、シーケンス順序「２」番目以降は、『γ：競合先要素』の状態が状態ＴＳａ２であると認識する。また、『β：競合相手要素』は、シーケンス順序「２」番目までは、『γ：競合先要素』の状態が状態ＴＳａ１であると認識し、シーケンス順序「３」番目以降は、『γ：競合先要素』の状態が状態ＴＳａ２であると認識する。取得部１０２は、受付部１２０に入力されたシーケンス順序を取得し、生成部１０３は、取得部１０２によって取得されたシーケンス順序に基づいて、状態認識シーケンス図ＳＲＤを生成する。シーケンス順序を取得する処理において、取得部１０２は、「順序取得部」の一例である。
【００６９】
なお、第７画像６０７には、『α：分析対象要素』に係る制御競合分析表Ｃ３−１、『β：競合相手要素』に係る制御競合分析表Ｃ３−１、及び『γ：競合先要素』に係る制御競合分析表Ｃ３−１のそれぞれが表示されていてもよい。この場合、シーケンス図生成装置１０は、ユーザに、被制御要素の状態について認識しやすくしつつ、シーケンス順序について検討を促すことができる。各制御競合分析表Ｃ３−１のそれぞれが第７画像６０７に含まれる場合、当該第７画像６０７を生成する処理において、生成部１０３は、「第２生成部」の一例である。
【００７０】
図１４は、状態認識シーケンス図ＳＲＤを含む第８画像６０８の一例を示す図である。生成部１０３は、制御競合分析表Ｃ３−１、及びシーケンス順序に基づいて、状態認識シーケンス図ＳＲＤを生成し、表示制御部１０１は、生成部１０３によって生成された状態認識シーケンス図ＳＲＤを含む第８画像６０８を生成し、表示部１３０に表示させる。
【００７１】
生成部１０３は、制御競合分析表Ｃ３−１の各項目に含まれる要素（この一例では、制御要素Ａ１〜Ａ２と、被制御要素Ｂ１）を示す要素画像ＩＭａ（図示する要素画像ＩＭａ１〜ＩＭａ３）と、各要素の処理の経過を示す線画像ＩＭｂ（図示する線画像ＩＭｂ１〜ＩＭｂ３）と、シーケンス番号（この一例では、「１」、「２」、及び「３」）を示す線であり、各要素の処理の経過を示す線と直行する線画像ＩＭｃ（図示する線画像ＩＭｃ１〜ＩＭｃ４）と、各要素の状態を示す枠画像ＩＭｄ（図示する枠画像ＩＭｄ１〜ＩＭｄ４）と、制御要素が制御処理を実行する期間、又は被制御要素が状態通知を実行する期間を示す四角形の期間画像ＩＭｅ（図示する期間画像ＩＭｅ１〜ＩＭｅ５）と、制御要素の制御処理又は被制御要素の状態通知の方向、及びタイミングを示す矢印画像ＩＭｆ（図示する矢印画像ＩＭｆ１〜ＩＭｆ５）と、制御要素の制御処理又は被制御要素の状態通知の詳細を示す吹き出し画像ＩＭｇ（図示する吹き出し画像ＩＭｇ１〜ＩＭｇ５）とを含む状態認識シーケンス図ＳＲＤを生成する。
【００７２】
生成部１０３は、制御競合分析表Ｃ３−１と、シーケンス順序と、『γ：競合先要素』の状態とに基づいて、『α：分析対象要素』（この一例では、制御要素Ａ１）が認識している『γ：競合先要素』（この一例では、被制御要素Ｂ１）の状態の範囲毎に、当該範囲の開始時期のシーケンス順序を示す線画像ＩＭｃから、当該範囲の終了時期のシーケンス順序を示す線画像ＩＭｃまでに亘る枠画像ＩＭｄを生成し、状態認識シーケンス図ＳＲＤに配置する。
【００７３】
図１４において、生成部１０３は、『α：分析対象要素』の制御競合分析表Ｃ３−１に含まれる項目番号「α―１」のシーケンス順序と、当該シーケンス順序において『α：分析対象要素』が認識する『γ：競合先要素』の状態とに基づいて、シーケンス順序「１」番目までの被制御要素Ｂ１の状態ＴＳａ１を示す枠画像ＩＭｄ１と、シーケンス順序「２」番目以降の被制御要素Ｂ１の状態ＴＳａ２を示す枠画像ＩＭｄ２とを生成する。生成部１０３は、枠画像ＩＭｄ１を、線画像ＩＭｂ１に重畳させつつ、枠画像ＩＭｄ１の右側の辺が線画像ＩＭｃ１に接するように状態認識シーケンス図ＳＲＤに配置し、且つ枠画像ＩＭｄ２を、線画像ＩＭｂ１に重畳させつつ、枠画像ＩＭｄ２の左側の辺が線画像ＩＭｃ１に接するように状態認識シーケンス図ＳＲＤに配置する。なお、『β：競合相手要素』（この一例では、制御要素Ａ２）が認識する『γ：競合先要素』の状態を示す枠画像ＩＭｄ３〜ＩＭｄ４の生成、及び配置についても、同様の処理であるため、説明を省略する。
【００７４】
生成部１０３は、制御競合分析表Ｃ３−１と、シーケンス順序とに基づいて、制御競合分析表Ｃ３−１の項目のうち、要素が行う制御処理名の欄を参照し、各要素が、各シーケンス順序において実行する制御処理を取得する。生成部１０３は、取得した処理に基づいて、当該処理を示す期間画像ＩＭｅを生成し、状態認識シーケンス図ＳＲＤに配置する。
【００７５】
図１４において、生成部１０３は、生成部１０３は、制御競合分析表Ｃ３−１と、シーケンス順序と、『γ：競合先要素』の状態とに基づいて、シーケンス順序「１」番目までに制御要素Ａ１が実行する制御処理を示す期間画像ＩＭｅ１を生成する。生成部１０３は、期間画像ＩＭｅ１を、線画像ＩＭｂ１に重畳させつつ、期間画像ＩＭｅの右側の辺が線画像ＩＭｃ１に接するように状態認識シーケンス図ＳＲＤに配置する。なお、制御要素Ａ２、及び被制御要素Ｂ１に係る期間画像ＩＭｅ２〜ＩＭｅ５の生成、及び配置についても、同様の処理であるため、説明を省略する。
【００７６】
生成部１０３は、制御競合分析表Ｃ３−１と、シーケンス順序とに基づいて、制御競合分析表Ｃ３−１の項目に含まれる要素が、制御要素であるか、又は被制御要素であるか（つまり、指示を行う要素か、又は指示を受ける（被指示）要素か）を取得する。生成部１０３は、取得した指示、又は被指示を示す情報に基づいて、当該処理を示す矢印画像ＩＭｆを生成し、状態認識シーケンス図ＳＲＤに配置する。
【００７７】
図１４において、生成部１０３は、制御競合分析表Ｃ３−１と、シーケンス順序とを参照し、シーケンス順序「１」番目に対応付けられる項目番号「α―１」の制御処理ＡＣ１が、制御要素Ａ１が指示要素（つまり、矢印の始点）であることに基づいて、矢印画像ＩＭｆ１を生成する。生成部１０３は、矢印画像ＩＭｆ１の始点が制御処理ＡＣ１を示す期間画像ＩＭｅ１の端部に接しつつ、且つシーケンス順序「１」番目を示す線画像ＩＭｃ１に重畳するように状態認識シーケンス図ＳＲＤに配置する。なお、制御競合分析表Ｃ３−１の指示／被指示欄に被指示要素が対応付けられている場合、矢印画像ＩＭｆは、終点が当該制御処理を示す期間画像ＩＭｅの端部に接して配置される。なお、矢印画像ＩＭｆ２〜矢印画像ＩＭｆ６の生成、及び配置についても、同様の処理であるため、説明を省略する。
【００７８】
生成部１０３は、制御競合分析表Ｃ３−１に基づいて、各制御処理に係る項目番号、制御処理名、制御内容、制御条件、及び制御周期の情報を取得する。生成部１０３は、取得した各種情報を含む吹き出し画像ＩＭｇを生成し、状態認識シーケンス図ＳＲＤに配置する。
【００７９】
図１４において、生成部１０３は、制御競合分析表Ｃ３−１を参照し、項目番号「α−１」の制御処理ＡＣ１に対応付けられた、制御内容ＦＡａ１、制御条件ＦＣａ１、及び制御周期ＦＦａ１の情報を取得する。生成部１０３は、取得した各種情報に基づいて、各種情報を含む吹き出し画像ＩＭｇ１を生成する。生成部１０３は、吹き出し画像ＩＭｇ１を、関連する矢印画像ＩＭｆ（この一例では、矢印画像ＩＭｆ１）に近接するように状態認識シーケンス図ＳＲＤに配置する。なお、吹き出し画像ＩＭｇ２〜ＩＭｇ６の生成、及び配置についても、同様の処理であるため、説明を省略する。
【００８０】
シーケンス図生成装置１０は、状態認識シーケンス図ＳＲＤを生成し、ユーザに提示することにより、ユーザに、各シーケンス番号における各要素の制御を明確にしつつ、被制御要素に対する制御競合が生じているか否かについて検討を促すことができる。したがって、シーケンス図生成装置１０は、システムの検査の対象として適切なパラメータの検討を促すシーケンス図を生成し、検査の効率化を支援することができる。状態認識シーケンス図ＳＲＤを生成する処理において、生成部１０３は、「第１生成部」の一例である。
【００８１】
［動作フロー］
図１５は、本実施形態に係るシーケンス図生成装置１０の一連の動作の一例を示すフローチャートである。まず、表示制御部１０１は、表示部１３０に第１画像６０１を表示させ、ユーザに被検査システムに係るブロック図の作成を促す（ステップＳ１００）。次に、シーケンス図生成装置１０は、制御状態の認識齟齬に係る制御状態遷移シナリオ分析を実行するか、或いは、制御競合に係る制御状態遷移シナリオ分析を実行するかを判定する（ステップＳ１０２）。シーケンス図生成装置１０は、例えば、ユーザによって受付部１２０に入力された操作に基づいて、どちらのシナリオ分析を実行するかを判定してもよく、ユーザにより作成されたブロック図に基づいて、どちらのシナリオ分析を実行するかを判定してもよい。例えば、ブロック図の形状、制御処理の数や方向、要素の数等に基づいて、どちらのシナリオ分析が適当かを規定する規定情報が記憶部１１０に記憶されており、制御部１００が、規定情報と、ブロック図とに基づいて、実行するシナリオ分析を決定してもよい。
【００８２】
制御状態の認識齟齬に係る制御状態遷移シナリオ分析を実行する場合（ステップＳ１０２；ＹＥＳ）、生成部１０３は、取得したブロック図に基づいて、第１制御操作分析表Ｃ１−１を生成する（ステップＳ１０４）。表示制御部１０１は、生成部１０３によって生成された第１制御操作分析表Ｃ１−１と、メッセージＭＳ１とを含む第２画像６０２を表示部１３０に表示させ、制御要素の制御処理、又は被制御要素の状態通知の実行順序（シーケンス順序）を示す情報を取得する（ステップＳ１０６）。生成部１０３は、取得したシーケンス順序と、第１制御操作分析表Ｃ１−１とに基づいて、制御状態遷移シナリオ分析表Ｃ２−１を生成する（ステップＳ１０８）。表示制御部１０１は、生成部１０３によって生成された制御状態遷移シナリオ分析表Ｃ２−１と、メッセージＭＳ２とを含む第３画像６０３を表示部１３０に表示させ、各シーケンス順序において、制御要素、又は被制御要素がとり得る状態を示す情報を取得する（ステップＳ１１０）。生成部１０３は、取得した制御要素、又は被制御要素がとり得る状態と、制御状態遷移シナリオ分析表Ｃ２−１とに基づいて、状態遷移シーケンス図ＳＳＤを生成する（ステップＳ１１２）。表示制御部１０１は、生成部１０３によって生成された状態遷移シーケンス図ＳＳＤを含む第４画像６０４を表示部１３０に表示させる（ステップＳ１１４）。
【００８３】
制御競合に係る制御状態遷移シナリオ分析を実行する場合（ステップＳ１０２；ＮＯ）、生成部１０３は、取得したブロック図に基づいて、第２制御操作分析表Ｃ１−２を生成する（ステップＳ１１６）。表示制御部１０１は、生成部１０３によって生成された第２制御操作分析表Ｃ１−２と、メッセージＭＳ３とを含む第６画像６０６を表示部１３０に表示させ、制御処理や状態通知の制御種別を取得する（ステップＳ１１８）。生成部１０３は、取得した制御種別と、第２制御操作分析表Ｃ１−２とに基づいて、制御競合分析表Ｃ３−１を生成する（ステップＳ１２０）。表示制御部１０１は、制御競合分析表Ｃ３−１に含まれる各項目のシーケンス順序と、を取得する際に用いられる第７画像６０７を表示部１３０に表示し、シーケンス順序と、当該シーケンス順序において『α：分析対象要素』、又は『β：競合相手要素』が認識する『γ：競合先要素』の状態とを取得する（ステップＳ１２２）。生成部１０３は、取得したシーケンス順序と、当該シーケンス順序において『α：分析対象要素』、又は『β：競合相手要素』が認識する『γ：競合先要素』の状態と制御競合分析表Ｃ３−１とに基づいて、状態認識シーケンス図ＳＲＤを生成する（ステップＳ１２４）。表示制御部１０１は、生成部１０３によって生成された状態認識シーケンス図ＳＲＤを含む第８画像６０８を表示部１３０に表示させる（ステップＳ１２６）。
【００８４】
以上、本発明を実施するための形態について実施形態を用いて説明したが、本発明はこうした実施形態に何等限定されるものではなく、本発明の要旨を逸脱しない範囲内において種々の変形及び置換を加えることができる。
【符号の説明】
【００８５】
１０…シーケンス図生成装置、１００…制御部、１０１…表示制御部、１０２…取得部、１０３…生成部、１１０…記憶部、１２０…受付部、１３０…表示部、Ａ１、Ａ２…制御要素、Ｂ１…被制御要素、ＡＣ１、ＡＣ２、ＮＦ１…制御処理、Ｃ１−１…第１制御操作分析表、Ｃ１−２…第２制御操作分析表、Ｃ２−１…制御状態遷移シナリオ分析表、Ｃ２−２…制御状態遷移シナリオ分析更新表、Ｃ３−１…制御競合分析表、ＳＲＤ…状態認識シーケンス図、ＳＳＤ…状態遷移シーケンス図
【図１】
2020126556.tif 000003
【図２】
2020126556.tif 000004
【図３】
2020126556.tif 000005
【図４】
2020126556.tif 000006
【図５】
2020126556.tif 000007
【図６】
2020126556.tif 000008
【図７】
2020126556.tif 000009
【図８】
2020126556.tif 000010
【図９】
2020126556.tif 000011
【図１０】
2020126556.tif 000012
【図１１】
2020126556.tif 000013
【図１２】
2020126556.tif 000014
【図１３】
2020126556.tif 000015
【図１４】
2020126556.tif 000016
【図１５】
2020126556.tif 000017