Abstract: An optimal design assistance device which assists in design of system configuration with minimum price of a computer system, even it is the computer system which performs complicated processing, so that it can be accomplished in a short time and with high efficiency is provided. The optimal design assistance device which assists in design of controllable design parameters of the computer system to which a plurality of Service Level Objects (SLOs) defining non-functional requirements are specified includes: a relaxation solution derivation unit which derives a relaxation solution evaluation value that is the minimum value of the price of the system configuration of the computer system which achieves a part of the SLOs among a plurality of the SLOs; and a search unit which searches for a parameter set of the design parameter by which all the plurality of SLOs are achieved and the price of the system configuration is made lowest by using the relaxation solution evaluation value unit.

Abstract: There is disclosed a design support device with which it is possible to automatically and effectively derive a candidate for a system configuration that satisfies specified non-functional requirements, while taking into account various factors affecting the non-functional requirements. Said design support device is provided with: a reception unit configured to receive non-functional requirements; and a constraint condition generating unit configured to generate, in regard to attribute values for the components of a system designed by combining two or more types of components, constraint conditions for the attribute values for satisfying the non-functional requirements received by the reception unit to be generated on the basis of attribute-value condition information that defines conditions required to satisfy the non-functional requirements.

Abstract: An optimal design assistance device which assists in design of system configuration with minimum price of a computer system, even it is the computer system which performs complicated processing, so that it can be accomplished in a short time and with high efficiency is provided. The optimal design assistance device which assists in design of controllable design parameters of the computer system to which a plurality of Service Level Objects (SLOs) defining non-functional requirements are specified includes: a relaxation solution derivation unit which derives a relaxation solution evaluation value that is the minimum value of the price of the system configuration of the computer system which achieves a part of the SLOs among a plurality of the SLOs; and a search unit which searches for a parameter set of the design parameter by which all the plurality of SLOs are achieved and the price of the system configuration is made lowest by using the relaxation solution evaluation value unit.

Abstract: There are provided repetitively referenced class determining means for determining whether or not there are similar elements which are elements referring to the same class and having different attributes or attribute values in an input model description; common class attribute extracting means for extracting an attribute shared by the similar elements extracted in accordance with a result of the determination as a common class attribute of a group comprising the similar elements; derived class generating means for generating derived classes inheriting the common class attribute and associating the derived classes with their respective extracted similar elements; attribute value determining means for setting concrete attribute values of the generated derived classes at values which are described as attribute values of the corresponding similar elements; and referenced class replacing means for replacing the class referred to by the extracted similar elements with the derived classes, the concrete attribute val

Abstract: Features of a confidentiality analysis support system include an attack flow model generating means that generates an attack flow model representing an attack flow which is likely to take place, as a model for analyzing confidentiality of an information system by assigning information which is defined independently from a connection state and a processing flow and which shows a function of a device, to a structure model representing the physical connection state of the device configuring the information system and a behavior model representing the processing flow executed in the device.