WIPO logo
Mobile | Deutsch | Español | Français | 日本語 | 한국어 | Português | Русский | 中文 | العربية |
PATENTSCOPE

Search International and National Patent Collections
World Intellectual Property Organization
Search
 
Browse
 
Translate
 
Options
 
News
 
Login
 
Help
 
Machine translation
1. (WO2012049816) MODEL CHECKING DEVICE, METHOD, AND PROGRAM
Latest bibliographic data on file with the International Bureau   

Pub. No.:    WO/2012/049816    International Application No.:    PCT/JP2011/005572
Publication Date: 19.04.2012 International Filing Date: 03.10.2011
IPC:
G06F 11/36 (2006.01)
Applicants: NEC Corporation [JP/JP]; 7-1, Shiba 5-chome, Minato-ku, Tokyo 1088001 (JP) (For All Designated States Except US).
NODA, Natsuko [JP/JP]; (JP) (For US Only)
Inventors: NODA, Natsuko; (JP)
Agent: IWAKABE, Fuyuki; Yomiurichuko Bldg. 6F, 8-7, Kyobashi 2-chome, Chuo-ku, Tokyo 1040031 (JP)
Priority Data:
2010-231733 14.10.2010 JP
Title (EN) MODEL CHECKING DEVICE, METHOD, AND PROGRAM
(FR) DISPOSITIF, PROCÉDÉ ET PROGRAMME DE VÉRIFICATION DE MODÈLE
(JA) モデル検査装置、方法及びプログラム
Abstract: front page image
(EN)A model checking device for executing, when a UML model is inputted, a model check on the UML model, and outputting the check results for the UML model, wherein the model checking device comprises: model check input generation means for generating, from the UML model, a model check input model written in a model checking language, as well as a checking settings file indicating options for the model check; and model check executing means for executing a model check on the basis of the model check input model and the check settings file generated by the model check input generation means.
(FR)L'invention porte sur un dispositif de vérification de modèle servant à exécuter, lorsqu'un modèle UML est appliqué en entrée, une vérification de modèle sur le modèle UML, et à délivrer les résultats de vérification pour le modèle UML, le dispositif de vérification de modèle comprenant : un moyen de génération d'entrée de vérification de modèle pour générer, à partir du modèle UML, un modèle d'entrée de vérification de modèle écrit dans un langage de vérification de modèle, ainsi qu'un fichier de paramètres de vérification indiquant des options pour la vérification de modèle ; et un moyen d'exécution de vérification de modèle pour exécuter une vérification de modèle sur la base du modèle d'entrée de vérification de modèle et du fichier de paramètres de vérification générés par le moyen de génération d'entrée de vérification de modèle.
(JA) UMLモデルが入力されると、UMLモデルに対してモデル検査を実行し、UMLモデルに対する検査結果を出力するモデル検査装置であって、モデル検査装置は、UMLモデルから、モデル検査用言語で記述されたモデル検査入力モデルと、モデル検査の際のオプションを示す検査設定ファイルとを生成するモデル検査入力生成手段と、モデル検査入力生成手段が生成したモデル検査入力モデルと検査設定ファイルとに基づいてモデル検査を実行するモデル検査実行手段とを備えている。
Designated States: AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IS, JP, KE, KG, KM, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LT, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW.
African Regional Intellectual Property Organization (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, SZ, TZ, UG, ZM, ZW)
Eurasian Patent Organization (AM, AZ, BY, KG, KZ, MD, RU, TJ, TM)
European Patent Office (AL, AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, RS, SE, SI, SK, SM, TR)
African Intellectual Property Organization (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, ML, MR, NE, SN, TD, TG).
Publication Language: Japanese (JA)
Filing Language: Japanese (JA)