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

国際・国内特許データベース検索
World Intellectual Property Organization
検索
 
閲覧
 
翻訳
 
オプション
 
最新情報
 
ログイン
 
ヘルプ
 
自動翻訳
1. (WO2018079224) 変更手順生成装置、変更手順生成方法および変更手順生成プログラム
国際事務局に記録されている最新の書誌情報    第三者情報を提供

国際公開番号: WO/2018/079224 国際出願番号: PCT/JP2017/036363
国際公開日: 03.05.2018 国際出願日: 05.10.2017
IPC:
G06F 9/445 (2006.01)
出願人: NEC CORPORATION[JP/JP]; 7-1, Shiba 5-chome, Minato-ku, Tokyo 1088001, JP
発明者: NAKANOYA Manabu; JP
代理人: IWAKABE Fuyuki; JP
SHIOKAWA Masato; JP
優先権情報:
2016-20949026.10.2016JP
発明の名称: (EN) CHANGE PROCEDURE GENERATING DEVICE, CHANGE PROCEDURE GENERATING METHOD, AND CHANGE PROCEDURE GENERATING PROGRAM
(FR) DISPOSITIF DE GÉNÉRATION DE PROCÉDURE DE CHANGEMENT, PROCÉDÉ DE GÉNÉRATION DE PROCÉDURE DE CHANGEMENT, ET PROGRAMME DE GÉNÉRATION DE PROCÉDURE DE CHANGEMENT
(JA) 変更手順生成装置、変更手順生成方法および変更手順生成プログラム
要約: front page image
(EN) Provided is a change procedure generating device 10, comprising a storage means 11 which stores, for each relation among constituent elements of a system, a plurality of instances of inter-state information which indicates relations among states of the constituent elements wherein a follow-up state limitation is included which represents a relation between a state transition of the constituent elements of the system and prescribed states to which the constituent elements transition after the state transition has been executed, and an appending means 12 which appends the relations among the states of the constituent elements to an inputted system configuration definition, using the inter-state information which corresponds to the relations among the constituent elements which are included in the configuration definition.
(FR) La présente invention concerne un dispositif de génération de procédure de changement (10), comportant un moyen de stockage (11) qui stocke, pour chaque relation parmi des éléments constitutifs d'un système, une pluralité d'instances d'informations inter-états qui indiquent des relations parmi des états des éléments constitutifs, une limitation d'état complémentaire étant comprise représentant une relation entre une transition d'état des éléments constitutifs du système et des états prescrits auxquels les éléments constitutifs passent après l'exécution de la transition d'état, et un moyen d'ajout (12) qui ajoute les relations parmi les états des éléments constitutifs à une définition de configuration de système entrée, à l'aide des informations inter-états qui correspondent aux relations parmi les éléments constitutifs qui sont compris dans la définition de configuration.
(JA) 変更手順生成装置10は、システムの構成要素の状態遷移と状態遷移が実行された後に構成要素が遷移する所定の状態との関係を表す事後状態制約が含まれる構成要素の状態間の関係を示す複数の状態間情報をシステムの構成要素間の関係ごとに記憶する記憶手段11と、入力されたシステムの構成定義に含まれている構成要素間の関係に対応する状態間情報を用いて構成定義に構成要素の状態間の関係を付与する付与手段12とを備える。
指定国: AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BN, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DJ, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IR, IS, JO, JP, KE, KG, KH, KN, KP, KR, KW, KZ, LA, LC, LK, LR, LS, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PA, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SA, 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
アフリカ広域知的所有権機関(ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
ユーラシア特許庁(EAPO) (AM, AZ, BY, KG, KZ, RU, TJ, TM)
欧州特許庁(EPO) (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)
アフリカ知的所有権機関(OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG)
国際公開言語: 日本語 (JA)
国際出願言語: 日本語 (JA)