Nec Corporation

Takuya Kuwahara

Takashi Maruyama

Takayuki Kuroda

A system configuration derivation device () according to the present disclosure includes: a concretizing policy specifying unit () configured to specify, from among concretizing actions, which correspond to concrete conversion of an abstract configuration by concretizing rules, a concretizing action that it is essential to apply to the input abstract configuration; a comprehensiveness verification unit () configured to verify whether or not the essential concretizing action capable of removing abstract elements included in the input abstract configuration can be applied comprehensively to the input abstract configuration; and a configuration information concretizing unit () configured to apply the essential concretizing action specified by the concretizing policy specifying unit () based on the result of the verification performed by the comprehensiveness verification unit (), thereby converting the input abstract configuration to a more concrete abstract configuration until the abstract configuration no longer includes abstract elements.

System configuration derivation device, system configuration derivation method, and computer-readable medium

Provided is a system update procedure planning apparatus capable of preventing an explosive increase in the amount of computation when solving an automatic planning problem in system update. The state element model simplification sectionoutputs a simplified state element model by applying a simplification transformation based on the unit affiliation information to the state element model. The automatic planning sectionoutputs an executable route, for the simplified state element model, from an initial state thereof to a target state. The internal transition completion sectionconverts the executable route from the initial state to the target state on the simplified state element model into the executable route from an initial state to a target state on the state element model before simplification.

System update procedure planning apparatus, method, and computer-readable recording medium

A system automatic design device includes: a view generation unit configured to generate a view obtained by converting requirement data using an aspect model and to output the generated view as a pre-update view; a graph conversion unit configured to converting the requirement data or the pre-update view using a graph conversion rule; a requirement data update unit configured to reflect a content of a post-update view obtained after the pre-update view is converted on the requirement data; and a system requirement concretization unit configured to obtain system configuration data, in which the requirement data is concretized, by repeatedly performing operations of: converting the requirement data by the graph conversion unit, or converting the pre-update view into the post-update view by the graph conversion unit, and converting the requirement data by reflecting the content of the post-update view on the requirement data by the requirement data update unit.

System automatic design device, system automatic design method, and non-transitory computer-readable medium

Provided is a system configuration derivation device which, when given an abstract configuration, and quantitative requirements in which some numerical values are undetermined, is capable of outputting a concrete system configuration concretizing the abstract configuration, the concrete system configuration meets quantitative requirements representing conditions and the like necessary for the operation of a desired system and including given quantitative requirements. The configuration information concretizing unitobtains as input an abstract configuration, which is information indicating a system configuration in which an undetermined part exists, and quantitative requirements, which are numerical requirements required for a system, and in which some numerical values are undetermined. The configuration information concretizing unitoutputs a concrete configuration, which is information indicating the system configuration in which an undetermined part does not exist, and which meets the quantitative requirements.

System configuration derivation device, method, and computer-readable recording medium

A system configuration derivation deviceincludes a storage unitthat stores a concretization rule in which a method is specified for concretizing abstract configuration information by confirming an unconfirmed portion of the abstract configuration information, which is information indicating configuration of a system in which the unconfirmed portion is included, and a generation unitthat concretizes the abstract configuration information included in configuration requirements of the system using the concretization rule stored to generate system configuration information, which is information indicating the configuration of the system in which the unconfirmed portion is not included, on the basis of the configuration requirements.

System configuration derivation device and system configuration derivation method

A parameter value assignment device comprises: a memory storing instructions; and processors configured to execute the instructions to: input constraint information indicating constraints and parameter value information indicating parameter value conditions, as requirements related to value assignment to target parameters; decompose target parameters into unit blocks based on the requirements; decompose the constraints into constraints between the unit blocks based on a result of decomposition of the target parameters, and reorganize the constraints between the unit blocks; decompose the parameter value conditions into parameter value conditions for the unit blocks based on the result of decomposition of the target parameters into the unit blocks; and assign a value to each of the target parameters based on the result of decomposition of the target parameters into the unit blocks, the constraints between the unit blocks, and the parameter value conditions for the unit blocks.

Parameter value assignment using inputted requirements

An information extraction unitextracts a set including pieces of predetermined information from a past search history for each change of a configuration requirement. A learning unituses a collection of the sets as learning data to learn a calculation method for calculating a score indicating the degree of appropriateness of a concretizing rule included in the set including the pieces of predetermined information. A search unitrepeats extracting the set including the pieces of predetermined information for each pair including a concretizing rule applicable to a configuration requirement of interest and an application part of the concretizing rule in the configuration requirement of interest, calculating a score for the set, and newly selecting a configuration requirement as a configuration requirement of interest based on the score.

System configuration derivation device, method, and program

A system update deviceincludes a first procedure generation unitwhich generates a reverse execution procedure, which is a procedure including multiple reverse operations generated on the basis of a part of the update procedure that does not include operations for which a reverse operation cannot be generated, wherein said multiple reverse operations are arranged in a reverse order of the predetermined order; a planning unitwhich plans an operation procedure for transitioning, from an arbitrary state during execution of the update procedure to the current state, the state of a state element which corresponds to a part of the update procedure that includes operations for which a reverse operation cannot be generated; and a second procedure generation unitwhich generates a rollback procedure by combining the generated reverse execution procedure and the planned procedure.

System update device and system update method

A partial order procedure planning deviceis provided with: a first generation unitwhich generates a first condition of a removable order relationship under a predetermined restriction among order relationships between operations in a serial procedure in which a plurality of operations, which transit the state of a state element from an initial state to a target state, are arranged in series; a second generation unitwhich generates a second condition of an order relationship, which is required to satisfy a transient requirement that is required to satisfy the state element while a state among the order relationships is transitioned from the initial state to the target state; and a determination unitwhich determines, as the order relationship to be deleted from the serial procedure, an order relationship which satisfies the generated first condition, but does not satisfy the generated second condition.

Partial order procedure planning device, partial order procedure planning method and partial order procedure planning program

An estimated distance calculatorgenerates, on the basis of a first state element model comprising multiple state elements, a second state element model which is another state element model, wherein the state elements include multiple states and state transitions assigned with transition conditions between the multiple states. The calculator includes a generation unitwhich generates the second state element model in such a manner as to comprise any one state element among the multiple state elements and state elements other than the one state element which are selected from among the multiple state elements after transition conditions satisfying predetermined condition are removed.

Growing community of inventors

Tokyo, Japan

Takuya Kuwahara