特開 2024-110108 状態遷移モデル合成システム、状態遷移モデル合成方法およびプログラム

(19)【発行国】日本国特許庁(JP)

(12)【公報種別】公開特許公報(A)

(11)【公開番号】P2024110108

(43)【公開日】2024-08-15

(54)【発明の名称】状態遷移モデル合成システム、状態遷移モデル合成方法およびプログラム

(51)【国際特許分類】

   G06F 8/36 20180101AFI20240807BHJP

【ＦＩ】

G06F8/36

【審査請求】未請求

【請求項の数】16

【出願形態】ＯＬ

(21)【出願番号】P 2023014477

(22)【出願日】2023-02-02

(71)【出願人】

【識別番号】520423334

【氏名又は名称】ミラクシアエッジテクノロジー株式会社

(74)【代理人】

【識別番号】100109210

【弁理士】

【氏名又は名称】新居 広守

(74)【代理人】

【識別番号】100137235

【弁理士】

【氏名又は名称】寺谷 英作

(74)【代理人】

【識別番号】100131417

【弁理士】

【氏名又は名称】道坂 伸一

(72)【発明者】

【氏名】今井 紅

(72)【発明者】

【氏名】植田 裕之

(72)【発明者】

【氏名】池内 陽平

【テーマコード（参考）】

5B376

【Ｆターム（参考）】

5B376BB05

5B376BB06

5B376BB13

5B376BC16

5B376BC32

5B376BC38

(57)【要約】

【課題】大規模な状態遷移モデルの開発における生産性を向上することができる状態遷移モデル合成システムを提供する
【解決手段】状態遷移モデル合成システム１０は、複数の状態遷移モデル２０ａ～２０ｎのそれぞれから状態遷移に関する状態遷移情報を抽出する抽出部１１と、抽出された状態遷移情報に基づいて複数の状態遷移モデル２０ａ～２０ｎを合成することで、合成状態遷移モデル３０を生成する合成部１２と、合成部１２での合成の妥当性を解析する解析部１３と、を備える。
【選択図】図１

【特許請求の範囲】

【請求項1】

複数の状態遷移モデルのそれぞれから状態遷移に関する状態遷移情報を抽出する抽出部と、
抽出された前記状態遷移情報に基づいて前記複数の状態遷移モデルを合成することで、合成状態遷移モデルを生成する合成部と、
前記合成部での合成の妥当性を解析する解析部と、を備える、
状態遷移モデル合成システム。

【請求項2】

前記複数の状態遷移モデルのそれぞれには、複数の状態が含まれ、
前記抽出部は、前記状態遷移情報として、前記複数の状態のそれぞれの識別子を抽出する、
請求項１に記載の状態遷移モデル合成システム。

【請求項3】

前記抽出部は、前記状態遷移情報として、前記複数の状態遷移モデル間で前記識別子が同一となっている状態のそれぞれに記述された共通の記述内容および固有の記述内容を抽出し、
前記合成部は、前記共通の記述内容および前記固有の記述内容が記述された、同一の前記識別子に対応する状態が前記合成状態遷移モデルに含まれるように、前記合成状態遷移モデルを生成する、
請求項２に記載の状態遷移モデル合成システム。

【請求項4】

前記合成部は、前記複数の状態遷移モデルのそれぞれの前記複数の状態のうち、前記識別子が同一となっている状態が、他の状態遷移モデルには含まれていない固有の状態が前記合成状態遷移モデルに含まれるように、前記合成状態遷移モデルを生成する、
請求項２に記載の状態遷移モデル合成システム。

【請求項5】

前記複数の状態遷移モデルのそれぞれには、複数の状態、および、前記複数の状態間を結ぶ複数の状態遷移線が含まれ、
前記抽出部は、前記状態遷移情報として、前記複数の状態遷移線の記述内容を抽出する、
請求項１に記載の状態遷移モデル合成システム。

【請求項6】

前記合成部は、前記複数の状態遷移モデル間で、遷移元の状態および遷移先の状態が同一となっている状態遷移線のそれぞれの記述内容が同一である場合、当該状態遷移線のうちの１つが前記合成状態遷移モデルに含まれるように、前記合成状態遷移モデルを生成する、
請求項５に記載の状態遷移モデル合成システム。

【請求項7】

前記合成部は、前記複数の状態遷移モデル間で、遷移元の状態および遷移先の状態が同一となっている状態遷移線のそれぞれの記述内容が異なる場合、当該状態遷移線のそれぞれが前記合成状態遷移モデルに含まれるように、前記合成状態遷移モデルを生成する、
請求項５に記載の状態遷移モデル合成システム。

【請求項8】

前記合成部は、前記複数の状態遷移モデルのそれぞれの前記複数の状態遷移線のうち、遷移元の状態および遷移先の状態が同一となっている状態遷移線が、他の状態遷移モデルには含まれていない固有の状態遷移線が前記合成状態遷移モデルに含まれるように、前記合成状態遷移モデルを生成する、
請求項５に記載の状態遷移モデル合成システム。

【請求項9】

前記複数の状態遷移モデルのそれぞれには、状態遷移処理に必要な定義データが対応付けられており、
前記抽出部は、前記状態遷移情報として、前記定義データを抽出する、
請求項１～８のいずれか１項に記載の状態遷移モデル合成システム。

【請求項10】

前記抽出部は、前記複数の状態遷移モデル間で、定義名が共通の前記定義データおよび定義名が固有の前記定義データを抽出し、
前記合成部は、前記共通の前記定義データおよび前記固有の前記定義データが前記合成状態遷移モデルに対応付けられるように、前記合成状態遷移モデルを生成する、
請求項９に記載の状態遷移モデル合成システム。

【請求項11】

前記解析部は、前記合成状態遷移モデルに対応付けられた前記共通の前記定義データと、前記複数の状態遷移モデルのそれぞれに対応付けられた前記共通の前記定義データとを比較することで、前記合成部での合成の妥当性を解析する、
請求項１０に記載の状態遷移モデル合成システム。

【請求項12】

前記解析部は、前記合成状態遷移モデルに対応付けられた前記共通の前記定義データにおける変数の最大値または最小値と、前記複数の状態遷移モデルのそれぞれに対応付けられた前記共通の前記定義データにおける変数の最大値または最小値とが異なっているか否かに基づいて、前記合成部での合成の妥当性を解析する、
請求項１１に記載の状態遷移モデル合成システム。

【請求項13】

前記解析部は、前記合成状態遷移モデルに対応付けられた前記共通の前記定義データにおける定数の定数値と、前記複数の状態遷移モデルのそれぞれに対応付けられた前記共通の前記定義データにおける定数の定数値とが異なっているか否かに基づいて、前記合成部での合成の妥当性を解析する、
請求項１１に記載の状態遷移モデル合成システム。

【請求項14】

前記解析部は、前記合成状態遷移モデルに対応付けられた前記共通の前記定義データにおける変数または定数のデータ型と、前記複数の状態遷移モデルのそれぞれに対応付けられた前記共通の前記定義データにおける変数または定数のデータ型とが異なっているか否かに基づいて、前記合成部での合成の妥当性を解析する、
請求項１１に記載の状態遷移モデル合成システム。

【請求項15】

状態遷移モデル合成システムにより実行される状態遷移モデル合成方法であって、
複数の状態遷移モデルのそれぞれから状態遷移に関する状態遷移情報を抽出する抽出ステップと、
抽出された前記状態遷移情報に基づいて前記複数の状態遷移モデルを合成することで、合成状態遷移モデルを生成する合成ステップと、
前記合成ステップでの合成の妥当性を解析する解析ステップと、を含む、
状態遷移モデル合成方法。

【請求項16】

請求項１５に記載の状態遷移モデル合成方法をコンピュータに実行させるためのプログラム。

【発明の詳細な説明】

【技術分野】

【0001】

本開示は、状態遷移モデル合成システムなどに関する。

【背景技術】

【0002】

組込ソフトウェア開発において、動く仕様書モデルを使って要求仕様を検証し、そのままソースコードを自動生成する開発手法が用いられることが多い。このような開発手法は、モデルベース開発と呼ばれる。モデルベース開発では、統一モデリング言語（ＵＭＬ）のようなルール規定が行われた記法に基づいて状態遷移モデルを作成し、作成した状態遷移モデルからコードを生成することができる。

【0003】

特許文献１には、状態遷移データに時間情報を追加できるようにするための技術が開示されている。

【0004】

特許文献２には、モデル検査で使用する状態遷移図に送信アクションを自動的に追加するための技術が開示されている。

【先行技術文献】

【特許文献】

【0005】

【特許文献1】特開２０２１－０５７０６１号公報

【特許文献2】特開２００８－０２１１６０号公報

【発明の概要】

【発明が解決しようとする課題】

【0006】

特許文献１および特許文献２に開示された技術は、与えられた外部のデータ情報を読み込んで、状態遷移図を自動で編集するということを特徴としている。

【0007】

しかしながら、近年、ソフトウェアのメトリクスが急激に増加している状況にあり、状態遷移モデルにおける状態、状態遷移線および処理に必要となる定義データのメトリクス数が爆発的に増加しており、特許文献１および特許文献２に開示された技術では、このことが考慮されていない。例えば、車載ナビの画面遷移を司る状態遷移モデルなどでは、切り替え対象の画面が年々増加してきており、大規模な状態遷移モデルを開発する場合、人為的ミスが発生しやすく、また、不具合の発見が困難となっている。このため、大規模な状態遷移モデルの開発における生産性が低下してしまうという問題がある。

【0008】

そこで、本開示は、大規模な状態遷移モデルの開発における生産性を向上することができる状態遷移モデル合成システムなどを提供する。

【課題を解決するための手段】

【0009】

本開示に係る状態遷移モデル合成システムは、複数の状態遷移モデルのそれぞれから状態遷移に関する状態遷移情報を抽出する抽出部と、抽出された前記状態遷移情報に基づいて前記複数の状態遷移モデルを合成することで、合成状態遷移モデルを生成する合成部と、前記合成部での合成の妥当性を解析する解析部と、を備える。

【0010】

本開示に係る状態遷移モデル合成方法は、状態遷移モデル合成システムにより実行される状態遷移モデル合成方法であって、複数の状態遷移モデルのそれぞれから状態遷移に関する状態遷移情報を抽出する抽出ステップと、抽出された前記状態遷移情報に基づいて前記複数の状態遷移モデルを合成することで、合成状態遷移モデルを生成する合成ステップと、前記合成ステップでの合成の妥当性を解析する解析ステップと、を含む。

【0011】

本開示に係るプログラムは、上記の状態遷移モデル合成方法をコンピュータに実行させるためのプログラムである。

【0012】

なお、これらの包括的または具体的な態様は、システム、方法、集積回路、コンピュータプログラムまたはコンピュータ読み取り可能なＣＤ－ＲＯＭなどの記録媒体で実現されてもよく、システム、方法、集積回路、コンピュータプログラムおよび記録媒体の任意な組み合わせで実現されてもよい。

【発明の効果】

【0013】

本開示の一態様に係る状態遷移モデル合成システムなどによれば、大規模な状態遷移モデルの開発における生産性を向上することができる。

【図面の簡単な説明】

【0014】

【図1】実施の形態に係る状態遷移モデル合成システムの一例を示すブロック図である。

【図2A】状態遷移モデルの一例を示す図である。

【図2B】図２Ａに示される状態遷移モデルの状態遷移処理に必要な定義データの一例を示す図である。

【図3A】状態遷移モデルの一例を示す図である。

【図3B】図３Ａに示される状態遷移モデルの状態遷移処理に必要な定義データの一例を示す図である。

【図4】実施の形態に係る状態遷移モデル合成システムの動作の一例を示すフローチャートである。

【図5】実施の形態に係る状態遷移モデル合成システムの複数の状態遷移モデルの合成時の動作の一例を示すフローチャートである。

【図6】状態の合成を説明するための図である。

【図7】状態遷移線の合成を説明するための図である。

【図8】定義データの合成を説明するための図である。

【図9】生成された合成状態遷移モデルの一例を示す図である。

【発明を実施するための形態】

【0015】

以下、実施の形態について、図面を参照しながら具体的に説明する。

【0016】

なお、以下で説明する実施の形態は、いずれも包括的または具体的な例を示すものである。以下の実施の形態で示される数値、形状、材料、構成要素、構成要素の配置位置および接続形態、ステップ、ステップの順序などは、一例であり、本開示を限定する主旨ではない。

【0017】

（実施の形態）
以下、実施の形態に係る状態遷移モデル合成システムについて説明する。

【0018】

図１は、実施の形態に係る状態遷移モデル合成システム１０の一例を示すブロック図である。図１には、状態遷移モデル合成システム１０の他に、状態遷移モデル合成システム１０によって合成される複数の状態遷移モデル２０ａ～２０ｎと、上記合成により生成された合成状態遷移モデル３０が示されている。なお、図１には、状態遷移モデルが３つ以上示されているが、少なくとも２つあればよい。

【0019】

状態遷移モデル合成システム１０は、複数の状態遷移モデル２０ａ～２０ｎを合成することで、合成状態遷移モデル３０を生成するための装置である。状態遷移モデル合成システム１０は、モデルベース開発において用いられ、生成された合成状態遷移モデル３０は、図示していない自動コード生成器などに入力され、自動コード生成器は、合成状態遷移モデル３０からソースコードなどを生成する。

【0020】

複数の状態遷移モデル２０ａ～２０ｎのそれぞれには、複数の状態、および、複数の状態間を結ぶ複数の状態遷移線が含まれる。また、複数の状態遷移モデル２０ａ～２０ｎのそれぞれには、状態遷移処理に必要な定義データが対応付けられている。これらの具体例については後述する。

【0021】

状態遷移モデル合成システム１０は、抽出部１１、合成部１２および解析部１３を備える。状態遷移モデル合成システム１０は、プロセッサおよびメモリなどを含むコンピュータである。メモリは、ＲＯＭ（Ｒｅａｄ Ｏｎｌｙ Ｍｅｍｏｒｙ）およびＲＡＭ（Ｒａｎｄｏｍ Ａｃｃｅｓｓ Ｍｅｍｏｒｙ）などであり、プロセッサにより実行されるプログラムを記憶することができる。抽出部１１、合成部１２および解析部１３は、メモリに格納されたプログラムを実行するプロセッサなどによって実現される。

【0022】

例えば、状態遷移モデル合成システム１０は、１つの筐体からなるコンピュータ（装置）であってもよいし、状態遷移モデル合成システム１０が備える構成要素が複数のコンピュータに分散して配置されているシステムであってもよい。また、例えば、状態遷移モデル合成システム１０は、サーバによって実現されてもよい。状態遷移モデル合成システム１０がサーバによって実現される場合には、状態遷移モデル合成システム１０が備える構成要素は、１つのサーバに配置されていてもよいし、複数のサーバに分散して配置されていてもよい。

【0023】

抽出部１１は、複数の状態遷移モデル２０ａ～２０ｎのそれぞれから状態遷移に関する状態遷移情報を抽出する。抽出部１１の詳細については後述する。

【0024】

合成部１２は、抽出された状態遷移情報に基づいて複数の状態遷移モデル２０ａ～２０ｎを合成することで、合成状態遷移モデル３０を生成する。合成部１２の詳細については後述する。

【0025】

解析部１３は、合成部１２での合成の妥当性を解析する。解析部１３の詳細については後述する。

【0026】

以下では、複数の状態遷移モデル２０ａ～２０ｎが状態遷移モデル２０ａおよび２０ｂである場合の例を説明する。

【0027】

まず、状態遷移モデル２０ａおよび２０ｂについて説明する。

【0028】

図２Ａは、状態遷移モデル２０ａの一例を示す図である。

【0029】

状態遷移モデル２０ａには、３つの状態Ｓ１ａ、Ｓ２ａおよびＳ３ａならびに３つの状態遷移線Ｌ１２ａ、Ｌ２３ａおよびＬ３２ａが含まれており、状態遷移線Ｌ１２ａ、Ｌ２３ａおよびＬ３２ａが示す特定の条件が満たされた場合に、状態Ｓ１ａ、Ｓ２ａおよびＳ３ａ間で状態遷移が行われる。

【0030】

状態Ｓ１ａは、状態名が「Ａ１」であり、状態Ｓ１ａの記述内容は、「ｅｎｔｒｙ：」および「ＯｕｔＡ＝１；」となっている。状態Ｓ１ａでは、変数「ＯｕｔＡ」に１が代入される。

【0031】

状態Ｓ２ａは、状態名が「Ａ２」であり、状態Ｓ２ａの記述内容は、「ｅｎｔｒｙ：」、「ＯｕｔＡ＝２；」および「Ｃｏｍｍｏｎ＝１；」となっている。状態Ｓ２ａでは、変数「ＯｕｔＡ」に２が代入され、変数「Ｃｏｍｍｏｎ」に１が代入される。

【0032】

状態Ｓ３ａは、状態名が「Ａ３」であり、状態Ｓ３ａの記述内容は、「ｅｎｔｒｙ：」および「ＯｕｔＡ＝３；」となっている。状態Ｓ３ａでは、変数「ＯｕｔＡ」に３が代入される。

【0033】

状態遷移線Ｌ１２ａは、遷移元の状態が状態Ｓ１ａであり、遷移先の状態が状態Ｓ２ａであり、状態遷移線Ｌ１２ａの記述内容は「Ａ１＿Ａ２＝＝０」となっている。状態Ｓ１ａにおいて変数「Ａ１＿Ａ２」が０となった場合、状態Ｓ１ａから状態Ｓ２ａへの状態遷移が行われる。

【0034】

状態遷移線Ｌ２３ａは、遷移元の状態が状態Ｓ２ａであり、遷移先の状態が状態Ｓ３ａであり、状態遷移線Ｌ２３ａの記述内容は「Ａ２＿Ａ３＝＝１」となっている。状態Ｓ２ａにおいて変数「Ａ２＿Ａ３」が１となった場合、状態Ｓ２ａから状態Ｓ３ａへの状態遷移が行われる。

【0035】

状態遷移線Ｌ３２ａは、遷移元の状態が状態Ｓ３ａであり、遷移先の状態が状態Ｓ１ａであり、状態遷移線Ｌ３２ａの記述内容は「Ａ３＿Ａ１＝＝０」となっている。状態Ｓ３ａにおいて変数「Ａ３＿Ａ１」が０となった場合、状態Ｓ３ａから状態Ｓ１ａへの状態遷移が行われる。

【0036】

また、状態遷移モデル２０ａには、状態遷移処理に必要な定義データが対応付けられている。定義データは、状態遷移処理に用いられる変数または定数などの定義を示すデータである。

【0037】

図２Ｂは、図２Ａに示される状態遷移モデル２０ａの状態遷移処理に必要な定義データの一例を示す図である。

【0038】

図２Ｂに示されるように、状態遷移モデル２０ａには、状態遷移モデル２０ａの状態遷移処理に用いられる変数「Ａ１＿Ａ２」、「Ａ２＿Ａ３」、「Ａ３＿Ａ１」、「ＯｕｔＡ」および「Ｃｏｍｍｏｎ」のそれぞれの定義データが対応付けられている。例えば、これらの変数のうちの変数「Ａ１＿Ａ２」の定義データについて説明する。変数「Ａ１＿Ａ２」の定義データは、定義名が「Ａ１＿Ａ２」であり、当該定義データにおいて、変数「Ａ１＿Ａ２」の入出力のタイプが「入力」であり、変数「Ａ１＿Ａ２」のデータ型が「ｉｎｔ型」であり、変数「Ａ１＿Ａ２」に代入される値の範囲（つまり最小値および最大値）が「－１２７～１２８」と定義されている。

【0039】

図３Ａは、状態遷移モデル２０ｂの一例を示す図である。

【0040】

状態遷移モデル２０ｂには、３つの状態Ｓ２ｂ、Ｓ３ｂおよびＳ４ｂならびに３つの状態遷移線Ｌ２３ｂ、Ｌ２４ｂおよびＬ４２ｂが含まれており、状態遷移線Ｌ２３ｂ、Ｌ２４ｂおよびＬ４２ｂが示す特定の条件が満たされた場合に、状態Ｓ２ｂ、Ｓ３ｂおよびＳ４ｂ間で状態遷移が行われる。

【0041】

状態Ｓ２ｂは、状態名が「Ａ２」であり、状態Ｓ２ｂの記述内容は、「ｅｎｔｒｙ：」、「ＯｕｔＢ＝３；」および「Ｃｏｍｍｏｎ＝１；」となっている。状態Ｓ２ｂでは、変数「ＯｕｔＢ」に３が代入され、変数「Ｃｏｍｍｏｎ」に１が代入される。

【0042】

状態Ｓ３ｂは、状態名が「Ａ３」であり、状態Ｓ３ｂの記述内容は、「ｅｎｔｒｙ：」および「ＯｕｔＡ＝３；」となっている。状態Ｓ３ｂでは、変数「ＯｕｔＡ」に３が代入される。

【0043】

状態Ｓ４ｂは、状態名が「Ａ４」であり、状態Ｓ４ｂの記述内容は、「ｅｎｔｒｙ：」および「ＯｕｔＢ＝４；」となっている。状態Ｓ４ｂでは、変数「ＯｕｔＢ」に４が代入される。

【0044】

状態遷移線Ｌ２３ｂは、遷移元の状態が状態Ｓ２ｂであり、遷移先の状態が状態Ｓ３ｂであり、状態遷移線Ｌ２３ｂの記述内容は「Ａ２＿Ａ３＝＝４」となっている。状態Ｓ２ｂにおいて変数「Ａ２＿Ａ３」が４となった場合、状態Ｓ２ｂから状態Ｓ３ｂへの状態遷移が行われる。

【0045】

状態遷移線Ｌ２４ｂは、遷移元の状態が状態Ｓ２ｂであり、遷移先の状態が状態Ｓ４ｂであり、状態遷移線Ｌ２４ｂの記述内容は「Ａ２＿Ａ４＝＝５」となっている。状態Ｓ２ｂにおいて変数「Ａ２＿Ａ４」が５となった場合、状態Ｓ２ｂから状態Ｓ４ｂへの状態遷移が行われる。

【0046】

状態遷移線Ｌ４２ｂは、遷移元の状態が状態Ｓ４ｂであり、遷移先の状態が状態Ｓ２ｂであり、状態遷移線Ｌ４２ｂの記述内容は「Ａ４＿Ａ２＝＝６」となっている。状態Ｓ４ｂにおいて変数「Ａ４＿Ａ２」が６となった場合、状態Ｓ４ｂから状態Ｓ２ｂへの状態遷移が行われる。

【0047】

また、状態遷移モデル２０ｂには、状態遷移処理に必要な定義データが対応付けられている。

【0048】

図３Ｂは、図３Ａに示される状態遷移モデル２０ｂの状態遷移処理に必要な定義データの一例を示す図である。

【0049】

図３Ｂに示されるように、状態遷移モデル２０ｂには、状態遷移モデル２０ｂの状態遷移処理に用いられる変数「Ａ２＿Ａ３」、「Ａ２＿Ａ４」、「Ａ４＿Ａ２」、「ＯｕｔＡ」、「ＯｕｔＢ」および「Ｃｏｍｍｏｎ」のそれぞれの定義データが対応付けられている。例えば、これらの変数のうちの変数「Ａ２＿Ａ３」の定義データについて説明する。変数「Ａ２＿Ａ３」の定義データは、定義名が「Ａ２＿Ａ３」であり、当該定義データにおいて、変数「Ａ２＿Ａ３」の入出力のタイプが「入力」であり、変数「Ａ２＿Ａ３」のデータ型が「ｉｎｔ型」であり、変数「Ａ２＿Ａ３」に代入される値の範囲（つまり最小値および最大値）が「－１２７～１２８」と定義されている。

【0050】

次に、状態遷移モデル合成システム１０の動作の詳細について説明する。

【0051】

図４は、実施の形態に係る状態遷移モデル合成システム１０の動作の一例を示すフローチャートである。

【0052】

まず、抽出部１１は、状態遷移モデル２０ａおよび２０ｂのそれぞれから状態遷移に関する状態遷移情報を抽出する（ステップＳ１１）。

【0053】

例えば、抽出部１１は、状態遷移情報として、状態遷移モデル２０ａおよび２０ｂのそれぞれに含まれる複数の状態のそれぞれの識別子を抽出する。識別子は、例えば状態名である。なお、識別子は状態名に限らず、状態を識別できるものであれば特に限定されない。例えば、抽出部１１は、状態遷移モデル２０ａに含まれる状態Ｓ１ａ、Ｓ２ａおよびＳ３ａのそれぞれの状態名「Ａ１」、「Ａ２」および「Ａ３」を抽出し、状態遷移モデル２０ｂに含まれる状態Ｓ２ｂ、Ｓ３ｂおよびＳ４ｂのそれぞれの状態名「Ａ２」、「Ａ３」および「Ａ４」を抽出する。詳細は後述するが、これにより、状態遷移モデル２０ａおよび２０ｂのそれぞれに含まれる複数の状態のそれぞれの識別子を用いて、状態遷移モデル２０ａおよび２０ｂにおける状態の合成を行うことができる。

【0054】

また、例えば、抽出部１１は、状態遷移情報として、状態遷移モデル２０ａおよび２０ｂ間で識別子（状態名）が同一となっている状態のそれぞれに記述された共通の記述内容および固有の記述内容を抽出する。状態遷移モデル２０ａおよび２０ｂ間で状態名が同一となっている状態は、状態名が同一の「Ａ２」となっている状態Ｓ２ａおよびＳ２ｂと、状態名が同一の「Ａ３」となっている状態Ｓ３ａおよびＳ３ｂである。状態Ｓ２ａおよびＳ２ｂについて、状態Ｓ２ａおよびＳ２ｂの両方に記述されている「ｅｎｔｒｙ：」および「Ｃｏｍｍｏｎ＝１；」が共通の記述内容であり、状態Ｓ２ａにのみ記述されている「ＯｕｔＡ＝２；」、および、状態Ｓ２ｂにのみ記述されている「ＯｕｔＢ＝３；」が固有の記述内容である。状態Ｓ３ａおよびＳ３ｂについて、状態Ｓ３ａおよびＳ３ｂの両方に記述されている「ｅｎｔｒｙ：」および「ＯｕｔＡ＝３；」が共通の記述内容である。状態Ｓ３ａおよびＳ３ｂには、固有の記述内容は記述されていない。

【0055】

以上より、抽出部１１は、状態Ｓ２ａおよびＳ２ｂについて、共通の記述内容「ｅｎｔｒｙ：」および「Ｃｏｍｍｏｎ＝１；」、ならびに、固有の記述内容「ＯｕｔＡ＝２；」および「ＯｕｔＢ＝３；」を抽出する。また、抽出部１１は、状態Ｓ３ａおよびＳ３ｂについて、共通の記述内容「ｅｎｔｒｙ：」および「ＯｕｔＡ＝３；」を抽出する。

【0056】

また、例えば、抽出部１１は、状態遷移情報として、状態遷移モデル２０ａおよび２０ｂのそれぞれに含まれる複数の状態遷移線の記述内容を抽出する。例えば、抽出部１１は、状態遷移モデル２０ａに含まれる状態遷移線Ｌ１２ａ、Ｌ２３ａおよびＬ３２ａの記述内容「Ａ１＿Ａ２＝＝０」、「Ａ２＿Ａ３＝＝１」および「Ａ３＿Ａ１＝＝０」を抽出し、状態遷移モデル２０ｂに含まれる状態遷移線Ｌ２３ｂ、Ｌ２４ｂおよびＬ４２ｂの記述内容「Ａ２＿Ａ３＝＝４」、「Ａ２＿Ａ４＝＝５」および「Ａ４＿Ａ２＝＝６」を抽出する。詳細は後述するが、これにより、状態遷移モデル２０ａおよび２０ｂのそれぞれに含まれる複数の状態遷移線のそれぞれの記述内容を用いて、状態遷移モデル２０ａおよび２０ｂにおける状態遷移線の合成を行うことができる。

【0057】

また、例えば、抽出部１１は、状態遷移モデル２０ａおよび２０ｂ間で、定義名が共通の定義データおよび定義名が固有の定義データを抽出する。状態遷移モデル２０ａおよび２０ｂ間で定義名が共通の定義データは、定義名が「Ａ２＿Ａ３」、「ＯｕｔＡ」および「Ｃｏｍｍｏｎ」の定義データである。状態遷移モデル２０ａおよび２０ｂ間で定義名が固有の定義データは、状態遷移モデル２０ａについては定義名が「Ａ１＿Ａ２」および「Ａ３＿Ａ１」の定義データであり、状態遷移モデル２０ｂについては定義名が「Ａ２＿Ａ４」、「Ａ４＿Ａ２」および「ＯｕｔＢ」の定義データである。なお、抽出部１１は、状態遷移モデル２０ａおよび２０ｂ間で定義名が共通の定義データについて、状態遷移モデル２０ａの定義データを抽出してもよいし、状態遷移モデル２０ｂの定義データを抽出してもよい。詳細は後述するが、状態遷移モデル２０ａおよび２０ｂのそれぞれに含まれる定義データを抽出することで、状態遷移モデル２０ａおよび２０ｂにおける定義データの合成を行うことができる。

【0058】

以上より、抽出部１１は、例えば状態遷移モデル２０ａから定義名が共通の「Ａ２＿Ａ３」、「ＯｕｔＡ」および「Ｃｏｍｍｏｎ」となっている定義データを抽出し、状態遷移モデル２０ａから定義名が固有の「Ａ１＿Ａ２」および「Ａ３＿Ａ１」となっている定義データを抽出し、状態遷移モデル２０ｂから定義名が固有の「Ａ２＿Ａ４」、「Ａ４＿Ａ２」および「ＯｕｔＢ」となっている定義データを抽出する。なお、上述したように、抽出部１１は、例えば状態遷移モデル２０ｂから定義名が共通の「Ａ２＿Ａ３」、「ＯｕｔＡ」および「Ｃｏｍｍｏｎ」となっている定義データを抽出してもよい。

【0059】

次に、合成部１２は、抽出された状態遷移情報に基づいて状態遷移モデル２０ａおよび２０ｂを合成することで、合成状態遷移モデル３０を生成する（ステップＳ１２）。合成部１２の動作の詳細について、図５を用いて説明する。

【0060】

図５は、実施の形態に係る状態遷移モデル合成システム１０の状態遷移モデル２０ａおよび２０ｂの合成時の動作の一例を示すフローチャートである。

【0061】

まず、合成部１２は、状態遷移モデル２０ａおよび２０ｂにおける状態を合成する（ステップＳ２１）。状態の合成について、図６を用いて説明する。

【0062】

図６は、状態の合成を説明するための図である。図６には、状態の合成を説明するために、状態遷移モデル２０ａおよび２０ｂにおける複数の状態のみが合成されることで生成された合成状態遷移モデル３０を示している。つまり、図６に示される合成状態遷移モデル３０は、状態の合成の説明のために、複数の状態遷移線が含まれていないものとなっている。

【0063】

例えば、合成部１２は、抽出された共通の記述内容および固有の記述内容が記述された、同一の識別子（状態名）に対応する状態が合成状態遷移モデル３０に含まれるように、合成状態遷移モデル３０を生成する。

【0064】

上述したように、抽出された共通の記述内容は、状態遷移モデル２０ａおよび２０ｂ間で状態名が「Ａ２」で同一となっている状態Ｓ２ａおよびＳ２ｂのそれぞれに記述された記述内容「ｅｎｔｒｙ：」および「Ｃｏｍｍｏｎ＝１；」、ならびに、状態遷移モデル２０ａおよび２０ｂ間で状態名が「Ａ３」で同一となっている状態Ｓ３ａおよびＳ３ｂのそれぞれに記述された記述内容「ｅｎｔｒｙ：」および「ＯｕｔＡ＝３；」である。

【0065】

また、上述したように、抽出された固有の記述内容は、状態遷移モデル２０ａおよび２０ｂ間で状態名が「Ａ２」で同一となっている状態Ｓ２ａおよびＳ２ｂのうち、状態Ｓ２ａにのみ記述された「ＯｕｔＡ＝２；」および状態Ｓ２ｂにのみ記述された「ＯｕｔＢ＝３；」である。なお、状態遷移モデル２０ａおよび２０ｂ間で状態名が「Ａ３」で同一となっている状態Ｓ２ａおよびＳ２ｂには、固有の記述内容は記述されていないため抽出されていない。

【0066】

図６に示されるように、合成部１２は、状態遷移モデル２０ａおよび２０ｂ間で同一の状態名「Ａ２」に対応する状態Ｓ２ｃが合成状態遷移モデル３０に含まれるように、合成状態遷移モデル３０を生成する。状態Ｓ２ｃには、同一の状態名「Ａ２」の状態Ｓ２ａおよびＳ２ｂのそれぞれに記述された共通の記述内容「ｅｎｔｒｙ：」および「Ｃｏｍｍｏｎ＝１；」、ならびに、状態Ｓ２ａにのみ記述された固有の記述内容「ＯｕｔＡ＝２；」および状態Ｓ２ｂにのみ記述された固有の記述内容「ＯｕｔＢ＝３；」が記述されている。また、合成部１２は、状態遷移モデル２０ａおよび２０ｂ間で同一の状態名「Ａ３」に対応する状態Ｓ３ｃが合成状態遷移モデル３０に含まれるように、合成状態遷移モデル３０を生成する。状態Ｓ３ｃには、同一の状態名「Ａ３」の状態Ｓ３ａおよびＳ３ｂのそれぞれに記述された共通の記述内容「ｅｎｔｒｙ：」および「ＯｕｔＡ＝３；」が記述されている。

【0067】

このように、状態遷移モデル２０ａおよび２０ｂ間で識別子（状態名）が同じであっても、共通の記述内容に加えて固有の記述内容が含まれている状態が存在する場合がある。この場合には、合成状態遷移モデル３０に、共通の記述内容に加えて固有の記述内容が記述された状態が含まれるようにすることで、状態の合成を行うことができる。

【0068】

また、例えば、合成部１２は、状態遷移モデル２０ａおよび２０ｂのそれぞれの複数の状態のうち、識別子（状態名）が同一となっている状態が、他の状態遷移モデルには含まれていない固有の状態が合成状態遷移モデル３０に含まれるように、合成状態遷移モデル３０を生成する。

【0069】

例えば、状態遷移モデル２０ａにおける状態Ｓ１ａは、状態名が「Ａ１」であり、他の状態遷移モデル２０ｂには、状態名が「Ａ１」の状態は含まれていない。このため、状態遷移モデル２０ａにおける状態Ｓ１ａは、他の状態遷移モデル２０ｂには含まれていない固有の状態である。また、例えば、状態遷移モデル２０ｂにおける状態Ｓ４ｂは、状態名が「Ａ４」であり、他の状態遷移モデル２０ａには、状態名が「Ａ４」の状態は含まれていない。このため、状態遷移モデル２０ｂにおける状態Ｓ４ｂは、他の状態遷移モデル２０ａには含まれていない固有の状態である。

【0070】

図６に示されるように、合成部１２は、状態遷移モデル２０ａおよび２０ｂ間で固有の状態Ｓ１ａおよびＳ４ｂが合成状態遷移モデル３０に含まれるように、合成状態遷移モデル３０を生成する。

【0071】

このように、状態遷移モデル２０ａおよび２０ｂ間で１つしか存在しない識別子（状態名）の状態が存在する場合がある。この場合には、合成状態遷移モデル３０に、当該状態がそのまま含まれるようにすることで、状態の合成を行うことができる。

【0072】

図５での説明に戻り、合成部１２は、状態遷移モデル２０ａおよび２０ｂにおける状態遷移線を合成する（ステップＳ２２）。状態遷移線の合成について、図７を用いて説明する。

【0073】

図７は、状態遷移線の合成を説明するための図である。図７には、状態遷移線の合成を説明するために、状態遷移モデル２０ａおよび２０ｂにおける複数の状態遷移線のみが合成されることで生成された合成状態遷移モデル３０を示しており、また、状態遷移線の遷移元の状態および遷移先の状態がわかるように、状態名だけが記載された状態を破線で示している。

【0074】

例えば、合成部１２は、状態遷移モデル２０ａおよび２０ｂ間で、遷移元の状態および遷移先の状態が同一となっている状態遷移線のそれぞれの記述内容が同一である場合、当該状態遷移線のうちの１つが合成状態遷移モデル３０に含まれるように、合成状態遷移モデル３０を生成する。

【0075】

また、例えば、合成部１２は、状態遷移モデル２０ａおよび２０ｂ間で、遷移元の状態および遷移先の状態が同一となっている状態遷移線のそれぞれの記述内容が異なる場合、当該状態遷移線のそれぞれが合成状態遷移モデル３０に含まれるように、合成状態遷移モデル３０を生成する。

【0076】

なお、遷移元の状態および遷移先の状態が同一とは、遷移元の状態の識別子（状態名）および遷移先の状態の識別子（状態名）が同一であることを意味する。

【0077】

例えば、状態遷移モデル２０ａにおける状態遷移線Ｌ２３ａおよび状態遷移モデル２０ｂにおける状態遷移線Ｌ２３ｂは、遷移元の状態および遷移先の状態が同一となっている状態遷移線である。状態遷移線Ｌ２３ａの記述内容は「Ａ２＿Ａ３＝＝１」であり、状態遷移線Ｌ２３ｂの記述内容は「Ａ２＿Ａ３＝＝４」であるため、状態遷移線Ｌ２３ａおよびＬ２３ｂのそれぞれの記述内容は異なっている。

【0078】

このため、図７に示されるように、合成部１２は、状態遷移線Ｌ２３ａおよびＬ２３ｂのそれぞれが合成状態遷移モデル３０に含まれるように、合成状態遷移モデル３０を生成する。

【0079】

このように、状態遷移モデル２０ａおよび２０ｂ間で、遷移元の状態および遷移先の状態が同一で、記述内容が異なる状態遷移線が存在する場合がある。この場合には、合成状態遷移モデル３０に、これらの状態遷移線のそれぞれが含まれるようにすることで、状態遷移線の合成を行うことができる。

【0080】

なお、図示していないが、状態遷移モデル２０ａおよび２０ｂ間で、遷移元の状態および遷移先の状態が同一で、記述内容が同一の状態遷移線が存在する場合には、合成部１２は、状態遷移モデル２０ａおよび２０ｂの当該状態遷移線のうちの１つが合成状態遷移モデル３０に含まれるように、合成状態遷移モデル３０を生成する。

【0081】

このように、状態遷移モデル２０ａおよび２０ｂ間で、遷移元の状態および遷移先の状態が同一で、記述内容が同一の状態遷移線が存在する場合がある。この場合には、合成状態遷移モデル３０に、これらの状態遷移線のうちの１つが含まれるようにすることで、状態遷移線の合成を行うことができる。

【0082】

また、例えば、合成部１２は、状態遷移モデル２０ａおよび２０ｂのそれぞれの複数の状態遷移線のうち、遷移元の状態および遷移先の状態が同一となっている状態遷移線が、他の状態遷移モデルには含まれていない状態遷移線が合成状態遷移モデル３０に含まれるように、合成状態遷移モデル３０を生成する。

【0083】

例えば、状態遷移モデル２０ａにおける状態遷移線Ｌ１２ａは、遷移元の状態の状態名がＡ１であり、遷移先の状態の状態名がＡ２であり、他の状態遷移モデル２０ｂには、遷移元の状態の状態名がＡ１であり、遷移先の状態の状態名がＡ２である状態遷移線は含まれていない。このため、状態遷移モデル２０ａにおける状態遷移線Ｌ１２ａは、状態遷移線Ｌ１２ａと遷移元の状態および遷移先の状態が同一となっている状態遷移線が他の状態遷移モデル２０ｂには含まれていない固有の状態遷移線である。状態遷移モデル２０ａにおける状態遷移線Ｌ３２ａ、ならびに、状態遷移モデル２０ｂにおける状態遷移線Ｌ２４ｂおよびＬ４２ｂについても同様に固有の状態遷移線である。

【0084】

図７に示されるように、合成部１２は、状態遷移モデル２０ａおよび２０ｂ間で固有の状態遷移線Ｌ１２ａ、Ｌ３２ａ、Ｌ２４ｂおよびＬ４２ｂが合成状態遷移モデル３０に含まれるように、合成状態遷移モデル３０を生成する。

【0085】

このように、状態遷移モデル２０ａおよび２０ｂ間で、遷移元の状態および遷移先の状態が同一となっている状態遷移線が他の状態遷移モデルに存在しない状態遷移線が存在する場合がある。この場合には、合成状態遷移モデル３０に、当該状態遷移線がそのまま含まれるようにすることで、状態遷移線の合成を行うことができる。

【0086】

図５での説明に戻り、合成部１２は、状態遷移モデル２０ａおよび２０ｂに対応付けられた定義データを合成する（ステップＳ２３）。定義データの合成について、図８を用いて説明する。

【0087】

図８は、定義データの合成を説明するための図である。図８には、合成された定義データが示されている。

【0088】

合成部１２は、抽出された定義名が共通の定義データおよび定義名が固有の定義データが合成状態遷移モデル３０に対応付けられるように、合成状態遷移モデル３０を生成する。

【0089】

上述したように、抽出された定義名が共通の定義データは、定義名が「Ａ２＿Ａ３」、「ＯｕｔＡ」および「Ｃｏｍｍｏｎ」となっている定義データである。また、抽出された定義名が固有の定義データは、定義名が「Ａ１＿Ａ２」、「Ａ３＿Ａ１」、「Ａ２＿Ａ４」、「Ａ４＿Ａ２」および「ＯｕｔＢ」となっている定義データである。

【0090】

図８に示されるように、合成部１２は、定義名が「Ａ１＿Ａ２」、「Ａ２＿Ａ３」、「Ａ３＿Ａ１」、「ＯｕｔＡ」、「Ｃｏｍｍｏｎ」、「Ａ２＿Ａ４」、「Ａ４＿Ａ２」および「ＯｕｔＢ」のこれらの定義データが合成状態遷移モデル３０に対応付けられるように、合成状態遷移モデル３０を生成する。

【0091】

このように、状態遷移モデル２０ａおよび２０ｂ間で、定義名が共通の定義データおよび固有の定義データを合成状態遷移モデル３０に対応付けることで、定義データの合成を行うことができる。

【0092】

図９は、生成された合成状態遷移モデル３０の一例を示す図である。

【0093】

合成部１２は、ステップＳ２１からステップＳ２３までの処理を行うことで、図９に示される合成状態遷移モデル３０を生成することができる。なお、ステップＳ２１からステップＳ２３までの処理が行われる順序は、特に限定されない。図９に示される合成状態遷移モデル３０には、図８に示される定義データが対応付けられているため、合成部１２での合成が妥当であれば、合成状態遷移モデル３０において状態遷移処理を行うことができる。

【0094】

図４での説明に戻り、解析部１３は、合成部１２での合成の妥当性を解析する（ステップＳ１３）。例えば、解析部１３は、合成状態遷移モデル３０に対応付けられた定義名が共通の定義データと、状態遷移モデル２０ａおよび２０ｂのそれぞれに対応付けられた定義名が共通の定義データとを比較することで、合成部１２での合成の妥当性を解析する。

【0095】

状態遷移モデル２０ａおよび２０ｂ間で定義名が共通の定義データには、定義名が同じであっても、内容が異なるものが存在する。例えば、定義名が「Ｃｏｍｍｏｎ」の定義データについて、状態遷移モデル２０ａに対応付けられた定義データでは、データ型が「ｉｎｔ型」であり、最小値～最大値が「－１２７～１２８」であるが、状態遷移モデル２０ｂに対応付けられた定義データでは、データ型が「ｄｏｕｂｌｅ型」であり、最小値～最大値が「－６５５３５～６５５３６」となっている。

【0096】

このため、合成前の状態遷移モデル２０ａおよび２０ｂのそれぞれに対応付けられた定義名が共通の定義データと、合成後の合成状態遷移モデル３０に対応付けられた定義名が共通の定義データとを比較することで、合成状態遷移モデル３０に対応付けられた定義データに矛盾があるか否かを判定することができる。上述したように、合成状態遷移モデル３０に対応付けられた定義名が共通の定義データは、状態遷移モデル２０ａおよび２０ｂのうちの１つ（例えば状態遷移モデル２０ａ）に対応付けられた定義名が共通の定義データである。このため、状態遷移モデル２０ａおよび２０ｂ間で定義名が同じであっても、内容が異なる定義データが存在する場合には、合成状態遷移モデル３０に対応付けられた定義名が共通の定義データと、状態遷移モデル２０ａおよび２０ｂのうちのいずれかに対応付けられた定義名が共通の定義データとで差異が生じることになる。つまり、合成状態遷移モデル３０に対応付けられた定義データに矛盾が生じる。したがって、矛盾がある場合には、合成が妥当でないと判定することができ、矛盾がない場合には、合成が妥当であると判定することができる。

【0097】

例えば、解析部１３は、合成状態遷移モデル３０に対応付けられた定義名が共通の定義データにおける変数の最大値または最小値と、状態遷移モデル２０ａおよび２０ｂのそれぞれに対応付けられた定義名が共通の定義データにおける変数の最大値または最小値とが異なっているか否かに基づいて、合成部１２での合成の妥当性を解析してもよい。

【0098】

また、例えば、解析部１３は、合成状態遷移モデル３０に対応付けられた定義名が共通の定義データにおける定数の定数値と、状態遷移モデル２０ａおよび２０ｂのそれぞれに対応付けられた定義名が共通の定義データにおける定数の定数値とが異なっているか否かに基づいて、合成部１２での合成の妥当性を解析してもよい。

【0099】

また、例えば、解析部１３は、合成状態遷移モデル３０に対応付けられた定義名が共通の定義データにおける変数または定数のデータ型と、状態遷移モデル２０ａおよび２０ｂのそれぞれに対応付けられた定義名が共通の定義データにおける変数または定数のデータ型とが異なっているか否かに基づいて、合成部１２での合成の妥当性を解析してもよい。

【0100】

このように、定義データにおける変数の最大値または最小値の比較によって、または、定義データにおける定数の定数値の比較によって、または、定義データにおける変数または定数のデータ型の比較によって、合成の妥当性を解析することができる。

【0101】

以上説明した通り、大規模な状態遷移モデルを開発する場合、人為的ミスが発生しやすく、また、不具合の発見が困難となっているため、大規模な状態遷移モデルを要件ごとに細分化し、細分化された複数の状態遷移モデルによって、制御ロジックの妥当性の確認および検証などを行うことが考えられる。ただし、モデルベース開発において状態遷移モデルからコードを生成する際には、細分化される前の大規模な状態遷移モデルからコードを生成する必要がある。そこで、本開示では、細分化された状態遷移モデル２０ａおよび２０ｂのそれぞれの状態遷移に関する状態遷移情報を用いて状態遷移モデル２０ａおよび２０ｂを合成するため、大規模な合成状態遷移モデル３０を生成することができ、大規模な合成状態遷移モデル３０からコードを生成することができる。なお、合成の妥当性も解析することができるため、細分化された状態遷移モデル２０ａおよび２０ｂの妥当性のある合成によって、大規模な合成状態遷移モデル３０を生成することができる。

【0102】

このように、人為的ミスが発生しにくく、また、不具合を発見しやすい細分化された状態遷移モデル２０ａおよび２０ｂによって制御ロジックの妥当性の確認および検証などを行った上で、細分化された状態遷移モデル２０ａおよび２０ｂを合成して、大規模な合成状態遷移モデル３０を生成することができる。したがって、大規模な状態遷移モデルの開発における生産性を向上することができる。

【0103】

（その他の実施の形態）
以上、本開示の一つまたは複数の態様に係る状態遷移モデル合成システム１０について、実施の形態に基づいて説明したが、本開示は、これらの実施の形態に限定されるものではない。本開示の趣旨を逸脱しない限り、当業者が思いつく各種変形を各実施の形態に施したものや、異なる実施の形態における構成要素を組み合わせて構築される形態も、本開示の一つまたは複数の態様の範囲内に含まれてもよい。

【0104】

例えば、本開示は、状態遷移モデル合成システム１０として実現できるだけでなく、状態遷移モデル合成システム１０を構成する構成要素が行うステップ（処理）を含む状態遷移モデル合成方法として実現できる。

【0105】

状態遷移モデル合成方法は、状態遷移モデル合成システム１０により実行される状態遷移モデル合成方法であって、図４に示されるように、複数の状態遷移モデルのそれぞれから状態遷移に関する状態遷移情報を抽出する抽出ステップ（ステップＳ１１）と、抽出された状態遷移情報に基づいて複数の状態遷移モデルを合成することで、合成状態遷移モデルを生成する合成ステップ（ステップＳ１２）と、合成ステップでの合成の妥当性を解析する解析ステップ（ステップＳ１３）と、を含む。

【0106】

例えば、本開示は、状態遷移モデル合成方法に含まれるステップを、コンピュータ（プロセッサ）に実行させるためのプログラムとして実現できる。さらに、本開示は、そのプログラムを記録したＣＤ－ＲＯＭ等である非一時的なコンピュータ読み取り可能な記録媒体として実現できる。

【0107】

例えば、本開示が、プログラム（ソフトウェア）で実現される場合には、コンピュータのＣＰＵ、メモリおよび入出力回路などのハードウェア資源を利用してプログラムが実行されることによって、各ステップが実行される。つまり、ＣＰＵがデータをメモリまたは入出力回路などから取得して演算したり、演算結果をメモリまたは入出力回路などに出力したりすることによって、各ステップが実行される。

【0108】

なお、上記実施の形態において、状態遷移モデル合成システム１０に含まれる各構成要素は、専用のハードウェアで構成されるか、各構成要素に適したソフトウェアプログラムを実行することによって実現されてもよい。各構成要素は、ＣＰＵまたはプロセッサなどのプログラム実行部が、ハードディスクまたは半導体メモリなどの記録媒体に記録されたソフトウェアプログラムを読み出して実行することによって実現されてもよい。

【0109】

上記実施の形態に係る状態遷移モデル合成システム１０の機能の一部または全ては典型的には集積回路であるＬＳＩとして実現される。これらは個別に１チップ化されてもよいし、一部または全てを含むように１チップ化されてもよい。また、集積回路化はＬＳＩに限るものではなく、専用回路または汎用プロセッサで実現してもよい。ＬＳＩ製造後にプログラムすることが可能なＦＰＧＡ（Ｆｉｅｌｄ Ｐｒｏｇｒａｍｍａｂｌｅ Ｇａｔｅ Ａｒｒａｙ）、またはＬＳＩ内部の回路セルの接続や設定を再構成可能なリコンフィギュラブル・プロセッサを利用してもよい。

【0110】

さらに、半導体技術の進歩または派生する別技術によりＬＳＩに置き換わる集積回路化の技術が登場すれば、当然、その技術を用いて、状態遷移モデル合成システム１０に含まれる各構成要素の集積回路化が行われてもよい。

【0111】

その他、実施の形態に対して当業者が思いつく各種変形を施して得られる形態、本開示の趣旨を逸脱しない範囲で各実施の形態における構成要素および機能を任意に組み合わせることで実現される形態も本開示に含まれる。

【0112】

（付記）
以上の実施の形態の記載により、下記の技術が開示される。

【0113】

（技術１）複数の状態遷移モデルのそれぞれから状態遷移に関する状態遷移情報を抽出する抽出部と、抽出された前記状態遷移情報に基づいて前記複数の状態遷移モデルを合成することで、合成状態遷移モデルを生成する合成部と、前記合成部での合成の妥当性を解析する解析部と、を備える、状態遷移モデル合成システム。

【0114】

大規模な状態遷移モデルを開発する場合、人為的ミスが発生しやすく、また、不具合の発見が困難となっているため、大規模な状態遷移モデルを要件ごとに細分化し、細分化された複数の状態遷移モデルによって、制御ロジックの妥当性の確認および検証などを行うことが考えられる。ただし、モデルベース開発において状態遷移モデルからコードを生成する際には、細分化される前の大規模な状態遷移モデルからコードを生成する必要がある。そこで、本開示では、細分化された複数の状態遷移モデルのそれぞれの状態遷移に関する状態遷移情報を用いて複数の状態遷移モデルを合成するため、大規模な合成状態遷移モデルを生成することができ、大規模な合成状態遷移モデルからコードを生成することができる。なお、合成の妥当性も解析することができるため、細分化された複数の状態遷移モデルの妥当性のある合成によって、大規模な合成状態遷移モデルを生成することができる。

【0115】

このように、人為的ミスが発生しにくく、また、不具合を発見しやすい細分化された複数の状態遷移モデルによって制御ロジックの妥当性の確認および検証などを行った上で、細分化された複数の状態遷移モデルを合成して、大規模な合成状態遷移モデルを生成することができる。したがって、大規模な状態遷移モデルの開発における生産性を向上することができる。

【0116】

（技術２）前記複数の状態遷移モデルのそれぞれには、複数の状態が含まれ、前記抽出部は、前記状態遷移情報として、前記複数の状態のそれぞれの識別子を抽出する、技術１に記載の状態遷移モデル合成システム。

【0117】

これによれば、複数の状態遷移モデルのそれぞれに含まれる複数の状態のそれぞれの識別子を用いて、状態遷移モデルにおける状態の合成を行うことができる。

【0118】

（技術３）前記抽出部は、前記状態遷移情報として、前記複数の状態遷移モデル間で前記識別子が同一となっている状態のそれぞれに記述された共通の記述内容および固有の記述内容を抽出し、前記合成部は、前記共通の記述内容および前記固有の記述内容が記述された、同一の前記識別子に対応する状態が前記合成状態遷移モデルに含まれるように、前記合成状態遷移モデルを生成する、技術２に記載の状態遷移モデル合成システム。

【0119】

複数の状態遷移モデル間で識別子が同じであっても、共通の記述内容に加えて固有の記述内容が含まれている状態が存在する場合がある。この場合には、合成状態遷移モデルに、共通の記述内容に加えて固有の記述内容が記述された状態が含まれるようにすることで、状態の合成を行うことができる。

【0120】

（技術４）前記合成部は、前記複数の状態遷移モデルのそれぞれの前記複数の状態のうち、前記識別子が同一となっている状態が、他の状態遷移モデルには含まれていない固有の状態が前記合成状態遷移モデルに含まれるように、前記合成状態遷移モデルを生成する、技術２または３に記載の状態遷移モデル合成システム。

【0121】

複数の状態遷移モデル間で１つしか存在しない識別子の状態が存在する場合がある。この場合には、合成状態遷移モデルに、当該状態がそのまま含まれるようにすることで、状態の合成を行うことができる。

【0122】

（技術５）前記複数の状態遷移モデルのそれぞれには、複数の状態、および、前記複数の状態間を結ぶ複数の状態遷移線が含まれ、前記抽出部は、前記状態遷移情報として、前記複数の状態遷移線の記述内容を抽出する、技術１～４のいずれかに記載の状態遷移モデル合成システム。

【0123】

これによれば、複数の状態遷移モデルのそれぞれに含まれる複数の状態遷移線のそれぞれの記述内容を用いて、状態遷移モデルにおける状態遷移線の合成を行うことができる。

【0124】

（技術６）前記合成部は、前記複数の状態遷移モデル間で、遷移元の状態および遷移先の状態が同一となっている状態遷移線のそれぞれの記述内容が同一である場合、当該状態遷移線のうちの１つが前記合成状態遷移モデルに含まれるように、前記合成状態遷移モデルを生成する、技術５に記載の状態遷移モデル合成システム。

【0125】

複数の状態遷移モデル間で、遷移元の状態および遷移先の状態が同一で、記述内容が同一の状態遷移線が存在する場合がある。この場合には、合成状態遷移モデルに、これらの状態遷移線のうちの１つが含まれるようにすることで、状態遷移線の合成を行うことができる。

【0126】

（技術７）前記合成部は、前記複数の状態遷移モデル間で、遷移元の状態および遷移先の状態が同一となっている状態遷移線のそれぞれの記述内容が異なる場合、当該状態遷移線のそれぞれが前記合成状態遷移モデルに含まれるように、前記合成状態遷移モデルを生成する、技術５または６に記載の状態遷移モデル合成システム。

【0127】

複数の状態遷移モデル間で、遷移元の状態および遷移先の状態が同一で、記述内容が異なる状態遷移線が存在する場合がある。この場合には、合成状態遷移モデルに、これらの状態遷移線のそれぞれが含まれるようにすることで、状態遷移線の合成を行うことができる。

【0128】

（技術８）前記合成部は、前記複数の状態遷移モデルのそれぞれの前記複数の状態遷移線のうち、遷移元の状態および遷移先の状態が同一となっている状態遷移線が、他の状態遷移モデルには含まれていない固有の状態遷移線が前記合成状態遷移モデルに含まれるように、前記合成状態遷移モデルを生成する、技術５～７のいずれかに記載の状態遷移モデル合成システム。

【0129】

複数の状態遷移モデル間で、遷移元の状態および遷移先の状態が同一となっている状態遷移線が他の状態遷移モデルに存在しない状態遷移線が存在する場合がある。この場合には、合成状態遷移モデルに、当該状態遷移線がそのまま含まれるようにすることで、状態遷移線の合成を行うことができる。

【0130】

（技術９）前記複数の状態遷移モデルのそれぞれには、状態遷移処理に必要な定義データが対応付けられており、前記抽出部は、前記状態遷移情報として、前記定義データを抽出する、技術１～８のいずれかに記載の状態遷移モデル合成システム。

【0131】

これによれば、複数の状態遷移モデルのそれぞれに含まれる定義データを抽出することで、状態遷移モデルにおける定義データの合成を行うことができる。

【0132】

（技術１０）前記抽出部は、前記複数の状態遷移モデル間で、定義名が共通の前記定義データおよび定義名が固有の前記定義データを抽出し、前記合成部は、前記共通の前記定義データおよび前記固有の前記定義データが前記合成状態遷移モデルに対応付けられるように、前記合成状態遷移モデルを生成する、技術９に記載の状態遷移モデル合成システム。

【0133】

これによれば、複数の状態遷移モデル間で、定義名が共通の定義データおよび定義名が固有の定義データを合成状態遷移モデルに対応付けることで、定義データの合成を行うことができる。

【0134】

（技術１１）前記解析部は、前記合成状態遷移モデルに対応付けられた前記共通の前記定義データと、前記複数の状態遷移モデルのそれぞれに対応付けられた前記共通の前記定義データとを比較することで、前記合成部での合成の妥当性を解析する、技術１０に記載の状態遷移モデル合成システム。

【0135】

複数の状態遷移モデル間で共通の定義データには、定義名が同じであっても、内容が異なるものが存在する。このため、合成前の複数の状態遷移モデルのそれぞれに対応付けられた定義名が共通の定義データと、合成後の合成状態遷移モデルに対応付けられた定義名が共通の定義データとを比較することで、合成状態遷移モデルに対応付けられた定義データに矛盾があるか否かを判定することができる。矛盾がある場合には、合成が妥当でないと判定することができ、矛盾がない場合には、合成が妥当であると判定することができる。

【0136】

（技術１２）前記解析部は、前記合成状態遷移モデルに対応付けられた前記共通の前記定義データにおける変数の最大値または最小値と、前記複数の状態遷移モデルのそれぞれに対応付けられた前記共通の前記定義データにおける変数の最大値または最小値とが異なっているか否かに基づいて、前記合成部での合成の妥当性を解析する、技術１１に記載の状態遷移モデル合成システム。

【0137】

例えば、定義データにおける変数の最大値または最小値の比較によって、合成の妥当性を解析することができる。

【0138】

（技術１３）前記解析部は、前記合成状態遷移モデルに対応付けられた前記共通の前記定義データにおける定数の定数値と、前記複数の状態遷移モデルのそれぞれに対応付けられた前記共通の前記定義データにおける定数の定数値とが異なっているか否かに基づいて、前記合成部での合成の妥当性を解析する、技術１１または１２に記載の状態遷移モデル合成システム。

【0139】

例えば、定義データにおける定数の定数値の比較によって、合成の妥当性を解析することができる。

【0140】

（技術１４）前記解析部は、前記合成状態遷移モデルに対応付けられた前記共通の前記定義データにおける変数または定数のデータ型と、前記複数の状態遷移モデルのそれぞれに対応付けられた前記共通の前記定義データにおける変数または定数のデータ型とが異なっているか否かに基づいて、前記合成部での合成の妥当性を解析する、技術１１～１３のいずれかに記載の状態遷移モデル合成システム。

【0141】

例えば、定義データにおける変数または定数のデータ型の比較によって、合成の妥当性を解析することができる。

【0142】

（技術１５）状態遷移モデル合成システムにより実行される状態遷移モデル合成方法であって、複数の状態遷移モデルのそれぞれから状態遷移に関する状態遷移情報を抽出する抽出ステップと、抽出された前記状態遷移情報に基づいて前記複数の状態遷移モデルを合成することで、合成状態遷移モデルを生成する合成ステップと、前記合成ステップでの合成の妥当性を解析する解析ステップと、を含む、状態遷移モデル合成方法。

【0143】

これによれば、大規模な状態遷移モデルの開発における生産性を向上することができる状態遷移モデル合成方法を提供することができる。

【0144】

（技術１６）技術１５に記載の状態遷移モデル合成方法をコンピュータに実行させるためのプログラム。

【0145】

これによれば、大規模な状態遷移モデルの開発における生産性を向上することができるプログラムを提供することができる。

【産業上の利用可能性】

【0146】

本開示は、モデルベース開発におけるモデルの動作挙動と、モデルから自動生成されたコードとの等価性の検証を行うためのシステムなどに適用できる。

【符号の説明】

【0147】

１０ 状態遷移モデル合成システム
１１ 抽出部
１２ 合成部
１３ 解析部
２０ａ、２０ｂ、２０ｎ 状態遷移モデル
３０ 合成状態遷移モデル
Ｓ１ａ、Ｓ２ａ、Ｓ３ａ、Ｓ２ｂ、Ｓ３ｂ、Ｓ４ｂ、Ｓ２ｃ、Ｓ３ｃ 状態
Ｌ１２ａ、Ｌ２３ａ、Ｌ３２ａ、Ｌ２３ｂ、Ｌ２４ｂ、Ｌ４２ｂ 状態遷移線

【図1】

【図2A】

【図2B】

【図3A】

【図3B】

【図4】

【図5】

【図6】

【図7】

【図8】

【図9】