(57)【要約】  ＵＭＬモデルが入力されると、ＵＭＬモデルに対してモデル検査を実行し、ＵＭＬモデルに対する検査結果を出力するモデル検査装置であって、モデル検査装置は、ＵＭＬモデルから、モデル検査用言語で記述されたモデル検査入力モデルと、モデル検査の際のオプションを示す検査設定ファイルとを生成するモデル検査入力生成手段と、モデル検査入力生成手段が生成したモデル検査入力モデルと検査設定ファイルとに基づいてモデル検査を実行するモデル検査実行手段とを備えている。
2012049816.tif 000002
【特許請求の範囲】
【請求項１】
ＵＭＬモデルが入力されると、前記ＵＭＬモデルに対してモデル検査を実行し、前記ＵＭＬモデルに対する検査結果を出力するモデル検査装置であって、
前記ＵＭＬモデルから、モデル検査用言語で記述されたモデル検査入力モデルと、モデル検査の際のオプションを示す検査設定ファイルとを生成するモデル検査入力生成手段と、
前記モデル検査入力生成手段が生成した前記モデル検査入力モデルと検査設定ファイルとに基づいてモデル検査を実行するモデル検査実行手段とを
備えたことを特徴とするモデル検査装置。
【請求項２】
モデル検査入力生成手段は、あらかじめ定義された複数のプロファイルのうちのいずれかに依存して記述されたＵＭＬモデルから、モデル検査入力モデルと検査設定ファイルとを生成する
請求項１記載のモデル検査装置。
【請求項３】
所定の規則を含みプロファイルごとにあらかじめ定められたプロファイル変換規則を記憶するプロファイル変換規則記憶手段を備え、
モデル検査入力生成手段は、ＵＭＬモデルがいずれのプロファイルに依存しているかを特定し、前記プロファイル変換規則記憶手段から、特定したプロファイルに対応するプロファイル変換規則を参照して、モデル検査入力モデルと検査設定ファイルとを生成する
請求項２記載のモデル検査装置。
【請求項４】
プロファイルとプロファイル変換規則とを対応付けたプロファイル変換対応表を記憶するプロファイル変換対応表記憶手段を備え、
モデル検査入力生成手段は、前記プロファイル変換対応表を参照して、モデル検査入力モデルと検査設定ファイルとを生成する際に参照するプロファイル変換規則を決定する
請求項３記載のモデル検査装置。
【請求項５】
モデル検査入力生成手段は、ＵＭＬモデルの構成要素ごとに、参照するプロファイル変換規則に含まれる所定の規則に従って変換処理を行い、モデル検査入力モデルを生成する
請求項３又は請求項４記載のモデル検査装置。
【請求項６】
ＵＭＬモデルが入力されると、前記ＵＭＬモデルに対してモデル検査を実行し、前記ＵＭＬモデルに対する検査結果を出力するモデル検査方法であって、
前記ＵＭＬモデルから、モデル検査用言語で記述されたモデル検査入力モデルと、モデル検査の際のオプションを示す検査設定ファイルとを生成し、
生成した前記モデル検査入力モデルと検査設定ファイルとに基づいてモデル検査を実行する
ことを特徴とするモデル検査方法。
【請求項７】
ＵＭＬモデルが入力されると、前記ＵＭＬモデルに対してモデル検査を実行し、前記ＵＭＬモデルに対する検査結果を出力させるためのモデル検査プログラムであって、
コンピュータに、
前記ＵＭＬモデルから、モデル検査用言語で記述されたモデル検査入力モデルと、モデル検査の際のオプションを示す検査設定ファイルとを生成するモデル検査入力生成処理と、
生成した前記モデル検査入力モデルと検査設定ファイルとに基づいてモデル検査を実行するモデル検査実行処理とを
実行させるためのモデル検査プログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、システム及びソフトウェアをモデル検査技術を利用して検証するモデル検査装置、モデル検査方法及びモデル検査プログラムに関し、特にシステム及びソフトウェアのＵＭＬで記述された設計の検証に用いるモデル検査装置、モデル検査方法及びモデル検査プログラムに関する。
【背景技術】
【０００２】
モデル検査技術を用いると、モデル検査専用言語を用いて、作成されたモデルが与えられた性質を満たすかどうかを検証することができる。通常の設計では、モデリング言語ＵＭＬ（Ｕｎｉｆｉｅｄ  Ｍｏｄｅｌｉｎｇ  Ｌａｎｇｕａｇｅ）を用いてモデルを設計することが多い。しかし、ＵＭＬはモデル検査専用言語とは異なる言語であるので、直ちにモデル検査技術を用いてモデルを検証することはできない。そのため、ＵＭＬで記述されたモデル（以下、ＵＭＬモデルともいう）をモデル検査専用言語に変換する等を行った後にモデルを検査する方法が知られている。【０００３】
こうしたモデル検査装置の一例が、特許文献１に記載されている。この装置は、プロセスの構造を表わすクラス図と、そのクラスの状態遷移を表わすステートマシン図とにより記述されたモデルを、モデル検査技術により検証する。この装置は、モデル情報記憶手段と、検査対象モデル設定手段と、検査実行手段とを備えている。【０００４】
モデル情報記憶手段は、プロセスの構造を表すクラスと、そのクラスの状態遷移を表すステートマシンとによるシステムモデルを表すモデル情報を記憶する。また、検査対象モデル設定手段は、モデル情報記憶手段に記憶されているクラスに対応付け可能なステートマシンのうち特定のステートマシンの選択を受け付けて、その選択された特定のステートマシンとクラスとを組み合わせた検査対象モデルを設定する。また、検査実行手段は、設定された検査対象モデルを表す検査対象モデル情報が、予め定められた検査式を満たすか否かの検査を実行する。
【先行技術文献】
【特許文献】
【０００５】
【特許文献１】特開２００９−２２３７１１号公報
【発明の概要】
【発明が解決しようとする課題】
【０００６】
第１の問題点は、モデル検査の対象となる（ツール内部で生成される）モデルやモデル検査の際の検査オプションに柔軟性がなく、適切な検査ができない可能性があることである。【０００７】
通常の設計で用いられるＵＭＬで記述されたモデルは、抽象化されたものであり、同じモデルが異なる意味を持つ場合がある。例えば、分析フェーズで作成されるモデルと設計フェーズで作成されるモデルとでは、同じモデル要素（例えば「クラス」）が異なる意味を持つ場合がある。また、開発のフェーズは同じでも、対象ドメインが異なれば、同じモデル（例えば同じステートマシン図）が異なる意味を持つ場合がある。【０００８】
モデルの意味が異なれば、本来は意味の違いに応じて異なる検査をしなければならない。そのため、ＵＭＬモデルにおいて同じモデル要素であっても、モデル検査の対象となるモデル検査専用言語での記述を異ならせることが好ましい。また、モデル検査の際に指定する検査対処オプションも異ならせることが好ましい。【０００９】
しかし、特許文献１で示されるような装置では、ＵＭＬモデルから、予め定められたモデル検査専用言語で記述したモデルおよび検査オプションを作成する。そのため、生成する検査用のモデルやモデル検査の際の検査オプションに柔軟性がなく、ＵＭＬモデルの記述者の意図に応じた適切な検査ができない可能性がある。【００１０】
第２の問題点は、使用するモデル検査器が一つに固定されており、適切な検査ができない可能性があることである。【００１１】
モデル検査器には様々なものがあり、検査したいモデルの性質により、最適なモデル検査器を選択して使用するのが望ましい。しかし、特許文献１で示されるような装置では、使用するモデル検査器が固定されているので、ＵＭＬモデルの記述者の意図に応じた適切な検査ができない可能性がある。【００１２】
そこで、本発明は、ＵＭＬモデルの記述者の意図に応じた適切なモデル検査をすることができるモデル検査装置、モデル検査方法及びモデル検査プログラムを提供することを目的とする。
【課題を解決するための手段】
【００１３】
本発明によるモデル検査装置は、ＵＭＬモデルが入力されると、ＵＭＬモデルに対してモデル検査を実行し、ＵＭＬモデルに対する検査結果を出力するモデル検査装置であって、ＵＭＬモデルから、モデル検査用言語で記述されたモデル検査入力モデルと、モデル検査の際のオプションを示す検査設定ファイルとを生成するモデル検査入力生成手段と、モデル検査入力生成手段が生成したモデル検査入力モデルと検査設定ファイルとに基づいてモデル検査を実行するモデル検査実行手段とを備えていることを特徴とする。【００１４】
本発明によるモデル検査方法は、ＵＭＬモデルが入力されると、ＵＭＬモデルに対してモデル検査を実行し、ＵＭＬモデルに対する検査結果を出力するモデル検査方法であって、ＵＭＬモデルから、モデル検査用言語で記述されたモデル検査入力モデルと、モデル検査の際のオプションを示す検査設定ファイルとを生成し、生成したモデル検査入力モデルと検査設定ファイルとに基づいてモデル検査を実行する
ことを特徴とする。【００１５】
本発明によるモデル検査プログラムは、ＵＭＬモデルが入力されると、ＵＭＬモデルに対してモデル検査を実行し、ＵＭＬモデルに対する検査結果を出力させるためのモデル検査プログラムであって、コンピュータに、ＵＭＬモデルから、モデル検査用言語で記述されたモデル検査入力モデルと、モデル検査の際のオプションを示す検査設定ファイルとを生成するモデル検査入力生成処理と、生成したモデル検査入力モデルと検査設定ファイルとに基づいてモデル検査を実行するモデル検査実行処理とを実行させることを特徴とする。
【発明の効果】
【００１６】
本発明によれば、ＵＭＬモデルの記述者の意図に応じた適切なモデル検査をすることができる。
【図面の簡単な説明】
【００１７】
【図１】本発明によるモデル検査装置の第１の実施形態の構成例を示すブロック図である。
【図２】モデル検査装置の動作の一例を示す流れ図である。
【図３】モデル検査入力モデルを生成する動作の一例を示す流れ図である。
【図４】モデル検査装置の第２の実施形態の構成例を示すブロック図である。
【図５】プロファイル定義の一例を示す説明図である。
【図６】プロファイル変換規則の一例を示す説明図である。
【図７】モデル検査装置の最小の構成例を示すブロック図である。
【発明を実施するための形態】
【００１８】
実施形態１．
次に、本発明の第１の実施形態について図面を参照して説明する。
【００１９】
図１は、本発明によるモデル検査装置の第１の実施形態の構成例を示すブロック図である。図１を参照すると、本発明によるモデル検査装置の第１の実施形態は、モデル検査入力生成手段１と、モデル検査実行手段２と、プロファイル変換規則記憶手段１０とを含む。モデル検査装置は、具体的には、プログラムに従って動作するパーソナルコンピュータ等の情報処理装置によって実現される。また、各手段は、それぞれ概略次のように動作する。
【００２０】
モデル検査入力生成手段１は、具体的には、プログラムに従って動作するＣＰＵによって実現される。モデル検査入力生成手段１は、ＵＭＬモデル情報５を入力として受け取り、プロファイル変換規則４を参照して、モデル検査実行手段２への入力となるモデル検査入力モデル６を生成する機能を備えている。また、モデル検査入力生成手段１は、ＵＭＬモデル情報５を入力として受け取り、プロファイル変換規則４を参照して、モデル検査実行手段２がモデル検査を実行する時のオプションを示す検査設定ファイル７を生成する機能を備えている。
【００２１】
モデル検査実行手段２は、具体的には、プログラムに従って動作するＣＰＵによって実現される。モデル検査実行手段２は、モデル検査エンジンそのもの、またはモデル検査エンジンを起動してモデル検査を実際に行う手段であり、モデル検査入力生成手段１が生成したモデル検査入力モデル６と検査設定ファイル７とを受け取り、モデル検査を行う機能を備えている。モデル検査エンジンは、例えばＳＰＩＮ（モデル検査ツール）等によって実現される。モデル検査実行手段２は、モデル検査の結果として、検証結果８を出力する。
【００２２】
ＵＭＬモデル情報５は、クラス図やステートマシン図等のＵＭＬの図法で記述されたモデルデータ（以下、単にモデルともいう）を含む。このＵＭＬモデル情報５のモデル検査入力生成手段１への入力は、ファイルとして保存したＵＭＬモデル情報５を入力することによって実現されても良いし、ＵＭＬモデルを描画するエディタからモデル検査入力生成手段１に直接入力されることによって実現されても良い。
【００２３】
ＵＭＬモデル情報５が含むモデルは、プロファイル定義３に依存して記述される。ＵＭＬモデル情報５は、モデルがどのプロファイル定義３に依存しているかを示す情報も含む。
【００２４】
プロファイルとは、ＵＭＬの拡張機構の一つであり、ステレオタイプ及びタグ付き値により、モデルに特定の意味付けができるものである。したがって、プロファイル定義３は、モデル要素（クラス等）とそれに付与されるステレオタイプ及びタグ付き値との組の集合からなる。このようなプロファイル定義は複数存在して良いが、ＵＭＬモデル情報５が含むモデルはそれらのうちのいずれか一つに依存する。プロファイル定義３については、一般に用いられているどのような定義であってもよい。また、対応するプロファイル変換規則４（詳細については後述する）を定めていれば、独自の定義を用いることもできる。 
【００２５】
プロファイル変換規則記憶手段１０は、具体的には、光ディスク装置や磁気ディスク装置等の記憶装置によって実現される。プロファイル変換規則記憶手段１０は、プロファイル変換規則４を記憶する。
【００２６】
プロファイル変換規則４は、モデル検査入力生成手段１がＵＭＬモデル情報５からモデル検査入力モデル６と検査設定ファイル７とを生成する際に参照される。プロファイル変換規則４は、ＵＭＬモデル情報５のモデルに含まれるモデル要素が、プロファイル定義３に定義されたモデル要素と合致する場合に、そのモデル要素をどのように変換するかを示す規則を含む。
【００２７】
また、プロファイル変換規則４は、ＵＭＬモデル情報５が含むモデルが所定のプロファイル定義３に依存する場合に、そのプロファイルに対応した必要な検査オプション（これは検査設定ファイル７に含まれて出力される）を示す規則を含む。
【００２８】
したがって、プロファイル変換規則４は、プロファイル定義３に依存して定められ、各プロファイル定義に対応してプロファイル変換規則が必要になるため、複数存在する。プロファイル変換規則４は、例えば、予め管理者によって定められ、プロファイル変換規則記憶手段１０に登録される。
【００２９】
モデル検査入力モデル６は、モデル検査入力生成手段１によって生成され、モデル検査モデル検査実行手段２に入力される。モデル検査入力モデル６は、具体的には、モデル検査実行手段２を実現する（またはモデル検査実行手段２により起動される）モデル検査エンジン用の言語で記述されたファイルである。例えば、モデル検査エンジンがＳＰＩＮであれば、モデル検査入力モデル６は、Ｐｒｏｍｅｌａで記述されたファイルとなる。
【００３０】
検査設定ファイル７は、モデル検査入力生成手段１によって生成され、モデル検査モデル検査実行手段２に入力される。検査設定ファイル７は、具体的には、モデル検査実行手段２を実現する（またはモデル検査実行手段２により起動される）モデル検査エンジンがモデル検査を実行する際のオプションが記載されたファイルである。モデル検査エンジン（モデル検査実行手段２）は、このオプションに従ってモデル検査を実行する。
【００３１】
次に、図１、図２及び図３を参照して本実施形態の全体の動作について説明する。図２は、モデル検査装置の動作の一例を示す流れ図である。
【００３２】
検査対象のＵＭＬモデル情報５がモデル検査装置に入力されると、モデル検査装置は、ＵＭＬモデル情報５をモデル検査入力生成手段１に入力する（図２におけるステップＳ１）。
【００３３】
ここで、ＵＭＬモデル情報５は、どのプロファイルに依存するかを示す情報とクラス図やステートマシン図等のモデルの情報とを含む。モデルの情報は、例えば以下のように表現することができる。
【００３４】
[<モデル構成要素>[ステレオタイプ]+[タグ付き値]+<付加情報>]+
【００３５】
次いで、モデル検査入力生成手段１は、入力されたＵＭＬモデル情報５に含まれる、依存するプロファイルを示す情報に基づいて、プロファイル変換規則記憶手段１０が記憶するプロファイル変換規則４から、参照するプロファイル変換規則４を決定する（図２におけるステップＳ２）。ここで、プロファイル変換規則４は、以下の２種類の規則を含む。
【００３６】
種類１.プロファイルに対応した検査オプションを指定する規則
種類２.プロファイル定義３に定義されたモデル要素をどのように変換するかを示す規則
【００３７】
次いで、モデル検査入力生成手段１は、決定したプロファイル変換規則４に含まれる種類１の規則に従って、検査オプションが示された検査設定ファイル７を生成する（図２におけるステップＳ３）。
【００３８】
さらに、モデル検査入力生成手段１は、決定したプロファイル変換規則４に含まれる種類２の規則に従って、モデル検査入力モデル６を生成する（図２におけるステップＳ４）。なお、種類２の規則は、例えば以下のように表現することができる。
【００３９】
[<モデル構成要素>[<ステレオタイプ>]+[<タグ付き値条件>]<変換方法>]+
【００４０】
ここで、タグ付き値条件とは、タグ値名によって構成される条件のことであり、値が特定の値であることや、値がある範囲にある等の条件を示す。
【００４１】
モデル検査入力生成手段１は、例えば図３に示すように、この種類２の規則に従って、モデル検査入力モデルを生成する。図３は、モデル検査入力モデルを生成する動作の一例を示す流れ図である。
【００４２】
最初に、モデル検査入力生成手段１は、ＵＭＬモデル情報５に含まれるモデルから、モデル構成要素を一つ抽出する（図３におけるステップＳ４２）。
【００４３】
次いで、モデル検査入力生成手段１は、抽出したモデル構成要素に対応する種類２の規則が、図２に示されたステップＳ２で決定したプロファイル変換規則４に存在するか否かを判断する（図３におけるステップＳ４３）。
【００４４】
ステップＳ４３において種類２の規則が存在すると判断すると、モデル検査入力生成手段１は、その規則が示す変換方法を適用する（図３におけるステップＳ４４）。具体的には、モデル検査入力生成手段１は、種類２の規則が示す変換方法に従って、抽出したモデル構成要素を変換する。
【００４５】
その後、モデル検査入力生成手段１は、上記のステップＳ４２からＳ４４の処理を、全てのモデル構成要素について繰り返す（図３におけるステップＳ４１）。
【００４６】
以上のようにして、モデル検査入力生成手段１は、全てのモデル構成要素を変換し、モデル検査入力モデル６を生成する。このように、本実施形態では、プロファイル変換規則４を参照し、モデル構成要素ごとに対応する規則に従って変換処理を行うことで、ＵＭＬモデルの記述者の意図に応じたモデル検査入力モデルを生成することができる。
【００４７】
次いで、モデル検査入力生成手段１は、生成したモデル検査入力モデル６と検査設定ファイル７とをモデル検査実行手段２に出力する（図２におけるステップＳ５）。
【００４８】
次いで、モデル検査実行手段２は、モデル検査入力モデル６と検査設定ファイル７とに基づいてモデル検査を実行する（図２におけるステップＳ６）。
【００４９】
具体的には、モデル検査実行手段２は、検査設定ファイル７によって示された検査オプションに従って、モデル検査入力モデル６のモデル検査を実行する。例えば、モデル検査装置が複数のモデル検査器を備えている場合には、モデル検査実行手段２は、検査オプションに従って、いずれかのモデル検査器を選択して使用する。すなわち、本実施形態では、ＵＭＬモデルの性質に応じて、最適なモデル検査器を選択して使用することができる。
【００５０】
その後、モデル検査実行手段２は、検証結果８を出力する。例えば、モデル検査実行手段２は、検査結果８をディスプレイ装置等の表示装置に表示させるように出力する。
【００５１】
以上の説明したように、本実施形態のモデル検査装置は、モデル検査入力生成手段１と、モデル検査実行手段２とを備え、モデル検査入力生成手段１は、プロファイル定義３に依存するプロファイル変換規則４を参照してＵＭＬモデルからモデル検査器への入力となるモデル検査入力モデルを生成する。
【００５２】
つまり、本実施形態では、ＵＭＬモデル情報に基づいてモデル検査を実行する手段が、モデル検査入力生成手段とモデル検査実行手段とに分離されている。さらに、モデル検査入力生成手段１は、ＵＭＬの拡張機構であるプロファイルを利用して検証用プロファイルを定義し、プロファイルに依存したプロファイル変換規則を参照してモデル検査用の入力を生成する。具体的には、モデル検査入力生成手段１は、プロファイル定義３に依存するプロファイル変換規則４を参照して、ＵＭＬモデルから検査オプションを示す検査設定ファイルを生成する。より具体的には、複数のプロファイル変換規則から、もとのＵＭＬモデル情報が依存するプロファイル定義に対応する変換規則を一つ選択し、その規則に従ってモデル検査入力モデルと検査設定ファイルとを生成する。
【００５３】
モデル検査を実行する手段の分離とモデル検査入力生成手段１が実行する処理によって、モデル検査エンジンへの入力をプロファイルごとに異なるようにすることができ、ＵＭＬモデルの記述者の意図に応じた適切な検査を実行することが可能になる。
【００５４】
したがって、本実施形態では次のような効果を得ることができる。
【００５５】
第１の効果は、ＵＭＬモデルの記述者の意図に最適な検証ができるようになることである。その理由は、プロファイル変換規則を参照することにより、生成するモデル検査入力モデルが変更できるからである。具体的には、本実施形態では、プロファイル変換規則を参照して、モデル構成要素ごとに対応する規則に従って変換処理を行うため、ＵＭＬモデルの記述者の意図に応じたモデル検査入力モデルを生成することができるからである。
【００５６】
第２の効果は、ＵＭＬモデルの記述者の意図に最適な検証を行うために適したモデル検査の利用ができるようになることである。その理由は、プロファイル変換規則を参照することにより、生成するモデル検査入力モデルが変更できるので、使用するモデル検査器のための入力となるファイルを生成することができるからである。具体的には、本実施形態では、プロファイル変換規則に従って検査オプションを示す検査設定ファイルを生成し、生成した検査設定ファイルに従ってモデル検査を実行するため、ＵＭＬモデルの性質に応じた検査を実行できるからである。
【００５７】
実施形態２．
次に、本発明の第２の実施形態について図面を参照して説明する。
【００５８】
図４は、モデル検査装置の第２の実施形態の構成例を示すブロック図である。図４を参照すると、本発明によるモデル検査装置の第２の実施形態は、図１に示された第１の実施形態の構成に加えて、プロファイル変換対応表記憶手段１１を備えている。
【００５９】
プロファイル変換対応表記憶手段１１は、具体的には、光ディスク装置や磁気ディスク装置等の記憶装置によって実現される。プロファイル変換対応表記憶手段１１は、プロファイル変換対応表９を記憶する。
【００６０】
プロファイル変換対応表９は、ＵＭＬモデル情報５が依存するプロファイル定義３に対して、いずれのプロファイル変換規則４を使って変換するのかを示す。すなわち、プロファイル定義３とプロファイル変換規則４との対応を示す。プロファイル変換対応表９は、例えば、予め管理者によって定められ、プロファイル変換対応表記憶手段１１に登録される。
【００６１】
次に、本実施形態におけるモデル検査装置の動作例について説明する。ここでは、第１の実施形態と異なる動作についてのみ説明する。
【００６２】
本実施形態では、図２に示されたステップＳ２において、モデル検査入力生成手段１は、入力されたＵＭＬモデル情報５に含まれる、依存するプロファイルの情報（プロファイル定義３）に基づいて、参照するプロファイル変換規則４を決定するために、プロファイル変換対応表９を参照する。そして、モデル検査入力生成手段１は、プロファイルの情報（プロファイル定義３）とプロファイル変換対応表９とに基づいて、利用するプロファイル変換規則４を決定する。
【００６３】
その後、モデル検査入力生成手段１は、第１の実施形態と同様に、決定したプロファイル変換規則４を参照して、モデル検査入力モデル６と、検査設定ファイル７とを生成する。以降の処理については、第１の実施形態と同様であるため、説明を省略する。
【００６４】
以上のことから、本実施形態では、第１の実施形態の効果に加えて、プロファイル変換対応表９によりプロファイル定義３とプロファイル変換規則４とが対応付けられるため、より柔軟な変換によるモデル検査入力モデル６の生成が可能となる。
【００６５】
次に、上記の第１の実施形態及び第２の実施形態におけるモデル検査入力生成手段１の動作について、具体例を用いて説明する。図５は、プロファイル定義３の一例を示す説明図である。図６は、プロファイル変換規則４の一例を示す説明図である。
【００６６】
モデル検査入力生成手段１は、ＵＭＬモデル情報５が入力されると、そのモデルが依存するプロファイルが何であるかを読み取る。具体的には、モデル検査入力生成手段１は、ＵＭＬモデル情報５に含まれる依存するプロファイルを示す情報を読み取る。そして、読み取ったプロファイルが例えばＵＭＬＶｅｒｉｆｉｃａｔｉｏｎであれば、モデル検査入力生成手段１は、図６に示されるプロファイル変換規則４に従って変換を行う。
【００６７】
例えば、ステレオタイプ＜＜Ｐｒｏｃｅｓｓ＞＞が付与されたクラスがあれば、モデル検査入力生成手段１は、Ｐｒｏｃｔｙｐｅを生成する。
【００６８】
また、関連がステレオタイプ＜＜ＣｈａｎｎｅｌＳｙｎｃ＞＞を付与されていれば、モデル検査入力生成手段１は、サイズ０のチャネル（ｃｈａｎ［０］）を生成する。
【００６９】
次に、本発明によるモデル検査装置の最小構成について説明する。図７は、モデル検査装置の最小の構成例を示すブロック図である。図７に示すように、モデル検査装置は、最小の構成要素として、モデル検査入力生成手段１と、モデル検査実行手段２とを備えている。
【００７０】
図７に示す最小構成のモデル検査装置では、モデル検査入力生成手段１は、ＵＭＬモデルから、モデル検査用言語で記述されたモデル検査入力モデルと、モデル検査の際のオプションを示す検査設定ファイルとを生成する。そして、モデル検査実行手段２は、モデル検査入力生成手段１が生成したモデル検査入力モデルと検査設定ファイルとに基づいてモデル検査を実行する。
【００７１】
従って、最小構成のモデル検査装置によれば、モデル検査の際のオプション等により様々なモデル検査を適用することができ、ＵＭＬモデルの記述者の意図に応じた適切なモデル検査をすることができる。
【００７２】
なお、本実施形態では、以下の（１）〜（５）に示すようなモデル検査装置の特徴的構成が示されている。
【００７３】
（１）モデル検査装置は、ＵＭＬモデル（例えば、ＵＭＬモデル情報５に含まれる）が入力されると、ＵＭＬモデルに対してモデル検査を実行し、ＵＭＬモデルに対する検証結果を出力するモデル検査装置であって、ＵＭＬモデルから、モデル検査用言語で記述されたモデル検査入力モデル（例えば、モデル検査入力モデル６）と、モデル検査の際のオプションを示す検査設定ファイル（例えば、検査設定ファイル７）とを生成するモデル検査入力生成手段（例えば、モデル検査入力生成手段１によって実現される）と、モデル検査入力生成手段が生成したモデル検査入力モデルと検査設定ファイルとに基づいてモデル検査を実行するモデル検査実行手段（例えば、モデル検査実行手段２によって実現される）とを備えていることを特徴とする。
【００７４】
（２）モデル検査装置において、モデル検査入力生成手段は、あらかじめ定義された複数のプロファイル（例えば、プロファイル定義３）のうちのいずれかに依存して記述されたＵＭＬモデルから、モデル検査入力モデルと検査設定ファイルとを生成するように構成されていてもよい。
【００７５】
（３）モデル検査装置において、所定の規則を含む変換規則であってプロファイルごとにあらかじめ定められたプロファイル変換規則（例えば、プロファイル変換規則４）を記憶するプロファイル変換規則記憶手段（例えば、プロファイル変換規則記憶手段１０）を備え、モデル検査入力生成手段は、ＵＭＬモデルがいずれのプロファイルに依存しているかを特定し、プロファイル変換規則記憶手段から、特定したプロファイルに対応するプロファイル変換規則を参照して、モデル検査入力モデルと検査設定ファイルとを生成するように構成されていてもよい。
【００７６】
（４）モデル検査装置において、プロファイルとプロファイル変換規則とを対応付けたプロファイル変換対応表（例えば、プロファイル変換対応表９）を記憶するプロファイル変換対応表記憶手段（例えば、プロファイル変換対応表記憶手段１１によって実現される）を備え、モデル検査入力生成手段は、プロファイル変換対応表を参照して、モデル検査入力モデルと検査設定ファイルとを生成する際に参照するプロファイル変換規則を決定するように構成されていてもよい。
【００７７】
（５）モデル検査装置において、モデル検査入力生成手段は、ＵＭＬモデルの構成要素ごとに、参照するプロファイル変換規則に含まれる所定の規則（例えば、種類２の規則）に従って変換処理を行い、モデル検査入力モデルを生成するように構成されていてもよい。
【００７８】
以上、実施形態及び実施例を参照して本願発明を説明したが、本願発明は上記実施形態および実施例に限定されるものではない。本願発明の構成や詳細には、本願発明のスコープ内で当業者が理解し得る様々な変更をすることができる。
【００７９】
この出願は、２０１０年１０月１４日に出願された日本特許出願２０１０−２３１７３３を基礎とする優先権を主張し、その開示の全てをここに取り込む。
【産業上の利用可能性】
【００８０】
本発明によれば、ソフトウェアの設計時に、組込みソフトウェア等特定分野の設計をＵＭＬで行い、その設計をＳＰＩＮ等でモデル検査するデル検査装置といった用途に適用できる。
【符号の説明】
【００８１】
１  モデル検査入力生成手段
２  モデル検査実行手段
３  プロファイル定義
４  プロファイル変換規則
５  ＵＭＬモデル情報
６  モデル検査入力モデル
７  検査設定ファイル
８  検査結果
９  プロファイル変換対応表
１０  プロファイル変換規則記憶手段
１１  プロファイル変換対応表記憶手段
【図１】
2012049816.tif 000003
【図２】
2012049816.tif 000004
【図３】
2012049816.tif 000005
【図４】
2012049816.tif 000006
【図５】
2012049816.tif 000007
【図６】
2012049816.tif 000008
【図７】
2012049816.tif 000009
【国際調査報告】
2012049816.tif 000010
2012049816.tif 000011
2012049816.tif 000012
2012049816.tif 000013