特許

J-GLOBAL ID：201403099102817615

モデル検査装置、方法及びプログラム

発明者： 野田 夏子
出願人/特許権者： 日本電気株式会社
代理人 (2件)： 岩壁 冬樹 ,  塩川 誠人
公報種別：再公表公報
出願番号（国際出願番号）：JP2011005572
公開番号（公開出願番号）：WO2012-049816
出願日： 2011年10月03日
公開日（公表日）： 2012年04月19日
要約：

UMLモデルが入力されると、UMLモデルに対してモデル検査を実行し、UMLモデルに対する検査結果を出力するモデル検査装置であって、モデル検査装置は、UMLモデルから、モデル検査用言語で記述されたモデル検査入力モデルと、モデル検査の際のオプションを示す検査設定ファイルとを生成するモデル検査入力生成手段と、モデル検査入力生成手段が生成したモデル検査入力モデルと検査設定ファイルとに基づいてモデル検査を実行するモデル検査実行手段とを備えている。

請求項（抜粋）：

UMLモデルが入力されると、前記UMLモデルに対してモデル検査を実行し、前記UMLモデルに対する検査結果を出力するモデル検査装置であって、 前記UMLモデルから、モデル検査用言語で記述されたモデル検査入力モデルと、モデル検査の際のオプションを示す検査設定ファイルとを生成するモデル検査入力生成手段と、 前記モデル検査入力生成手段が生成した前記モデル検査入力モデルと検査設定ファイルとに基づいてモデル検査を実行するモデル検査実行手段とを 備えたことを特徴とするモデル検査装置。

IPC (1件)：

G06F 11/36

FI (1件)：

G06F9/06 620M

Fターム (7件)：

5B376BB03 ,  5B376BB05 ,  5B376BC06 ,  5B376BC64 ,  5B376BC65 ,  5B376BC69 ,  5B376BC71