Information processing device, information processing method, and computer-readable recording medium
AssigneeNEC Corporation
InventorsYutaka YAKUWA, Takayuki Kuroda
Life of this patent
Estimating the term…
Abstract
An information processing device includes: a specification determination unit that determines whether a model of a computer system satisfies a specification for configuration elements included in a definition of the model based on self-containment of the configuration elements; and an output unit that outputs a result of the determination as to whether the model of the computer system satisfies the specification.
Claims15
An information processing device comprising:
- at least one memory storing instructions;
- and
- at least one processor configured to execute the instructions to:
- determine whether a model of a computer system satisfies a specification for configuration elements included in a definition of the model based on self-containment of the configuration elements;
- and
- output a result of the determination as to whether the model of the computer system satisfies the specification.
An information processing method that is executed by a computer, the method comprising:
- determining whether a model of a computer system satisfies a specification for configuration elements included in a definition of the model based on self-containment of the configuration elements;
- and
- outputting a result of the determination as to whether the model of the computer system satisfies the specification.
A non-transitory computer-readable recording medium on which a program is recorded, the program comprising instructions for causing
- a computer to:
- determine whether a model of a computer system satisfies a specification for configuration elements included in a definition of the model based on self-containment of the configuration elements;
- and
- output a result of the determination as to whether the model of the computer system satisfies the specification.
Dependencies are inferred from the claim text.