WO2020179173A1 - システム構成導出装置およびシステム構成導出方法 - Google Patents

システム構成導出装置およびシステム構成導出方法 Download PDF

Info

Publication number
WO2020179173A1
WO2020179173A1 PCT/JP2019/048619 JP2019048619W WO2020179173A1 WO 2020179173 A1 WO2020179173 A1 WO 2020179173A1 JP 2019048619 W JP2019048619 W JP 2019048619W WO 2020179173 A1 WO2020179173 A1 WO 2020179173A1
Authority
WO
WIPO (PCT)
Prior art keywords
configuration
information
materialization
abstract
unit
Prior art date
Application number
PCT/JP2019/048619
Other languages
English (en)
French (fr)
Inventor
拓也 桑原
Original Assignee
日本電気株式会社
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by 日本電気株式会社 filed Critical 日本電気株式会社
Priority to JP2021503412A priority Critical patent/JP7306448B2/ja
Priority to US17/434,534 priority patent/US20220131763A1/en
Publication of WO2020179173A1 publication Critical patent/WO2020179173A1/ja

Links

Images

Classifications

    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L41/00—Arrangements for maintenance, administration or management of data switching networks, e.g. of packet switching networks
    • H04L41/14—Network analysis or design
    • H04L41/145—Network analysis or design involving simulating, designing, planning or modelling of a network
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/20—Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
    • G06F16/28—Databases characterised by their database models, e.g. relational or object models
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/10—Geometric CAD
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/60—Software deployment

Definitions

  • the present invention relates to a system configuration derivation device and a system configuration derivation method, and particularly to a system configuration derivation device and a system configuration derivation method for automatically generating a desired ICT (Information and Communication Technology) system based on a user's requirement.
  • ICT Information and Communication Technology
  • the work to build an ICT system for the purpose of service operation mainly includes system configuration design work and deployment procedure design work.
  • system requirements the system components required to satisfy the requirements required for the desired system
  • system connection relationships between the components hereinafter collectively referred to as the system
  • the above design work that is, the technology for automating the work of deriving a specific system configuration from the system requirements, is the automatic design technology.
  • Many existing automatic design technologies perform automatic design by limiting a problem to a specific domain of an ICT system, and then solving a predetermined type of optimization problem and the like.
  • the domain means a predetermined problem such as a communication network route and arrangement of calculation resources, and input/output specifications in the predetermined problem (hereinafter, the same in this specification).
  • Patent Document 1 describes a technique for automatically designing a communication network.
  • the communication network design method described in Patent Document 1 is communication that minimizes the delay time based on the required communication volume between the outgoing node, the incoming node, and the node, the budget required for equipment installation, and the total available budget. You can design a network.
  • Patent Document 2 describes a method of determining a physical machine to which a virtual machine is to be deployed based on the software that operates in the virtual machine and the operation policy of the software.
  • Patent Document 1 The method described in Patent Document 1 or the method described in Patent Document 2 can automatically derive the design corresponding to each domain. However, if the system requirements are not domain-aware, the above existing techniques cannot derive a domain-aware design.
  • system requirements are not domain-aware, for example, communication network design issues and virtual machine deployment issues need to be considered at the same time, or other domain requirements such as security requirements should be considered further. Is required.
  • Non-Patent Document 1 describes a technique for automatically deriving a system configuration based on requirements described using a general-purpose model.
  • the technology described in Non-Patent Document 1 is general-purpose by preparing a required model without specializing in a limited purpose such as the methods described in Patent Documents 1 and 2. It is possible to execute automatic design with input of objective and multifaceted requirements.
  • Non-Patent Document 1 can prepare models of required system components and expand the models according to further demands. Further, the technique described in Non-Patent Document 1 expresses a requirement in which all models are combined in a general attributed graph, and expresses a rule for rewriting a part of a predefined attributed graph. Perform automatic design by applying to the graph.
  • one device to which the technique described in Non-Patent Document 1 is applied can collectively consider a wide variety of design requirements. It is considered that the device to which the technique described in Non-Patent Document 1 is applied can further reduce the total number of man-hours required for the system configuration design work as compared with the domain-specific automatic design technique.
  • the domain-specific algorithm does not need to consider elements unrelated to the target domain.
  • the domain-specific algorithm can utilize the properties common to the elements related to the target domain. Therefore, the domain-specific algorithm can derive the optimum solution corresponding to the target domain at a higher speed than the algorithm that handles general-purpose inputs.
  • Non-Patent Document 1 has a slower execution speed than the optimization technology or automation technology specialized for the target domain, and the quality of the generated system configuration. May be inferior.
  • the existing optimum design apparatus or automatic design apparatus will be referred to as an external design apparatus.
  • the present invention provides a system configuration derivation device and a system configuration derivation method capable of deriving a system configuration that solves the above-mentioned problems and reflects the design tendency of the external design device that limits the problems to be handled. To aim.
  • a system configuration derivation device embodies abstract configuration information by determining an undetermined portion of abstract configuration information that is information indicating the configuration of a system that includes an undetermined portion.
  • the materialization rules that specify the method of doing so, and the materialization information that shows the result of the materialization of the uncertain part by the external design device, which is a device that can materialize the abstract configuration information only for a predetermined task. It is provided with a materialization unit that embodies the abstract configuration information based on it.
  • a system configuration derivation method embodies abstract configuration information by determining an undetermined part of abstract configuration information that is information indicating a system configuration that includes an undetermined part.
  • the materialization rules that specify the method of doing so, and the materialization information that shows the result of the materialization of the uncertain part by the external design device, which is a device that can materialize the abstract configuration information only for a predetermined task. Based on this, the abstract configuration information is embodied.
  • a computer-readable recording medium on which a system configuration derivation program is recorded is an abstract configuration that, when executed by a computer, is information indicating the configuration of the system that includes uncertainties.
  • the materialization rules that specify the method of embodying the abstract configuration information by determining the undetermined part of the information, and the undetermined by the external design device, which is a device that can embody the abstract configuration information only for a predetermined task.
  • a system configuration derivation program that embodies the abstract configuration information based on the embodying information, which is the information indicating the result of embodying the various parts, is stored.
  • FIG. 5 is a flowchart showing an operation of a specific configuration derivation process by the system configuration derivation device 100 of the first exemplary embodiment.
  • 6 is an explanatory diagram showing an example of a search tree generated by the configuration information embodying unit 101.
  • FIG. 7 is a flowchart showing the operation of the materialization policy selection processing by the materialization policy determination unit 102 of the first exemplary embodiment. It is a flowchart which shows the operation of the hint information addition processing by the external design information addition part 104 of 1st Embodiment. 6 is a flowchart showing the operation of a similarity score calculation process by the external design information reflecting unit 103 according to the first embodiment. It is a block diagram which shows the structural example of the system configuration derivation apparatus in the 2nd Embodiment of this invention. It is a flow chart which shows operation of materialization policy selection processing by the 2nd materialization policy judgment part 107 of a 2nd embodiment.
  • FIG. 1 is a block diagram showing a configuration example of a system configuration derivation device according to the first exemplary embodiment of the present invention.
  • the system configuration derivation device of the present embodiment is rewritten in advance to abstract system configuration information including uncertain parts regarding the configuration and settings, which is defined in the form of the attributed graph and the constraint related to the attributed graph. Apply the rules. By applying, the system configuration derivation device derives system configuration information that does not include an undetermined part.
  • system configuration deriving apparatus of the present embodiment compares the result of processing the abstract configuration with the external design apparatus and the original abstract configuration, and reflects the comparison result in the method of embodying the abstract configuration.
  • the system configuration deriving apparatus of this embodiment can design an ICT system having a quality equivalent to the quality that can be designed by an existing domain-specific automatic designing apparatus by a general-purpose automatic designing method.
  • the system configuration deriving apparatus of the present embodiment performs general-purpose system automatic design, similar to the general-purpose system automatic design technology described in Non-Patent Document 1.
  • the system configuration deriving apparatus of the present embodiment is characterized in that external existing optimum design software or automatic design software is incorporated and the incorporated software is used in the design process.
  • the system configuration derivation device of this embodiment can output a system configuration that reflects the capabilities of the external design device, design trends, and the like.
  • the system configuration derivation device 100 of the present exemplary embodiment includes a configuration information reification unit 101, a reification policy determination unit 102, an external design information reflection unit 103, an external design information addition unit 104, The external design device management unit 105 and the materialization rule storage unit 106 are provided.
  • the configuration information materialization unit 101 has a function of deriving the concrete structure by receiving the abstract structure as an input and sequentially applying the applicable materialization rules to the received abstract structure.
  • the materialization policy determination unit 102 receives, as an input, a set of abstract configurations from the configuration information materialization unit 101. After receiving, the materialization policy determination unit 102 uses the materialization rule out of the “abstract configuration”, the “materialization rule”, and the “abstract configuration” used in the next materialization by the configuration information materialization unit 101. It has a function of selecting one or a plurality of sets including three "parts to be abstracted (hereinafter referred to as a materialization target)".
  • the materialization rule storage unit 106 has a function of storing the materialization rule used in materialization.
  • the materialization policy determination unit 102 acquires the materialization rule to be selected from the materialization rule storage unit 106.
  • the external design information giving unit 104 receives an abstract configuration from the configuration information embodying unit 101 as an input.
  • the external design information giving unit 104 has a function of embodying a part of the received abstract configuration by using the external design device.
  • the external design information giving unit 104 gives the result of the reification as hint information to the original abstract configuration.
  • the external design device management unit 105 has a function of managing a set including four "external design device”, “input subgraph extraction filter”, “input converter”, and “output converter”.
  • the input subgraph extraction filter is a filter that extracts only information that can be input to the external design device from the abstract configuration.
  • the input converter is a converter that converts the information extracted by the input subgraph extraction filter from the abstract configuration into the input format of the external design device.
  • the output converter is a converter that converts the output of the external design device into an abstract configuration.
  • the external design device management unit 105 retrieves a set of data including the above four using an identifier corresponding to the external design device.
  • the external design information reflection unit 103 receives an abstract configuration from the materialization policy determination unit 102 as an input.
  • the external design information reflecting unit 103 based on the hint information given to the abstract configuration by the external design information giving unit 104, quantifies the score (similarity) to the design given from the external design device (similarity). Hereinafter, it is referred to as a similarity score.) It has a function of calculating.
  • the abstract configuration means an abstract system configuration including an undetermined part regarding the configuration and setting.
  • the abstract configuration also plays a role in defining the desired ICT system.
  • the abstract configuration describes only the information that the entity wishing for the ICT system has determined (that is, the information that represents "the requirements that the system should meet and the functions that the system should have"), and in the details of the system. Is a configuration generated without specific mention.
  • the basic structure of an abstract configuration is a "node” that corresponds to a system function or a logical component or a physical component, and a “node” that expresses the relationship between two nodes when stretched between the two nodes. Is a graph composed of "edge”.
  • Edge has a direction. Regarding the edge from node A to node B, node A is called a “connection source” and node B is called a “connection destination”.
  • connection source node A
  • connection destination node B
  • connection destination node B
  • nodes and the edges are collectively referred to as “entity”.
  • Entity has an "identifier” for uniquely identifying the entity in the entire system, "type information” that expresses the concept to which the entity corresponds, and "attribute information” that indicates information associated with the entity.
  • Attribute information is a set of sets including two, "attribute name" and "attribute value”.
  • the node may have information indicating “requested component”.
  • a node may or may not have information indicating a plurality of “requested parts”. That is, the basic structure of the abstract structure is a kind of general "attributed graph" structure.
  • FIG. 2 is an explanatory diagram showing an example of an abstract configuration. Rounded rectangles surrounding the icons shown in FIG. 2 represent nodes. FIG. 2 shows a plurality of nodes including four nodes N 1 to N 4 .
  • FIG. 2 shows a plurality of edges including three edges E 1 to E 3 .
  • FIG. 2 some of the entities shown in FIG. 2 are accompanied by balloons.
  • the information in the balloon shown in FIG. 2 represents each information of the identifier, type, and attribute of the attached entity. Note that in the example shown in FIG. 2, balloons are omitted for some entities for the sake of simplicity of description.
  • the node N 1 represents MUA (Mail User Agent). However, the software supported as MUA is not specified for Node N 1 .
  • the node N 2 is a physical machine. As shown in FIG. 2, the node N 2 is set with the model number “EXAM-PLE 1 ”. That is, node N 2 is a node that fully corresponds to a specific product.
  • node N 3 represents a NIC (Network Interface Card). Like node N 2 , node N 3 corresponds to a specific product.
  • NIC Network Interface Card
  • the node N 3 is labeled with an arrow shape “BUS”.
  • the arrow-shaped label represents the component requested by the node N 3 . That is, the arrow-shaped label expresses a request that "a physical connection to the computer bus is required to use the function of the NIC". As will be described later, in the example shown in FIG. 2, the request expressed by the arrow-shaped label is satisfied.
  • node N 4 represents an MTA (Mail Transfer Agent).
  • MTA Mail Transfer Agent
  • the software supported as an MTA is not designated as Node N 4 .
  • edge E 1 represents that the connection source node N 1 is deployed to the connection destination node N 2 .
  • the edge E 2 represents that the connection source node N 3 is physically connected to the connection destination node N 2 .
  • the request imposed by the edge E 2 on the node N 3 is fulfilled.
  • the edge E 2 has the attribute value “eth0” set for the attribute “if”.
  • the attribute "if” represents a network interface. That is, the attribute "if” indicates that the edge E 2 is connected to the network interface "eth 0" of the connection destination node N 2 .
  • the edge E 3 represents that the connection source node N 1 communicates with the connection destination node N 4 by SMTP (Simple Mail Transfer Protocol).
  • SMTP Simple Mail Transfer Protocol
  • Fig. 2 is a series of mechanisms in which a desktop PC (Personal Computer) user inquires of a mail server via an MUA, and the mail server forwards the mail via an MTA.
  • the system that realizes is expressed in a partially undetermined manner.
  • the abstract configuration may be given two pieces of information, "inter-attribute constraint” and “hint information”.
  • a plurality of "inter-attribute constraints” and “hint information” may be provided, or may not be provided at all.
  • the inter-attribute constraint is a constraint imposed on the attribute value of the abstract configuration.
  • the abstract configuration can be regarded as expressing a system configuration that satisfies all the assigned constraints between attributes.
  • the hint information includes a set (G, G′) including two of an abstract configuration subgraph G expressed as an attributed graph and another graph G′ that includes all nodes included in the subgraph G. ) Is shown.
  • the hint information indicating (G, G′) is added to the abstract configuration by the external design information adding unit 104.
  • the hint information is information that gives a hint of the given concrete policy of the abstract structure that "the subgraph G should have a structure close to the graph G'when it is materialized".
  • FIG. 3 is an explanatory diagram showing an example of hint information given to the abstract configuration.
  • the hint information shown in FIG. 3 includes a partial configuration A and a partial configuration B.
  • NIC Transmission Control Protocol
  • Partial configuration B shown in FIG. 3 is a subgraph showing that six "NIC" type nodes, node NIC1, node NIC2, ..., Node NIC6, are connected to other nodes via an L2 switch. Is represented by. Partial configuration B including two L2 switches is a specific configuration.
  • the partial configuration B shown in FIG. 3 is optimal for connecting six NIC type nodes so that there is no communication between nodes (excluding connections in the reverse direction) other than the communication between the nodes specified in the partial configuration A shown in FIG. It is considered that it shows one of the communication network configurations.
  • giving the partial configuration B as a hint to the structure of the partial configuration A means to make the configuration information embodying unit 101 design an optimal communication network configuration.
  • the input subgraph extraction filter of the external design device f is a filter that can extract a subgraph composed of only entities having types that can be handled by the external design device f when applied to an abstract configuration. .. Note that the attribute “can be handled by the external design device f” is given to the target type in advance.
  • the input converter of the external design device f is a converter that can convert the abstract configuration into data of the input format of the corresponding external design device f.
  • the output converter of the external design device f is a converter that can convert data in the output format of the external design device f into a corresponding abstract configuration.
  • FIG. 4 is an explanatory diagram showing an example of input / output of the external design device.
  • the input information shown in FIG. 4 is the input information of the external design device f. Further, the input information shown in FIG. 4 is information corresponding to the partial configuration A shown in FIG.
  • the external design device f shown in FIG. 4 is a device that receives the number of nodes and end-to-end connection information as inputs, and outputs a specific communication network configuration.
  • the output information shown in FIG. 4 is the output information of the external design device f. Further, the output information shown in FIG. 4 is information corresponding to the partial configuration B shown in FIG. Further, in the output information shown in FIG. 4, specific communication network configuration information is represented as a specific connection relationship between two nodes (terminal node and intermediate node).
  • the input converter of the external design device f shown in FIG. 4 is a converter that outputs the input information shown in FIG. 4 after receiving the partial configuration A shown in FIG.
  • the output converter of the external design device f shown in FIG. 4 is a converter that outputs the partial configuration B shown in FIG. 3 after receiving the output information shown in FIG.
  • the materialization rule includes information representing the object of materialization, information representing the configuration after materialization, and inter-attribute constraints to be added.
  • the information representing the object of materialization is referred to as the left side (of the materialization rules).
  • the information representing the configuration after materialization is called the right side (of the materialization rules).
  • the inter-attribute constraint to be added is called an additional constraint (of the materialization rule).
  • the left side of the materialization rule and the right side of the materialization rule are represented by a graph with attributes, similar to the basic structure of the abstract structure. Further, the additional constraint of the reification rule is the same as the inter-attribute constraint that is the additional information of the abstract configuration. The additional constraint of the materialization rule is a constraint on the attributed graph representing the right-hand side of the materialization rule.
  • the reification rule R is applicable to the abstract configuration D.
  • “having an equivalent structure” means that there is a one-to-one corresponding node and there is a one-to-one corresponding edge.
  • edge E a corresponds to edge E b
  • edge E b means not only that the edge alone related to type information and attributes corresponds, but also that the nodes at both ends correspond to each other.
  • edge E a is an edge that extends from node N a to node N b and edge E b is an edge that extends from node N c to node N d , then edge E a is edge E b.
  • node N a and node N c , and node N b and node N d are corresponding nodes, respectively.
  • the partial structure of the abstract configuration D which corresponds to the left side of the reification rule R, is called the reification target of the reification rule R of the abstract configuration D.
  • the abstract structure D has a partial structure having a one-to-one correspondence with the left side of the materialization rule R, that is, a materialization target.
  • the rewriting of the abstract configuration D by the materialization rule R is to replace the materialization target with the structure represented by the right side of the materialization rule R.
  • the entity on the right side has the same identifier as the entity on the left side of the reification rule R, the entity on the left side is directly replaced by the entity on the right side.
  • the corresponding inter-attribute constraint is added to the abstract configuration D in addition to the rewriting of the basic structure described above.
  • FIG. 5 is an explanatory diagram showing an example of two embodied rules.
  • RuleA shown in FIG. 5 is a materialization rule that conforms to an abstract type MUA type node and embodies a MUA type node into a concrete type MyMUA type node.
  • Node N 10 on the left side and node N 11 on the right side of Rule A shown in FIG. 5 are the same node. That is, node N 10 and node N 11 are the same node with the same identifier, only the type has been changed. From the left side to the right side, the node is not removed and another node is not newly added.
  • the rewriting of the abstract configuration by RuleA shown in FIG. 5 includes an operation of changing the type of the MUA type node.
  • edge E 10 that represents the SMTP communication between the MUA and the MTA is set to the edge E 11 that represents the TCP communication between the machines in which the MUA or the MTA is deployed and the appropriate setting C 10 . It is a materialization rule to materialize.
  • the SMTP type edge E 10 between the MUA type node and the MTA type node is deleted, and each node is connected by the Deploy type edge Machine. Includes the operation of adding a TCP type edge E 11 between the type nodes. It also includes the operation of adding an inter-attribute constraint (C 10 ) regarding settings for SMTP communication.
  • C 10 inter-attribute constraint
  • the concrete configuration in this embodiment means a completely embodied abstract configuration.
  • the abstract configuration is completely embodied when the following three conditions 1, 2, and 3 are all satisfied.
  • the abstract configuration that satisfies all of the above three conditions is a concrete configuration that does not include undetermined elements other than the attribute values. Therefore, the specific configuration expresses a configuration that can operate as an ICT system by assigning an appropriate set value according to the assigned attribute value constraint.
  • the node N 1 and the node N 4 shown in FIG. 2 violate the condition 1 because they are not the types of nodes corresponding to the specific software as described above.
  • edge E 3 shown in FIG. 2 is not an edge indicating a specific communication method by SMTP, and therefore violates the condition 2.
  • the node to which the requested component is set is only the node N 3 .
  • the condition 3 is satisfied at present.
  • node N 1 is embodied by Rule A shown in FIG. 5, the type of node N 1 is converted to MyMUA. Since the MyMUA type node contains the requested parts, if node N 1 is embodied by Rule A, condition 3 may not be satisfied.
  • FIG. 6 is a flowchart showing the operation of the concrete configuration derivation process by the system configuration derivation device 100 of the first exemplary embodiment.
  • the configuration information embodying unit 101 receives input of configuration requirements expressed in the form of abstract configuration from the input/output device (step S1100).
  • the configuration information reification unit 101 generates a search tree whose root is the abstract configuration accepted in step S1100 (step S1200).
  • the configuration information reification unit 101 confirms whether or not the abstract configuration to be searched remains in the search tree and a sufficient number of specific configurations have not been generated (step S1300).
  • the number of generation targets of a specific configuration is designated, for example, via the input/output device. Alternatively, the number of generation targets of the specific configuration is incorporated into the system configuration derivation device 100 from the beginning.
  • the configuration information reification unit 101 indicates the generated search tree as follows. It is updated by repeating the procedure of three steps. The configuration information reification unit 101 derives a specific configuration by updating the search tree.
  • the configuration information materialization unit 101 implements all the abstract configurations contained in the search tree that are not completely materialized and that have a viable concrete policy for the abstract structure. It is given to the determination unit 102 as an input (step S1400).
  • the materialization policy determination unit 102 in which the abstract configuration is input executes the materialization policy selection process (step S1500).
  • the configuration information materialization unit 101 receives the materialization policy output from the materialization policy determination unit 102 (step S1600).
  • the materialization policy includes the abstract configuration D to be materialized next, the materialization rule R that materializes the abstract structure D, and the materialization target a that is rewritten by the materialization rule R.
  • the configuration information materialization unit 101 materializes according to all the materialization policies obtained in step S1600.
  • the configuration information instantiation unit 101 determines that the abstract configuration D is a child element of the abstract configuration D in the search tree. 'Is added (step S1700).
  • the configuration information materialization unit 101 records in the search tree the information that "materialization according to the materialization policy (D, R, a) has been executed" for the processing of step S1700.
  • the configuration information materialization unit 101 adds hint information to some of the abstract configurations obtained in step S1700.
  • the configuration information embodying unit 101 notifies the external design information provision unit 104 of the abstract configuration D′ and the external design device f. Enter the identifier shown (step S1800).
  • the external design information addition unit 104 to which the abstract configuration D′ and the identifier indicating the external design device f have been input, executes hint information addition processing (step S1900). After the hint information adding process is executed, the configuration information embodying unit 101 performs the process of step S1300.
  • step S1800 the configuration information reification unit 101 determines that it is required to add hint information to the abstract configuration, for example, in the following cases.
  • some of the entity types have the first flag "is the target of design using the external design device f" and "some of the requested parts are the target of design using the external design device f".
  • the first flag is the target of design using the external design device f
  • the requested parts are the target of design using the external design device f.
  • the configuration information reification unit 101 uses the external design apparatus f as a hint. Add information to the abstract configuration.
  • the above example is an example of a criterion for determining whether to add hint information to the abstract configuration.
  • the criteria for determining whether or not to give hint information used by the configuration information embodying unit 101 of the present embodiment is not limited to the above example.
  • the configuration information embodying unit 101 is obtained as a result of the concrete configuration derivation process.
  • the specific configuration is output to the input / output device (step S2000). After outputting the specific configuration, the system configuration derivation device 100 ends the specific configuration derivation process of the system.
  • FIG. 7 is an explanatory diagram showing an example of a search tree generated by the configuration information embodying unit 101.
  • X 1 to X 7 shown in FIG. 7 are abstract structures that form a search tree.
  • the node types shown in FIG. 7 are two types having no particular meaning. That is, the nodes included in the abstract configuration shown in FIG. 7 are limited to either “Abs” type nodes represented by white rectangles or “Con” type nodes represented by black rectangles.
  • Abs type is an abstract type
  • Con type is a concrete type. Also, neither mold requires parts.
  • the edge type shown in FIG. 7 is limited to one type.
  • the edge type is specific.
  • FIG. 8 is an explanatory diagram showing an example of a materialization rule used for updating the search tree.
  • the reification rules used for updating the search tree are also limited to two rules, that is, reification rule A and reification rule B, which have no particular meaning.
  • the materialization rule A is an abstract configuration including an Abs type node 1, an Abs type node 2, and an edge stretched from the Abs type node 1 to the Abs type node 2, and the Abs type node 3 And the rule of adding an edge stretched from the Abs type node 2 to the Abs type node 3.
  • the reification rule B is an abstract configuration that includes Abs-type node 1, Abs-type node 2, and an edge extending from Abs-type node 1 toward Abs-type node 2. It is a rule to change the type of to Con type.
  • X 1 shown in FIG. 7 is an abstract configuration corresponding to the configuration requirements given from the input/output device.
  • the abstract configuration X 1 two Abs type nodes are connected by one edge.
  • the configuration information embodying unit 101 can derive two elements, an abstract configuration X 2 and an abstract configuration X 3 , as child elements from the abstract configuration X 1 .
  • Abstract construction X 2 is a child element obtained as a result of the materialization rule A being applied to abstract construction X 1 .
  • the abstract structure X 3 is a child element obtained as a result of applying the materialization rule B to the abstract structure X 1 .
  • An abstract configuration X 3 that contains only Con type nodes is a concrete configuration. If one specific configuration is found and the termination condition is satisfied, the configuration information reification unit 101 ends the procedure for updating the search tree at the time when the specific configuration is generated.
  • the configuration information materialization unit 101 can further derive four child elements from the abstract configuration X 2 , which are the abstract configuration X 4 , the abstract configuration X 5 , the abstract configuration X 6 , and the abstract configuration X 7 .
  • Both the abstract structure X 4 and the abstract structure X 5 are child elements obtained as a result of applying the reification rule A to the abstract structure X 2 .
  • the abstract configuration X 4 and the abstract configuration X 5 are different from each other in the materialization target at the time of materialization.
  • the abstract configuration X 4 is a child element generated when the configuration information materialization unit 101 associates node A with node 1 of materialization rule A and node B with node 2 of materialization rule A.
  • the abstract configuration X 5 is a child element generated when the configuration information materialization unit 101 associates node B with node 1 of materialization rule A and node C with node 2 of materialization rule A. Note that the abstract configuration X 4 and the abstract configuration X 5 are configurations to which the materialization rule can still be applied.
  • Both the abstract structure X 6 and the abstract structure X 7 are child elements obtained as a result of applying the reification rule B to the abstract structure X 3 .
  • the abstracting configuration X 6 and the abstracting configuration X 7 are different from each other in the materialization target at the time of materialization.
  • the abstract configuration X 6 is a child element generated when the configuration information materialization unit 101 associates node A with node 1 of materialization rule B and node B with node 2 of materialization rule B.
  • the abstract configuration X 7 is a child element generated when the configuration information materialization unit 101 associates node B with node 1 of materialization rule B and node C with node 2 of materialization rule B.
  • the configuration information embodying unit 101 continues the procedure to obtain a concrete configuration other than the abstract configuration X 3 , the abstract configuration X 4 and the abstract configuration X 5 are input to the instantiation policy determining unit 102 in step S1400,
  • the materialization policy determining unit 102 is inquired about the materialization to be executed next.
  • the materialization policy determination unit 102 of this embodiment selects the abstract configuration, the materialization rules, and the materialization target in the abstract structure, respectively.
  • the reification policy determination unit 102 of the present embodiment receives, as an input, a set of abstract configurations that are not completely reified from the configuration information reification unit 101.
  • the reification policy determining unit 102 selects one set (D, R, a) including three of the abstract configuration D, the reification rule R, and the reification target a that are considered to be the next reification targets. Select multiple.
  • the materialization policy determination unit 102 inputs the selected set to the configuration information materialization unit 101.
  • FIG. 9 is a flowchart showing the operation of the materialization policy selection process by the materialization policy determination unit 102 of the first embodiment.
  • the concrete policy selection process shown in FIG. 9 is the process of step S1500 shown in FIG.
  • the materialization policy determination unit 102 receives a set of abstract configurations as an input from the configuration information materialization unit 101 (step S1510).
  • the materialization policy determination unit 102 inputs all the abstract configurations included in the input to the external design information reflection unit 103.
  • the external design information reflection unit 103 to which the abstract configuration is input performs the similarity score calculation process (step S1520).
  • the materialization policy determination unit 102 receives the similarity score calculated in step S1520 from the external design information reflection unit 103.
  • the materialization policy determination unit 102 selects one abstract configuration Dmax having the maximum similarity score from the received similarity scores (step S1530).
  • the materialization policy determination unit 102 takes out one set of materialization rules managed by the materialization rule storage unit 106.
  • the materialization policy determination unit 102 confirms whether or not there are any materialization rules that have not been selected in the retrieved set (step S1540).
  • the materialization policy determination unit 102 selects the materialization rule that has not been selected as R (step S1550).
  • the reification policy determining unit 102 may select the reification rule R from the entire set of reification rules extracted from the reification rule storage unit 106, or may select the reification rule R according to some standard. Good.
  • the materialization policy determination unit 102 examines whether or not the selected materialization rule R is applicable to the abstract configuration Dmax (step S1560). If it is not applicable (No in step S1560), the materialization policy determination unit 102 returns to step S1540.
  • step S1560 the materialization policy determination unit 102 enumerates one or more configurations a that can be selected as materialization targets and materializes the materialization policy (Dmax, R, a). Add to policy list P (step S1570). After the addition, the materialization policy determination unit 102 returns to step S1540.
  • the materialization policy determination unit 102 can be selected. All configurations may be selected. Alternatively, the materialization policy determination unit 102 may select any of the selectable configurations according to some standard.
  • step S1550 to step S1570 are executed for all the selectable materialization rules (No in step S1540).
  • the materialization policy determination unit 102 determines that all materializations included in the materialization policy list P are included. Output the policy (step S1580). After outputting, the materialization policy determination unit 102 returns to the specific configuration derivation process.
  • the external design information adding unit 104 of this embodiment receives the abstract configuration D as an input from the materialization policy determination unit 102, and embodies the received abstract configuration D using the external design device.
  • the external design information adding unit 104 adds the result of the reification as hint information to the abstract configuration D.
  • FIG. 10 is a flowchart showing the operation of the hint information addition processing by the external design information addition unit 104 according to the first embodiment.
  • the hint information addition process shown in FIG. 10 is the process of step S1900 shown in FIG.
  • the external design information adding unit 104 receives the abstract configuration D and the identifier indicating the external design device f to be used as inputs (step S1910).
  • the external design information giving unit 104 uses the input identifier to be associated with the external design device f from the external design device management unit 105, the input subgraph extraction filter FIL [f], and the input converter IN [ f] and output converter OUT[f] are respectively taken out (step S1920).
  • the external design information giving unit 104 uses the input subgraph extraction filter FIL [f] for the abstract configuration D, and uses the input subgraph which is a subgraph of the abstract configuration D corresponding to the materialization target of the external design device f.
  • the graph d is extracted (step S1930).
  • the input subgraph d is obtained by the following equation (1).
  • the external design information addition unit 104 applies the input converter IN[f] to the input subgraph d to input the input subgraph d into the external design device f in the form IN[f](d )) (step S1940).
  • the external design information adding unit 104 inputs IN[f](d) obtained in step S1940 into the external design device f, and acquires the output RET from the external design device f (step S1950).
  • the external design information addition unit 104 acquires the abstract configuration d* by applying the output converter OUT[f] to the output RET acquired in step S1950 (step S1960).
  • the abstract configuration d* is obtained by the following equation (2).
  • the external design information adding unit 104 adds hint information (d, d*) to the input abstract configuration D (step S1970). After the addition, the external design information addition unit 104 returns to the specific configuration derivation process.
  • the external design information reflection unit 103 of the present embodiment receives the abstract configuration D as an input and assigns a similarity score based on the hint information given to the abstract configuration D.
  • one abstract configuration may have 0 or more pieces of hint information attached.
  • the external design information reflecting unit 103 calculates a similarity score regarding hint information based on one abstract configuration and one hint information given to the abstract configuration will be described.
  • FIG. 11 is a flowchart showing the operation of the similarity score calculation process by the external design information reflecting unit 103 of the first embodiment.
  • the similarity score calculation process shown in FIG. 11 is the process of step S1520 shown in FIG.
  • the example shown in FIG. 11 is an example of calculating the similarity score regarding the hint information (d, d*) added to the abstract configuration D.
  • the external design information reflection unit 103 receives the abstract configuration D and the hint information (d, d *) as inputs (step S1521).
  • the external design information reflection unit 103 extracts the entity included in d and the entity generated by the materialization depending on the component included in d from the abstract configuration D, and constructs the subgraph d'(step). S1522)).
  • the reification that depends on the entity ⁇ means that the reification target includes the entity ⁇ .
  • the entity created by materialization is a newly generated entity because it was included only on the right side of the materialization rule.
  • the external design information reflection unit 103 calculates the similarity score as a graph of the abstract configuration d'and the abstract configuration d * (step S1523).
  • the external design information reflecting unit 103 outputs the calculated similarity score as a similarity score regarding the hint information (d, d*) (step S1524). After outputting the similarity score, the external design information reflecting unit 103 returns to the materialization policy selection processing.
  • step S1523 As a method of calculating the similarity score as a graph of the abstract configuration d′ and the abstract configuration d* in step S1523, for example, based on the distance between graphs generally known as a graph edit distance (GED: Graph Edit Distance).
  • GED graph Edit Distance
  • the external design information reflection unit 103 can adopt 1 / (1 + min) as the similarity score by using the minimum value min of the number of operations additionally required (“/” represents division).
  • the similarity score regarding the hint information (d, d *) can be calculated by the above method.
  • the number of nodes of the same type as the node included in d* among the nodes included in d′ and the number of edges of the same type as the edge included in d* among the edges included in d′ are counted.
  • the method can also be considered as another method for calculating the similarity score. ..
  • the method of calculating the similarity score as a graph of the abstract configuration d'and the abstract configuration d* in step S1523 is not limited to the above two methods. However, the method that can be used is such that the calculated similarity score has the maximum value when the abstract configuration d′ and the abstract configuration d* are similar.
  • a method in which the external design information reflecting unit 103 adds a similarity score to one abstract configuration will be described.
  • a plurality of hint information may be attached to one abstract configuration or may not be attached at all.
  • the external design information reflection unit 103 calculates, for example, the total of the similarity scores obtained from the respective hint information as the similarity score of the abstract configuration.
  • the method by which the external design information reflection unit 103 calculates the similarity score of the abstract configuration from the similarity score obtained from each hint information is not limited to the above method.
  • the external design information reflection unit 103 may use the average value, the maximum value, etc. of the similarity score obtained from each hint information as the similarity score of the abstract configuration. However, the external design information reflecting unit 103 sets the similarity score to a larger value when the abstract configuration is the same as all the configuration groups given as hint information or some configurations included in the configuration group. Calculate to.
  • the configuration information embodying unit 101 of the system configuration derivation device 100 of the present embodiment receives the input configuration requirements in the form of an abstract configuration.
  • the configuration information materialization unit 101 repeatedly embodies the abstract configuration based on the materialization policy received from the materialization policy determination unit 102, and outputs the configuration information of the completely materialized ICT system.
  • the external design information giving unit 104 of the present embodiment adds hint information generated by the external design device registered in the external design device management unit 105 to the abstract configuration.
  • the materialization policy determination unit 102 of the present embodiment should be materialized next by referring to the similarity score calculated by the external design information reflection unit 103 based on the hint information given to the abstract configuration. Selected abstract configuration.
  • the system configuration derivation device 100 of the present embodiment has an optimum configuration for a specific domain calculated by the external design device.
  • a close concrete configuration can be derived.
  • the system configuration deriving apparatus 100 of the present embodiment can derive a specific configuration of an ICT system that satisfies various system requirements and is close to the output of external specialized optimized design software or automatic design software.
  • FIG. 12 is a block diagram showing a configuration example of a system configuration derivation device according to the second exemplary embodiment of the present invention.
  • the system configuration deriving apparatus 110 of this embodiment is different from the system configuration deriving apparatus 100 shown in FIG. 1 in that the materialization policy determination unit 102 is replaced with a second materialization policy determination unit 107.
  • the system configuration derivation device 110 also includes a priority score calculation unit 108. As shown in FIG. 12, the priority score calculation unit 108 is connected to the second materialization policy determination unit 107.
  • the configuration of the system configuration derivation device 110 of the present embodiment other than the second embodiment policy determination unit 107 and the priority score calculation unit 108 is the same as the configuration of the system configuration derivation device 100 of the first embodiment.
  • the system configuration derivation device 110 of the present embodiment operates in almost the same manner as the system configuration derivation device 100 of the first embodiment, except for the operation of the second embodiment policy determination unit 107.
  • the priority score calculation unit 108 of the present embodiment inputs the abstract configuration and calculates the priority score of the input abstract configuration.
  • the priority score is a score given to the abstract configuration that the configuration information embodying unit 101 considers to search next based on some index.
  • the priority score calculation unit 108 may return the reciprocal of the number of entities included in the given abstract configuration as the priority score.
  • the priority score which is the reciprocal of the number, represents the size of the system.
  • the priority score calculation unit 108 calculates the reciprocal of the number of unspecific entities included in the given abstract configuration, that is, the number of abstract type entities, or the number of entities lacking the requested component, It may be returned as a priority score.
  • the configuration information embodying unit 101 preferentially searches the abstract configuration having a high priority score calculated by the above method, so that the search proceeds so as to quickly reduce the undetermined elements in the abstract configuration. To be done.
  • the priority score returned by the priority score calculation unit 108 of the present embodiment is not limited to the above two examples.
  • the second materialization policy determination unit 107 of the present embodiment plays a role of responding to the materialized policy in response to an inquiry from the configuration information materialization unit 101.
  • the second reification policy determination unit 107 uses, for example, the sum of the similarity score and the priority score as the integrated score of the abstract configuration.
  • the second materialization policy judgment unit 107 uses, for example, a set including two of the similarity score and the priority score as the integrated score. When comparing the sizes of the two sets, the second reification policy determination unit 107 determines that the set having the larger similarity score is the larger set. If the two sets have similar similarity scores, the second materialization policy determination unit 107 determines the set with the higher priority score as the larger set, thereby determining the maximum integrated score.
  • the definition example of the integrated score by the second materialization policy determination unit 107 is not limited to the above two examples.
  • FIG. 13 is a flowchart showing the operation of the materialization policy selection process by the second materialization policy determination unit 107 of the second embodiment.
  • step S2510 to step S2520 is the same as each process of step S1510 to step S1520 shown in FIG.
  • the second reification policy determining unit 107 After receiving the similarity score, the second reification policy determining unit 107 inputs all abstract configurations included in the input to the priority score calculating unit 108.
  • the priority score calculation unit 108 calculates a priority score for each abstract configuration (step S2530).
  • the priority score calculation unit 108 returns each calculated priority score to the second materialization policy judgment unit 107.
  • the second materialization policy determination unit 107 calculates an integrated score in which the similarity score and the priority score are integrated for each abstract configuration (step S2540).
  • step S2550 to step S2600 is similar to each process of step S1530 to step S1580 in which the similarity score shown in FIG. 9 is replaced with the integrated score.
  • the specific configuration derivation process, the hint information addition process, and the similarity score calculation process by the system configuration derivation device 110 of the present embodiment include the specific configuration derivation process shown in FIG. 6, the hint information addition process shown in FIG. 10, and FIG. This is the same as the similarity score calculation process shown in 11.
  • the second materialization policy determination unit 107 of the present embodiment is calculated for the abstract configuration in addition to the similarity score calculated by the external design information reflection unit 103 based on the hint information given to the abstract configuration. See also another type of score.
  • the second materialization policy determination unit 107 uses two types of scores to select an abstract structure that is considered to be materialized next.
  • the second embodiment policy determination unit 107 of the present embodiment considers the priority score calculated by the priority score calculation unit 108 in addition to the similarity score. Therefore, the system configuration derivation device 110 of the present embodiment can reflect the priority given by the priority score calculation unit 108 in the specific configuration in addition to the property of being similar to the design result of the external design device.
  • FIG. 14 is a block diagram showing a configuration example of the system configuration derivation device according to the third embodiment of the present invention.
  • the configuration information materialization unit 101 is in the second configuration information materialization unit 109, and the materialization policy determination unit 102 is in the third specific. It has been replaced by the conversion policy judgment unit 10A.
  • the system configuration deriving apparatus 120 of this embodiment does not include the external design information reflecting unit 103. Further, the system configuration deriving device 120 includes the priority score calculation unit 108 of the second embodiment.
  • an external design information giving unit 104 similarly to the system configuration derivation device 100 shown in FIG. 1, an external design information giving unit 104, an external design device management unit 105, and a materialization rule storage unit 106 are provided.
  • the external design information giving unit 104 and the priority score calculating unit 108 are connected to the third materialization policy determining unit 10A, respectively.
  • FIG. 15 is a flowchart showing the operation of the concrete configuration derivation process by the system configuration derivation device 120 of the third embodiment.
  • step S3100 to step S3700 is the same as each process of step S1100 to step S1700 shown in FIG. Further, the process of step S3800 is the same as the process of step S2000 shown in FIG.
  • the hint information addition process is not executed.
  • FIG. 16 is a flowchart showing the operation of the materialization policy selection process by the third materialization policy determination unit 10A of the third embodiment.
  • the third materialization policy determination unit 10A receives a set of abstract configurations as input from the second configuration information materialization unit 109 (step S3510).
  • the third materialization policy determination unit 10A inputs all the abstract configurations included in the input to the priority score calculation unit 108.
  • the priority score calculation unit 108 in which the abstract configuration is input calculates the priority score for each abstract configuration (step S3520).
  • the third materialization policy determination unit 10A receives the priority score calculated in step S3520 from the priority score calculation unit 108.
  • the third materialization policy determination unit 10A selects one abstract configuration Dmax that takes the highest priority score among the received priority scores (step S3530).
  • the third materialization policy determination unit 10A executes the additional materialization rule list generation process (step S3540).
  • the additional materialization rule list generation process as a candidate for the materialization rule R, the output result of the external design information addition unit 104 is directly reflected in addition to the set of materialization rules managed by the materialization rule storage unit 106. It is a process to generate a list of additional materialization rules.
  • the third materialization policy determination unit 10A determines the set of the materialization rules managed in the materialization rule storage unit 106 and the additional materialization generated in step S3540. retrieve a set of rules.
  • step S3550 to step S3590 is the same as each process of step S2560 to step S2600 shown in FIG.
  • FIG. 17 is a flowchart showing the operation of the additional materialization rule list generation processing by the third materialization policy determination unit 10A of the third embodiment.
  • the additional materialization rule list generation process shown in FIG. 17 is the process of step S3540 shown in FIG.
  • the third materialization policy determination unit 10A inputs the abstract configuration D (step S3541).
  • the input abstract configuration D is the abstract configuration Dmax selected in step S3530.
  • the third materialization policy determination unit 10A confirms whether or not there is an external design device applied to the input abstract configuration D (step S3542).
  • the third materialization policy determination unit 10A may use, for example, the criterion used by the configuration information materialization unit 101 in step S1800 as a criterion for determining whether or not there is an external design device applied to the abstract configuration D.
  • the third materialization policy determination unit 10A When it is determined that it is not desirable to apply the external design device (No in step S3542), the third materialization policy determination unit 10A outputs an empty list as the additional materialization rule list (step S3545). After outputting the additional materialization rule list, the third materialization policy determination unit 10A returns to the materialization policy selection processing.
  • the third materialization policy determination unit 10A calls the external design information addition unit 104 and sets all external design devices to be applied. Acquire hint information (d, d*). Next, the third materialization policy determination unit 10A generates a list of all the acquired hint information (step S3543).
  • the third materialization policy determination unit 10A uses the hint information (d, d*) generated in step S3543 as a materialization such that d is the left side and d* is the right side, and there is no additional constraint.
  • Each rule is generated (step S3544).
  • the third materialization policy determination unit 10A outputs the generated materialization rule list as an additional materialization rule list (step S3545). After outputting the additional materialization rule list, the third materialization policy determination unit 10A returns to the materialization policy selection processing.
  • the system configuration derivation device 120 of the present embodiment has an abstract configuration in which the output result of the external design device obtained via the external design information imparting unit 104 is directly reflected, and is configured by the second configuration information embodying unit 109. It can be added as a candidate for search processing.
  • the system configuration deriving apparatus 120 of this embodiment can derive the system configuration in which the design result of the external design apparatus is reflected more directly.
  • FIG. 18 is a block diagram showing a configuration example of the system configuration derivation device according to the fourth embodiment of the present invention.
  • the system configuration derivation device 20 shown in FIG. 18 has a method of embodying abstract configuration information by determining an undetermined portion of abstract configuration information, which is information indicating a system configuration including an undetermined portion.
  • abstract based on the specified materialization rules and the materialization information that shows the result of materialization of the uncertain part by the external design device, which is a device that can materialize the abstract configuration information only for a predetermined task.
  • the materializing unit 21 that embodies the configuration information (for example, the configuration information materializing unit 101) is provided.
  • the system configuration derivation device can derive the system configuration that reflects the design tendency of the external design device that limits the issues to be handled.
  • the materialization unit 21 may materialize the abstract composition information by repeatedly executing an operation of determining a part of the undetermined part included in the abstract composition information by using the materialization rules.
  • the system configuration derivation device can materialize the abstract configuration information using the search tree.
  • the system configuration deriving device 20 generates an operation information which is information about the operation to be executed next, and which is information including a part of the undetermined part of the confirmation target and the materialization rule used.
  • the materialization policy determination unit 102 may be provided, and the materialization unit 21 may execute an operation according to the generated operation information.
  • the system configuration derivation device can more effectively embody the abstract configuration information.
  • the system configuration deriving device 20 uses the reification information to obtain a similarity score indicating a similarity between a part of the unconfirmed part and the result of reification of part of the unconfirmed part by the external design device.
  • a calculation unit that calculates (for example, the external design information reflection unit 103) may be provided, and the generation unit may generate the operation information using the calculated similarity score.
  • the system configuration derivation device can materialize the abstract configuration information so as to approximate the design of the external design device.
  • the generation unit may generate the operation information using the score calculated from the abstract configuration information according to a predetermined standard.
  • the system configuration derivation device can materialize the abstract configuration information using a score other than the similarity score.
  • the reification unit 21 may generate the reification rule based on the reification information.
  • the system configuration derivation device can derive a system configuration in which the design result of the external design device is more directly reflected.
  • system configuration derivation device 20 may include an assigning unit (eg, the external design information assigning unit 104) that assigns embodied information to the abstract configuration information.
  • assigning unit eg, the external design information assigning unit 10
  • the system configuration derivation device can independently derive a system configuration that reflects the design tendency of the external design device.
  • the reification unit 21 may output specific configuration information that is information indicating the configuration of the system that does not include an undetermined part as a result of the reification.
  • the system configuration derivation device can derive system configuration information that does not include an undetermined part.
  • system configuration derivation device 20 may include a management unit (for example, an external design device management unit 105) that manages the external design device in association with a converter or the like for applying to a part of the abstract configuration information. Good.
  • a management unit for example, an external design device management unit 105 that manages the external design device in association with a converter or the like for applying to a part of the abstract configuration information. Good.
  • the system configuration derivation device can easily execute input/output of abstract configuration information to/from an external design device.
  • system configuration derivation device 20 may include a storage unit (for example, a materialization rule storage unit 106) that stores the materialization rules.
  • a storage unit for example, a materialization rule storage unit 106
  • FIG. 19 is an explanatory diagram showing a hardware configuration example of an information processing device capable of realizing the system configuration derivation device according to each embodiment of the present invention.
  • the information processing device (computer) shown in FIG. 19 includes a CPU (Central Processing Unit) 11, a main storage unit 12, a communication unit 13, and an auxiliary storage unit 14.
  • a CPU Central Processing Unit
  • main storage unit 12 main storage unit
  • communication unit 13 main storage unit
  • auxiliary storage unit 14 auxiliary storage unit 14
  • an input unit 15 for the user to operate and an output unit 16 for presenting the processing result or the progress of the processing content to the user are provided.
  • the information processing device is realized by software by the CPU 11 shown in FIG. 19 executing a program that provides the functions of each component.
  • each function is realized by software by the CPU 11 loading and executing the program stored in the auxiliary storage unit 14 into the main storage unit 12 and controlling the operation of the information processing device.
  • the information processing device shown in FIG. 19 may include a DSP (Digital Signal Processor) instead of the CPU 11.
  • the information processing device illustrated in FIG. 19 may include the CPU 11 and the DSP together.
  • the main storage unit 12 is used as a work area for data and a temporary save area for data.
  • the main storage unit 12 is, for example, a RAM (Random Access Memory).
  • the communication unit 13 has a function of inputting and outputting data to and from peripheral devices via a wired network or a wireless network (information communication network).
  • the auxiliary storage unit 14 is a non-transitory tangible storage medium.
  • non-temporary tangible storage media include magnetic disks, magneto-optical disks, CD-ROMs (Compact Disk Read Only Memory), DVD-ROMs (Digital Versatile Disk Read Only Memory), and semiconductor memories.
  • the input unit 15 has a function of inputting data and processing instructions.
  • the input unit 15 is an input device such as a keyboard or a mouse.
  • the output unit 16 has a function of outputting data.
  • the output unit 16 is a display device such as a liquid crystal display device or a printing device such as a printer.
  • each component is connected to the system bus 17.
  • the auxiliary storage unit 14 includes a configuration information materialization unit 101, a materialization policy determination unit 102, an external design information reflection unit 103, an external design information addition unit 104, and an external design device management unit 105. It stores the program to realize it.
  • the auxiliary storage unit 14 includes a configuration information materialization unit 101, an external design information reflection unit 103, an external design information addition unit 104, an external design device management unit 105, and a second materialization policy determination.
  • a program for realizing the unit 107 and the priority score calculation unit 108 is stored.
  • the auxiliary storage unit 14 includes an external design information giving unit 104, an external design device management unit 105, a priority score calculation unit 108, a second configuration information embodying unit 109, and a third specific.
  • a program for realizing the conversion policy determining unit 10A is stored.
  • auxiliary storage unit 14 stores, for example, in the fourth embodiment, a program for realizing the materialization unit 21.
  • the materialization rule storage unit 106 is realized by, for example, the main storage unit 12.
  • system configuration derivation device may be realized by hardware.
  • the system configuration derivation device 100 may be equipped with a circuit including hardware components such as an LSI (Large Scale Integration) that realizes the functions shown in FIG.
  • LSI Large Scale Integration
  • each component may be realized by a general-purpose circuit (circuitry), a dedicated circuit, a processor, or a combination thereof. These may be composed of a single chip (for example, the above LSI), or may be composed of a plurality of chips connected via a bus. Some or all of the constituent elements may be realized by a combination of the above-described circuits and the like and a program.
  • the plurality of information processing devices and circuits may be centrally arranged or distributedly arranged.
  • the information processing device, the circuit, and the like may be realized as a form in which each of the client and server system, the cloud computing system, and the like is connected via a communication network.
  • (Appendix 1) A method for embodying the abstract configuration information by determining the undetermined portion of the abstract configuration information, which is information indicating the configuration of the system including the undetermined portion.
  • the abstract configuration information is based on the rules and the materialization information that indicates the result of the materialization of the undetermined part by the external design device that is the device that can materialize the abstract configuration information only for a predetermined task.
  • a system configuration derivation device comprising: a materialization unit that materializes.
  • the materialization unit concretely implements the abstract structure information by repeatedly executing an operation of fixing a part of the undetermined part included in the abstract structure information using the materialization rules.
  • a generation unit for generating operation information which is information about the operation of the next execution target and includes a part of the undetermined part of the confirmation target and the materialization rule to be used is provided.
  • the system configuration deriving device according to attachment 2 wherein the materialization unit executes an operation in accordance with the generated operation information.
  • Appendix 4 Using the materialization information, a similarity score indicating the degree of similarity between the result of materialization of a part of the undetermined part by the external design device and a part of the undetermined part is calculated.
  • the system configuration derivation device according to Appendix 3, further comprising a calculation unit for generating the operation information using the calculated similarity score.
  • Appendix 5 The system configuration derivation device according to Appendix 3 or Appendix 4, wherein the generation unit generates the operation information using a score calculated from the abstract configuration information according to a predetermined standard.
  • Appendix 6 The system configuration derivation device according to any one of Appendix 1 to Appendix 5, wherein the materialization unit generates the materialization rule based on the materialization information.
  • Supplementary note 7 The system configuration derivation device according to any one of Supplementary note 1 to Supplementary note 6, further comprising an imparting unit for imparting the concrete configuration information to the abstract configuration information.
  • the materialization unit outputs specific configuration information, which is information indicating the configuration of the system that does not include the undetermined part as a result of materialization, in any of Appendix 1 to Appendix 7.
  • specific configuration information which is information indicating the configuration of the system that does not include the undetermined part as a result of materialization, in any of Appendix 1 to Appendix 7.
  • Appendix 9 Derivation of the system configuration according to any one of Appendix 1 to Appendix 8 including a management unit that manages the external design device in association with a converter for applying to a part of the abstract configuration information. apparatus.
  • Supplementary note 10 The system configuration derivation device according to any one of Supplementary note 1 to Supplementary note 9, which includes a storage unit for storing the embodiment.
  • the abstract configuration information is embodied by determining the undetermined portion of the abstract configuration information which is information indicating the configuration of the system including the undetermined portion when executed by a computer.
  • Materialization information that indicates the result of materialization of the uncertain part by an external design device that is a device that can materialize the abstract configuration information only for a predetermined task and a materialization rule that defines the method of performing.
  • a computer-readable recording medium recording a system configuration derivation program that embodies the abstract configuration information based on the above.

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Networks & Wireless Communication (AREA)
  • Signal Processing (AREA)
  • Software Systems (AREA)
  • Databases & Information Systems (AREA)
  • Geometry (AREA)
  • Computational Mathematics (AREA)
  • Data Mining & Analysis (AREA)
  • Mathematical Analysis (AREA)
  • Mathematical Optimization (AREA)
  • Pure & Applied Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Evolutionary Computation (AREA)
  • Stored Programmes (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
  • Data Exchanges In Wide-Area Networks (AREA)

Abstract

システム構成導出装置２０は、未確定な部分が含まれているシステムの構成を示す情報である抽象構成情報の未確定な部分を確定することによって抽象構成情報を具体化する方法が規定された具体化規則と、所定の課題に限って抽象構成情報を具体化できる装置である外部設計装置による未確定な部分の具体化の結果を示す情報である具体化情報とに基づいて抽象構成情報を具体化する具体化部２１を備える。

Description

システム構成導出装置およびシステム構成導出方法
　本発明は、システム構成導出装置およびシステム構成導出方法に関し、特にユーザの要件を基に所望のICT(Information and Communication Technology) システムを自動生成するシステム構成導出装置およびシステム構成導出方法に関する。
　サービス運用等の目的でICT システムを構築する作業には、主にシステム構成の設計作業と、配備手順の設計作業とが含まれる。
　特に、システム構成の設計作業では、所望のシステムに求められる要件（以下、システム要件と呼ぶ。）が満たされるために求められるシステムの構成部品、および構成部品同士の接続関係（以下、まとめてシステム構成と呼ぶ。）を不足なく構築することが求められる。
　さらに、システム構成の設計作業では、システム全体が正常に動作するために求められる設定項目を全て正しく設定することも求められる。よって、一般的にシステム構成の設計作業に掛かる工数は、大きい。
　上記の設計作業、すなわちシステム要件から具体的なシステム構成を導出する作業を自動化する技術が、自動設計技術である。多くの既存の自動設計技術は、ICT システムの特定のドメインに問題を制限し、制限した上で所定の種類の最適化問題等を解くことによって自動設計を行う。ここで、ドメインとは、通信ネットワーク経路や計算リソースの配置等の所定の課題、および所定の課題における入出力の仕様を意味する（以下、本明細書において同様）。
　例えば、特許文献１には、通信ネットワークを自動設計する技術が記載されている。特許文献１に記載されている通信ネットワークの設計方式は、発信ノード、着信ノード、およびノード間の要求通信量、設備設置に要する予算、使用可能な総予算を基に遅延時間が最小となる通信ネットワークを設計できる。
　また、例えば、特許文献２には、仮想マシンにおいて動作するソフトウェア、およびソフトウェアの運用方針に基づいて、仮想マシンの配備先となる物理マシンを決定する方法が記載されている。
　特許文献１に記載されている方法、または特許文献２に記載されている方法は、各ドメインに対応する設計を自動で導出できる。しかし、システム要件がドメインに対応していない場合、上記の既存の技術は、ドメインに対応する設計を導出できない。
　システム要件がドメインに対応していない場合は、例えば通信ネットワークの設計の問題と仮想マシン配備の問題を同時に考慮することが求められる場合や、セキュリティ要件等の別のドメインの要件をさらに考慮することが求められる場合である。
　また、非特許文献１には、汎用的なモデルが用いられて記述された要件を基に、システム構成を自動で導出する技術が記載されている。非特許文献１に記載されている技術は、特許文献１～特許文献２に記載されている方法等のように限られた目的に特化せずに、求められるモデルを用意することによって、汎用的かつ多面的な要件を入力とした自動設計を実行できる。
特開平６－９０２３５号公報 国際公開第２０１３／０７２９７８号
ネットワーク運用の自動化に向けた探索型ネットワーク設計導出方式の提案，信学技報, vol. 118, no. 118 , ICM2018-11, pp. 1-6 , 2018年7 月.
　上述した通り、非特許文献１に記載されている技術は、求められるシステム構成部品のモデルを整備し、また更なる要求に応じてモデルを拡張できる。また、非特許文献１に記載されている技術は、全てのモデルが組み合わせられた要件を一般的な属性付きグラフで表現し、予め定義された属性付きグラフの一部を書き換える規則を表現されたグラフに適用することによって自動設計を行う。
　すなわち、非特許文献１に記載されている技術が適用された１つの装置は、設計に係る多種多様な要件をまとめて考慮できる。非特許文献１に記載されている技術が適用された装置は、ドメイン特化型の自動設計技術に比べて、システム構成の設計作業に掛かる全体的な工数を、より削減できると考えられる。
　しかし、ドメイン特化型のアルゴリズムは、対象ドメインと無関係な要素を考慮せずに済む。また、ドメイン特化型のアルゴリズムは、対象ドメインに関係する要素に共通する性質を利用できる。よって、汎用的な入力を扱うアルゴリズムに比べて、ドメイン特化型のアルゴリズムは、対象ドメインに対応する最適な解をより高速で導出できる。
　換言すると、非特許文献１に記載されているような汎用的な設計手法は、対象ドメインにより特化した最適化技術または自動化技術に比べて、実行速度が遅かったり、生成されるシステム構成の品質が劣ったりする可能性がある。以下、既存の最適設計装置または自動設計装置を、外部設計装置と呼ぶ。
［発明の目的］
　そこで、本発明は、上述した課題を解決する、扱う課題を制限している外部設計装置の設計の傾向が反映されたシステム構成を導出できるシステム構成導出装置およびシステム構成導出方法を提供することを目的とする。
　本発明の１つの観点において、システム構成導出装置は、未確定な部分が含まれているシステムの構成を示す情報である抽象構成情報の未確定な部分を確定することによって抽象構成情報を具体化する方法が規定された具体化規則と、所定の課題に限って抽象構成情報を具体化できる装置である外部設計装置による未確定な部分の具体化の結果を示す情報である具体化情報とに基づいて抽象構成情報を具体化する具体化部を備える。
　本発明の他の観点において、システム構成導出方法は、未確定な部分が含まれているシステムの構成を示す情報である抽象構成情報の未確定な部分を確定することによって抽象構成情報を具体化する方法が規定された具体化規則と、所定の課題に限って抽象構成情報を具体化できる装置である外部設計装置による未確定な部分の具体化の結果を示す情報である具体化情報とに基づいて抽象構成情報を具体化する。
　本発明の他の観点において、システム構成導出プログラムを記録したコンピュータ読み取り可能な記録媒体は、コンピュータで実行されるときに、未確定な部分が含まれているシステムの構成を示す情報である抽象構成情報の未確定な部分を確定することによって抽象構成情報を具体化する方法が規定された具体化規則と、所定の課題に限って抽象構成情報を具体化できる装置である外部設計装置による未確定な部分の具体化の結果を示す情報である具体化情報とに基づいて抽象構成情報を具体化するシステム構成導出プログラムを記憶する。
　本発明によれば、扱う課題を制限している外部設計装置の設計の傾向が反映されたシステム構成を導出できる。
本発明の第１の実施形態におけるシステム構成導出装置の構成例を示すブロック図である。 抽象構成の例を示す説明図である。 抽象構成に付与されるヒント情報の例を示す説明図である。 外部設計装置の入出力の例を示す説明図である。 ２つの具体化規則の例を示す説明図である。 第１の実施形態のシステム構成導出装置１００による具体構成導出処理の動作を示すフローチャートである。 構成情報具体化部１０１が生成する探索木の例を示す説明図である。 探索木の更新に用いられている具体化規則の例を示す説明図である。 第１の実施形態の具体化方針判断部１０２による具体化方針選択処理の動作を示すフローチャートである。 第１の実施形態の外部設計情報付与部１０４によるヒント情報付与処理の動作を示すフローチャートである 第１の実施形態の外部設計情報反映部１０３による類似度スコア算出処理の動作を示すフローチャートである。 本発明の第２の実施形態におけるシステム構成導出装置の構成例を示すブロック図である。 第２の実施形態の第２具体化方針判断部１０７による具体化方針選択処理の動作を示すフローチャートである。 本発明の第３の実施形態におけるシステム構成導出装置の構成例を示すブロック図である。 第３の実施形態のシステム構成導出装置１２０による具体構成導出処理の動作を示すフローチャートである。 第３の実施形態の第３具体化方針判断部１０Ａによる具体化方針選択処理の動作を示すフローチャートである。 第３の実施形態の第３具体化方針判断部１０Ａによる追加具体化規則リスト生成処理の動作を示すフローチャートである。 本発明の第４の実施形態におけるシステム構成導出装置の構成例を示すブロック図である。 本発明の各実施形態におけるシステム構成導出装置を実現可能な情報処理装置のハードウェア構成例を示す説明図である。
実施形態１．
［構成の説明］
　以下、本発明の実施形態を、図面を参照して説明する。図１は、本発明の第１の実施形態におけるシステム構成導出装置の構成例を示すブロック図である。
　本実施形態のシステム構成導出装置は、属性付きグラフおよび属性付きグラフに係る制約の形式で規定された、構成や設定に関して未確定な部分を含む抽象的なシステム構成情報に、予め定義された書き換え規則を適用する。適用することによって、システム構成導出装置は、未確定な部分を含まないシステム構成情報を導出する。
　また、本実施形態のシステム構成導出装置は、外部設計装置を用いて抽象構成を処理した結果と元々の抽象構成とを比較し、比較結果を抽象構成の具体化方法に反映させる。本実施形態のシステム構成導出装置は、既存の領域特化型自動設計装置で設計可能な品質と同等の品質を有するICT システムを、汎用的な自動設計手法で設計できる。
　本実施形態のシステム構成導出装置は、非特許文献１に記載されている汎用的なシステム自動設計技術と同様に、汎用的なシステム自動設計を行う。本実施形態のシステム構成導出装置は、外部の既存の最適設計用ソフトウェア、または自動設計用ソフトウェアを組み込み、組み込まれたソフトウェアを設計プロセスに利用することを特徴とする。
　組み込み可能な外部設計装置の出力をヒントとして用いることによって、本実施形態のシステム構成導出装置は、外部設計装置の能力や設計の傾向等が反映されたシステム構成を出力できる。
　図１に示すように、本実施形態のシステム構成導出装置１００は、構成情報具体化部１０１と、具体化方針判断部１０２と、外部設計情報反映部１０３と、外部設計情報付与部１０４と、外部設計装置管理部１０５と、具体化規則記憶部１０６とを備える。
　構成情報具体化部１０１は、入力として抽象構成を受け取り、受け取られた抽象構成に対して適用可能な具体化規則を順次適用することによって、具体構成を導出する機能を有する。
　具体化方針判断部１０２は、入力として構成情報具体化部１０１から抽象構成の集合を受け取る。受け取った後、具体化方針判断部１０２は、構成情報具体化部１０１による次の具体化で使用される、「抽象構成」、「具体化規則」、および「抽象構成のうち具体化規則で具体化される部分（以下、具体化対象と呼ぶ。）」の３つを含む組を、１つまたは複数選択する機能を有する。
　具体化規則記憶部１０６は、具体化で使用される具体化規則を記憶する機能を有する。具体化方針判断部１０２は、具体化規則記憶部１０６から選択対象の具体化規則を取得する。
　外部設計情報付与部１０４は、入力として構成情報具体化部１０１から抽象構成を受け取る。外部設計情報付与部１０４は、受け取られた抽象構成の一部を、外部設計装置を利用して具体化する機能を有する。外部設計情報付与部１０４は、具体化の結果をヒント情報として、元の抽象構成に付与する。
　外部設計装置管理部１０５は、「外部設計装置」、「入力部分グラフ抽出フィルタ」、「入力変換器」、「出力変換器」の４つを含む組を併せて管理する機能を有する。なお、入力部分グラフ抽出フィルタは、抽象構成から外部設計装置に入力可能な情報のみを抽出するフィルタである。
　また、入力変換器は、抽象構成から入力部分グラフ抽出フィルタで抽出された情報を、外部設計装置の入力形式に変換する変換器である。また、出力変換器は、外部設計装置の出力を抽象構成に変換する変換器である。
　また、外部設計装置管理部１０５は、上記の４つを含む組のデータを、外部設計装置に対応する識別子を用いて取り出す。
　外部設計情報反映部１０３は、入力として具体化方針判断部１０２から抽象構成を受け取る。外部設計情報反映部１０３は、外部設計情報付与部１０４により抽象構成に付与されたヒント情報を基に、外部設計装置から与えられた設計との近さ（類似度）が数値化されたスコア（以下、類似度スコアと呼ぶ。）を算出する機能を有する。
　以下、本実施形態における抽象構成と、抽象構成のデータ構造を説明する。上述した通り、抽象構成は、構成や設定に関して未確定な部分を含む抽象的なシステム構成を意味する。また、抽象構成は、所望されたICT システムを規定する役割を担う。
　換言すると、抽象構成は、ICT システムを所望する主体が、確定している情報（すなわち「システムが満たすべき要件、およびシステムが有すべき機能」を表す情報）のみを記載し、システムの細部には具体的に言及しないまま生成された構成である。
　抽象構成の基本構造は、システムの機能や、論理的な構成部品または物理的な構成部品に相当する「ノード」と、２つのノード間に張られると２つのノード間の関係性を表現する「エッジ」とで構成されるグラフである。
　エッジは、向きを有する。ノードＡからノードＢに向かうエッジに関して、ノードＡを「接続元」、ノードＢを「接続先」とそれぞれ呼ぶ。以下、ノードおよびエッジを区別せずに言及する場合、まとめて「エンティティ(entity)」と呼ぶ。
　エンティティは、システム全体で一意にエンティティを識別するための「識別子」と、エンティティが相当する概念を表現する「型情報」と、エンティティに付随する情報を示す「属性情報」とを有する。
　属性情報は、「属性名」と「属性値」の２つを含む組の集合である。また、ノードは、「要請する部品」を示す情報を有する場合がある。ノードは、複数の「要請する部品」を示す情報を有する場合もあるし、全く有しない場合もある。すなわち、抽象構成の基本構造は、一般的な「属性付きグラフ」の構造の一種である。
　図２は、抽象構成の例を示す説明図である。図２に示すアイコンを囲む角丸四角形は、ノードを表す。図２は、N1～N4の４つのノードを含む複数のノードを示す。
　また、図２に示すノード間の矢印は、エッジを表す。図２は、E1～E3の３つのエッジを含む複数のエッジを示す。
　また、図２に示すエンティティのいくつかには、吹き出しが付随して示されている。図２に示す吹き出し内の情報は、付随しているエンティティが有する識別子、型、属性の各情報を表す。なお、図２に示す例では、説明の単純化のため、いくつかのエンティティでは吹き出しが省略されている。
　ノードN1は、MUA(Mail User Agent)を表す。ただし、MUA として対応しているソフトウェアは、ノードN1に指定されていない。
　また、ノードN2は、物理マシンである。図２に示すように、ノードN2は、型番「EXAM-PLE1 」が設定されている。すなわち、ノードN2は、具体的な製品と完全に対応するノードである。
　また、ノードN3は、NIC(Network Interface Card) を表す。ノードN2と同様に、ノードN3は、具体的な製品に対応する。
　さらに、ノードN3には、「BUS 」という矢印形状のラベルが付されている。矢印形状のラベルが、ノードN3が要請する部品を表す。すなわち、矢印形状のラベルは、“NIC の機能を用いるためにはコンピュータ・バスと物理的に接続されることが求められる”要請を表現する。後述するように、図２に示す例では、矢印形状のラベルが表現する要請が満たされている。
　また、ノードN4は、MTA(Mail Transfer Agent)を表す。ただし、MTA として対応しているソフトウェアは、ノードN4に指定されていない。
　また、エッジE1は、接続元のノードN1が、接続先のノードN2にデプロイされていることを表現する。
　また、エッジE2は、接続元のノードN3が、接続先のノードN2に物理的に接続されていることを表現する。エッジE2により、ノードN3に課せられた要請は、満たされている。
　さらに、エッジE2には、属性「if」に対して、属性値「eth0」が設定されている。属性「if」は、ネットワークインタフェースを表す。すなわち、属性「if」は、エッジE2が接続先のノードN2の、「eth0」というネットワークインタフェースに接続されていることを表す。
　また、エッジE3は、接続元のノードN1が、接続先のノードN4とSMTP(Simple Mail Transfer Protocol) で通信を行うことを表現する。
　以上の内容をまとめると、図２に示す抽象構成は、デスクトップPC(Personal Computer) のユーザがMUA を介してメールサーバにメールを問い合わせ、メールサーバがMTA を介してメールを転送するという一連の仕組みを実現するシステムを、一部が未確定なまま表現している。
　また、抽象構成には、上記の構成に加えて、「属性間制約」および「ヒント情報」の２つの情報が付与される場合がある。「属性間制約」および「ヒント情報」は、それぞれ複数個付与される場合もあるし、全く付与されない場合もある。
　属性間制約は、抽象構成の属性値に課せられる制約である。抽象構成は、付与された全ての属性間制約を満たすようなシステム構成を表現していると捉えられる。
　また、ヒント情報は、属性付きグラフとして表現された抽象構成の部分グラフＧと、部分グラフＧに含まれるノードを全て含むような、別のグラフＧ’の２つを含む組（Ｇ，Ｇ’）を示す。
　（Ｇ，Ｇ’）を示すヒント情報は、外部設計情報付与部１０４により抽象構成に付与される。ヒント情報は、「部分グラフＧは、具体化された場合、グラフＧ’に近い構成をとるべきである」という、付与されている抽象構成の具体化方針のヒントを与える情報である。
　図３は、抽象構成に付与されるヒント情報の例を示す説明図である。図３に示すヒント情報は、部分構成Ａと、部分構成Ｂとを含む。
　図３に示す部分構成Ａは、６つの「NIC 」型ノードであるノードNIC1、ノードNIC2、・・・、ノードNIC6が、「TCP(Transmission Control Protocol)」型エッジで他のノードと接続されていることを示す部分グラフで表現されている。
　図３に示す部分構成Ｂは、６つの「NIC 」型ノードであるノードNIC1、ノードNIC2、・・・、ノードNIC6が、L2スイッチを介して他のノードと接続されていることを示す部分グラフで表現されている。２つのL2スイッチを含む部分構成Ｂは、具体的な構成である。
　図３に示す部分構成Ｂは、図３に示す部分構成Ａに指定されたノード間の通信以外のノード間の通信（逆方向の接続を除く）が無いように６つのNIC 型ノードを繋ぐ最適な通信ネットワーク構成の１つを示していると考えられる。
　従って、部分構成Ａの構造に部分構成Ｂをヒントとして与えることは、構成情報具体化部１０１に最適な通信ネットワーク構成の設計を目指させることを意味する。
　次に、本実施形態の外部設計装置管理部１０５が管理する外部設計装置に関連付けられる、入力部分グラフ抽出フィルタ、入力変換器、および出力変換器をそれぞれ説明する。
　外部設計装置ｆの入力部分グラフ抽出フィルタは、抽象構成に適用されると、外部設計装置ｆで扱うことが可能な種類の型を持つエンティティのみで構成されている部分グラフを抽出できるフィルタである。なお、対象の型に対して、「外部設計装置ｆで扱うことが可能」という属性は、予め与えられている。
　また、外部設計装置ｆの入力変換器は、抽象構成を、対応する外部設計装置ｆの入力形式のデータに変換できる変換器である。
　また、外部設計装置ｆの出力変換器は、外部設計装置ｆの出力形式のデータを、対応する抽象構成に変換できる変換器である。
　入力変換器による変換、および出力変換器による変換の具体例を以下に示す。図４は、外部設計装置の入出力の例を示す説明図である。
　図４に示す入力情報は、外部設計装置ｆの入力情報である。また、図４に示す入力情報は、図３に示す部分構成Ａに相当する情報である。
　また、図４に示す外部設計装置ｆは、入力としてノードの数と、end to endの接続情報を受け取り、具体的な通信ネットワーク構成を出力する装置である。
　また、図４に示す出力情報は、外部設計装置ｆの出力情報である。また、図４に示す出力情報は、図３に示す部分構成Ｂに相当する情報である。また、図４に示す出力情報では、具体的な通信ネットワーク構成の情報が、２つのノード（終端ノードと中間ノード）間の具体的な接続関係として表されている。
　すなわち、図４に示す外部設計装置ｆの入力変換器は、図３に示す部分構成Ａを受け取った後、図４に示す入力情報を出力するような変換器である。また、図４に示す外部設計装置ｆの出力変換器は、図４に示す出力情報を受け取った後、図３に示す部分構成Ｂを出力するような変換器である。
　次に、本実施形態における具体化規則を説明する。具体化規則は、具体化の対象を表す情報と、具体化後の構成を表す情報と、追加対象の属性間制約とを含む。
　以下、具体化の対象を表す情報を、（具体化規則の）左辺と呼ぶ。また、具体化後の構成を表す情報を、（具体化規則の）右辺と呼ぶ。また、追加対象の属性間制約を、（具体化規則の）追加制約と呼ぶ。
　具体化規則の左辺、および具体化規則の右辺は、抽象構成の基本構造と同様に、属性付きグラフで表される。また、具体化規則の追加制約は、抽象構成の付与情報である属性間制約と同一である。具体化規則の追加制約は、具体化規則の右辺を表す属性付きグラフに関する制約である。
　以下、抽象構成が具体化規則により具体化される例を説明する。
　具体化規則Ｒの左辺に相当する構造が抽象構成Ｄに含まれるとき、具体化規則Ｒは、抽象構成Ｄに適用可能である。なお、「相当する構造を持つ」とは、一対一で対応するノードが存在し、かつ一対一で対応するエッジが存在することを意味する。
　ただし、「エッジEaがエッジEbに対応する」ことは、単に型情報や属性に関するエッジ単体が対応することだけではなく、両端のノードがそれぞれ対応するノードであることも意味する。
　例えば、エッジEaがノードNaからノードNbに対して張られるエッジであり、エッジEbがノードNcからノードNdに対して張られるエッジであれば、エッジEaがエッジEbに対応する場合、ノードNaとノードNc、ノードNbとノードNdは、それぞれ対応するノードである。
　上述した通り、具体化規則Ｒの左辺に相当する、抽象構成Ｄの部分構造を、抽象構成Ｄの具体化規則Ｒによる具体化対象と呼ぶ。
　すなわち、抽象構成Ｄに具体化規則Ｒが適用可能であるとき、抽象構成Ｄは、具体化規則Ｒの左辺と一対一に対応する部分構造、すなわち具体化対象を有する。
　具体化規則Ｒによる抽象構成Ｄの書き換えは、具体化対象を具体化規則Ｒの右辺で表現される構造に置き換えることである。書き換えにおいて、具体化規則Ｒの左辺に存在するエンティティと識別子が共通するエンティティが右辺に存在すれば、左辺に存在するエンティティは、右辺に存在するエンティティにそのまま置き換えられる。
　また、具体化規則Ｒの左辺に存在するエンティティと識別子が共通するエンティティが右辺に存在しなければ、対応するエンティティが新規に作られる。
　また、具体化規則Ｒが追加制約を含む場合、上記の基本構造の書き換えに加えて、対応する属性間制約が抽象構成Ｄに追加される。
　以下、具体化規則、および具体化規則による書き換えの具体例を示す。図５は、２つの具体化規則の例を示す説明図である。
　図５に示すRuleA は、抽象的な型であるMUA 型のノードに適合し、MUA 型のノードを具体的な型であるMyMUA 型のノードに具体化する具体化規則である。
　図５に示すRuleA の左辺のノードN10 と右辺のノードN11 は、同じノードである。すなわち、ノードN10 とノードN11 は、型が変更されただけの、同じ識別子を有する同一のノードである。左辺から右辺にかけて、ノードが除去され、別のノードが新規に追加されることはない。
　すなわち、図５に示すRuleA による抽象構成の書き換えには、MUA 型のノードの型を変更する操作が含まれる。
　また、図５に示すRuleB は、MUA とMTA との間のSMTP通信を表すエッジE10 を、MUA またはMTA がデプロイされているマシン間のTCP 通信を表すエッジE11 と適切な設定C10 に具体化する具体化規則である。
　すなわち、図５に示すRuleB による抽象構成の書き換えには、MUA 型のノードとMTA 型のノード間のSMTP型のエッジE10 を削除し、各ノードがDeploy型のエッジでそれぞれ接続されているMachine 型のノード間にTCP 型のエッジE11 を追加する操作が含まれる。また、SMTP通信を行うための設定に関する属性間制約(C10) を追加する操作も含まれる。
　次に、本実施形態のシステム構成導出装置１００が導出する具体構成を説明する。
　本実施形態における具体構成は、完全に具体化された抽象構成を意味する。本実施形態では、以下の条件１、条件２、条件３の３条件が全て満たされている場合に、抽象構成が完全に具体化されているとする。
　「条件１：抽象構成に含まれる全てのノードの型が具体的な型であること」
　なお、ノードの型が具体的であるか否かは、事前に型に対する属性として定義されている。
　「条件２：抽象構成に含まれる全てのエッジの型が具体的な型であること」
　なお、エッジの型が具体的であるか否かは、事前に型に対する属性として定義されている。
　「条件３：抽象構成に含まれる全てのノードに対して、要請される部品が適切なエッジで接続されていること」
　以上の３条件を全て満たした抽象構成は、属性値以外に未確定な要素を含まない具体構成である。よって、具体構成は、付与された属性値制約に従って適当な設定値が付与されることによって、ICT システムとして動作可能な構成を表現している。
　例えば、図２に示す抽象構成は、上記の条件１および条件２を満たさないため、完全には具体化されていない。
　具体的には、図２に示すノードN1およびノードN4は、上述した通り具体的なソフトウェアに対応する型のノードではないため、条件１に違反する。
　また、図２に示すエッジE3は、SMTPによる具体的な通信の方法を示すエッジではないため、条件２に違反する。
　なお、図２に示すノードのうち要請する部品が設定されているノードは、ノードN3のみである。上述した通り、ノードN3に課せられた要請は満たされているので、現時点では条件３が満たされている。
　ただし、例えばノードN1が図５に示すRuleA により具体化された場合、ノードN1の型は、MyMUA に変換される。MyMUA 型のノードは要請する部品を含むので、ノードN1がRuleA により具体化されると、条件３が満たされなくなる可能性がある。
［動作の説明］
　以下、本実施形態のシステム構成導出装置１００の動作を図６～図１１を参照して説明する。
　最初に、本実施形態のシステム構成導出装置１００がICT システムを設計する動作を図６を参照して説明する。図６は、第１の実施形態のシステム構成導出装置１００による具体構成導出処理の動作を示すフローチャートである。
　最初に、構成情報具体化部１０１は、入出力装置から抽象構成の形式で表現された構成要件の入力を受け付ける（ステップS1100 ）。
　次いで、構成情報具体化部１０１は、ステップS1100 で受け付けられた抽象構成を根とする探索木を生成する（ステップS1200 ）。
　次いで、構成情報具体化部１０１は、探索する抽象構成が探索木に残っており、かつ十分な個数の具体構成が生成されていないか否かを確認する（ステップS1300 ）。具体構成の生成目標の個数は、例えば入出力装置を介して指定される。または、具体構成の生成目標の個数は、最初からシステム構成導出装置１００に組み込まれる。
　探索する抽象構成が探索木に残っており、かつ十分な個数の具体構成が生成されていない場合（ステップS1300 におけるYes ）、構成情報具体化部１０１は、生成された探索木を、以下に示す３ステップの手続きを繰り返し実行することによって更新する。探索木を更新することによって、構成情報具体化部１０１は、具体構成を導出する。
　まず、構成情報具体化部１０１は、探索木に含まれる、完全には具体化されておらず、かつ抽象構成に対して実行可能な具体化方針が残っている抽象構成を、全て具体化方針判断部１０２に入力として与える（ステップS1400 ）。抽象構成が入力された具体化方針判断部１０２は、具体化方針選択処理を実行する（ステップS1500 ）。
　具体化方針選択処理が実行された後、構成情報具体化部１０１は、具体化方針判断部１０２の出力である具体化方針を受け取る（ステップS1600 ）。上述した通り、具体化方針には、次に具体化される抽象構成Ｄと、抽象構成Ｄを具体化する具体化規則Ｒと、具体化規則Ｒで書き換えられる具体化対象ａとが含まれる。
　次いで、構成情報具体化部１０１は、ステップS1600 で得られた全ての具体化方針に従って具体化を行う。具体化方針（Ｄ，Ｒ，ａ）に従った具体化の結果、抽象構成Ｄ’が得られたとき、構成情報具体化部１０１は、探索木中の抽象構成Ｄの子要素として抽象構成Ｄ’を追加する（ステップS1700 ）。
　具体化を行った後、構成情報具体化部１０１は、ステップS1700 の処理のために、「具体化方針（Ｄ，Ｒ，ａ）による具体化は実行済」という情報を探索木に記録する。
　次いで、構成情報具体化部１０１は、ステップS1700 で得られた抽象構成のいくつかにヒント情報を付与する。抽象構成Ｄ’に外部設計装置ｆによるヒント情報を付与することが求められると判断した場合、構成情報具体化部１０１は、外部設計情報付与部１０４に抽象構成Ｄ’と、外部設計装置ｆを示す識別子とを入力する（ステップS1800 ）。
　抽象構成Ｄ’と、外部設計装置ｆを示す識別子とが入力された外部設計情報付与部１０４は、ヒント情報付与処理を実行する（ステップS1900 ）。ヒント情報付与処理が実行された後、構成情報具体化部１０１は、ステップS1300 の処理を行う。
　ステップS1800 において、構成情報具体化部１０１が抽象構成にヒント情報を付与することが求められると判断する場合は、例えば以下の場合である。
　例えば、エンティティの型のいくつかに「外部設計装置ｆを用いた設計の対象である」という第１フラグと、「要請する部品の一部が外部設計装置ｆを用いた設計の対象である」という第２フラグの２種類のフラグ情報が付与されている場合を考える。
　抽象構成が外部設計装置ｆに対する第１フラグを持つ型を含み、かつ外部設計装置ｆに対する第２フラグを持つ型を含まないとき、構成情報具体化部１０１は、外部設計装置ｆを利用したヒント情報を抽象構成に付与する。
　なお、上記の例は、抽象構成にヒント情報を付与するか否かの判断基準の一例である。本実施形態の構成情報具体化部１０１が用いるヒント情報を付与するか否かの判断基準は、上記の例に限られない。
　探索する抽象構成が探索木に残っていない、または十分な個数の具体構成が生成された場合（ステップS1300 におけるNo）、構成情報具体化部１０１は、具体構成導出処理の結果として、得られた具体構成を入出力装置に出力する（ステップS2000 ）。具体構成を出力した後、システム構成導出装置１００は、システムの具体構成導出処理を終了する。
　図７は、構成情報具体化部１０１が生成する探索木の例を示す説明図である。図７に示すX1～X7は、探索木を構成する抽象構成である。
　また、説明の簡略化のため、図７に示すノードの型を、特に意味がない２種類の型とする。すなわち、図７に示す抽象構成に含まれるノードは、白い四角形で表現されている「Abs 」型のノードと、黒い四角形で表現されている「Con 」型のノードのどちらかに限られる。
　なお、２種類のノードの型のうち、Abs 型は抽象的な型であり、Con 型は具体的な型である。また、どちらの型も、部品を要請しない。
　また、説明の簡略化のため、図７に示すエッジの型は、１種類に限られる。エッジの型は、具体的である。
　図８は、探索木の更新に用いられている具体化規則の例を示す説明図である。説明の簡略化のため、探索木の更新に用いられている具体化規則も、特に意味がない具体化規則Ａと具体化規則Ｂの２つの規則に限られている。
　図８に示すように、具体化規則Ａは、Abs 型ノード１、Abs 型ノード２、およびAbs 型ノード１からAbs 型ノード２に向けて張られたエッジを含む抽象構成に、Abs 型ノード３と、Abs 型ノード２からAbs 型ノード３に向けて張られたエッジを追加する規則である。
　また、図８に示すように、具体化規則Ｂは、Abs 型ノード１、Abs 型ノード２、およびAbs 型ノード１からAbs 型ノード２に向けて張られたエッジを含む抽象構成の、各ノードの型をCon 型に変更する規則である。
　図７に示すX1は、入出力装置から与えられる構成要件に対応する抽象構成である。抽象構成X1において、２つのAbs 型ノード同士が１本のエッジで接続されている。
　構成情報具体化部１０１は、抽象構成X1から子要素として、抽象構成X2と抽象構成X3の２つを派生させることができる。
　抽象構成X2は、具体化規則Ａが抽象構成X1に適用された結果、得られた子要素である。また、抽象構成X3は、具体化規則Ｂが抽象構成X1に適用された結果、得られた子要素である。
　Con 型のノードのみを含む抽象構成X3は、具体構成である。もし具体構成を１つ発見すれば終了条件を満たす状況であれば、構成情報具体化部１０１は、具体構成を生成した時点で探索木を更新する手続きを終了する。
　構成情報具体化部１０１は、更に抽象構成X2から子要素として、抽象構成X4、抽象構成X5、抽象構成X6、抽象構成X7の４つを派生させることができる。
　抽象構成X4と抽象構成X5は共に、具体化規則Ａが抽象構成X2に適用された結果、得られた子要素である。但し、抽象構成X4と抽象構成X5とでは、具体化時の具体化対象が異なっている。
　すなわち、抽象構成X4は、構成情報具体化部１０１が具体化規則Ａのノード１にノードＡ、具体化規則Ａのノード２にノードＢを対応させたときに生成される子要素である。また、抽象構成X5は、構成情報具体化部１０１が具体化規則Ａのノード１にノードＢ、具体化規則Ａのノード２にノードＣを対応させたときに生成される子要素である。なお、抽象構成X4と抽象構成X5は、まだ具体化規則を適用可能な構成である。
　抽象構成X6と抽象構成X7は共に、具体化規則Ｂが抽象構成X3に適用された結果、得られた子要素である。但し、抽象構成X6と抽象構成X7とでは、具体化時の具体化対象が異なっている。
　すなわち、抽象構成X6は、構成情報具体化部１０１が具体化規則Ｂのノード１にノードＡ、具体化規則Ｂのノード２にノードＢを対応させたときに生成される子要素である。また、抽象構成X7は、構成情報具体化部１０１が具体化規則Ｂのノード１にノードＢ、具体化規則Ｂのノード２にノードＣを対応させたときに生成される子要素である。
　なお、抽象構成X6と抽象構成X7はどちらもまだ具体構成でないが、抽象構成X6と抽象構成X7を起点として探索を進めることは不可能である。
　よって、構成情報具体化部１０１が抽象構成X3以外に具体構成を得るために手続きを続行する場合、ステップS1400 で抽象構成X4と抽象構成X5を具体化方針判断部１０２に入力し、次に実行する具体化を具体化方針判断部１０２に問い合わせる。
　次に、本実施形態の具体化方針判断部１０２の動作を説明する。上述した通り、本実施形態の具体化方針判断部１０２は、抽象構成、具体化規則、および抽象構成中の具体化対象をそれぞれ選択する。
　本実施形態の具体化方針判断部１０２は、上述した通り、構成情報具体化部１０１から完全には具体化されていない抽象構成の集合を入力として受け取る。次いで、具体化方針判断部１０２は、次の具体化の対象と考えられる抽象構成Ｄ、具体化規則Ｒ、および具体化対象ａの３つを含む組（Ｄ，Ｒ，ａ）を１つまたは複数選択する。次いで、具体化方針判断部１０２は、選択された組を構成情報具体化部１０１に入力する。
　本実施形態の具体化方針判断部１０２が具体化方針を選択する動作を図９を参照して説明する。図９は、第１の実施形態の具体化方針判断部１０２による具体化方針選択処理の動作を示すフローチャートである。なお、図９に示す具体化方針選択処理は、図６に示すステップS1500 の処理である。
　最初に、具体化方針判断部１０２は、構成情報具体化部１０１から入力として抽象構成の集合を受け取る（ステップS1510 ）。
　次いで、具体化方針判断部１０２は、入力に含まれる全ての抽象構成を外部設計情報反映部１０３に入力する。抽象構成を入力された外部設計情報反映部１０３は、類似度スコア算出処理を行う（ステップS1520 ）。
　類似度スコア算出処理が実行された後、具体化方針判断部１０２は、外部設計情報反映部１０３からステップS1520 で算出された類似度スコアを受け取る。具体化方針判断部１０２は、受け取った類似度スコアのうち最大の類似度スコアをとる抽象構成Dmaxを１つ選択する（ステップS1530 ）。
　次いで、具体化方針判断部１０２は、具体化規則記憶部１０６に管理されている具体化規則の集合を１つ取り出す。具体化方針判断部１０２は、取り出された集合のうち、まだ選択されていない具体化規則があるか否かを確認する（ステップS1540 ）。
　まだ選択されていない具体化規則がある場合（ステップS1540 におけるYes ）、具体化方針判断部１０２は、選択されていない具体化規則をＲとして選択する（ステップS1550 ）。なお、具体化方針判断部１０２は、具体化規則記憶部１０６から取り出された具体化規則の集合全体から具体化規則Ｒを選択してもよいし、何らかの基準に従って具体化規則Ｒを選択してもよい。
　次いで、具体化方針判断部１０２は、選択された具体化規則Ｒが抽象構成Dmaxに適用可能か否かを調べる（ステップS1560 ）。適用不可能である場合（ステップS1560 におけるNo）、具体化方針判断部１０２は、ステップS1540 に戻る。
　適用可能である場合（ステップS1560 におけるYes ）、具体化方針判断部１０２は、具体化対象として選択可能な構成ａを１つまたは複数列挙し、具体化方針（Dmax，Ｒ，ａ）を具体化方針リストＰに追加する（ステップS1570 ）。追加した後、具体化方針判断部１０２は、ステップS1540 に戻る。
　なお、具体化対象として選択可能な構成が複数存在する場合、すなわち具体化規則Ｒの左辺に相当する構成の選択方法として複数の方法が存在する場合、具体化方針判断部１０２は、選択可能な構成を全て選択してもよい。または、具体化方針判断部１０２は、何らかの基準に従って、選択可能な構成のうちの任意の構成を選択してもよい。
　選択可能な全ての具体化規則に対してステップS1550 ～ステップS1570 の処理が実行された場合（ステップS1540 におけるNo）、具体化方針判断部１０２は、具体化方針リストＰに含まれる全ての具体化方針を出力する（ステップS1580 ）。出力した後、具体化方針判断部１０２は、具体構成導出処理に戻る。
　次に、本実施形態の外部設計情報付与部１０４の動作を説明する。上述した通り、本実施形態の外部設計情報付与部１０４は、具体化方針判断部１０２から抽象構成Ｄを入力として受け取り、受け取った抽象構成Ｄを外部設計装置を用いて具体化する。次いで、外部設計情報付与部１０４は、具体化の結果をヒント情報として抽象構成Ｄに付与する。
　本実施形態の外部設計情報付与部１０４が外部設計装置ｆを用いて抽象構成Ｄを具体化し、ヒント情報を出力する動作を図１０を参照して説明する。図１０は、第１の実施形態の外部設計情報付与部１０４によるヒント情報付与処理の動作を示すフローチャートである。なお、図１０に示すヒント情報付与処理は、図６に示すステップS1900 の処理である。
　最初に、外部設計情報付与部１０４は、入力として抽象構成Ｄ、および使用する外部設計装置ｆを示す識別子を受け付ける（ステップS1910 ）。
　次いで、外部設計情報付与部１０４は、入力された識別子を用いて、外部設計装置管理部１０５から外部設計装置ｆと、関連付けられている入力部分グラフ抽出フィルタFIL[f]、入力変換器IN[f] 、および出力変換器OUT[f]をそれぞれ取り出す（ステップS1920 ）。
　次いで、外部設計情報付与部１０４は、抽象構成Ｄに対して入力部分グラフ抽出フィルタFIL[f]を用いて、外部設計装置ｆの具体化対象に相当する抽象構成Ｄの部分グラフである入力部分グラフｄを抽出する（ステップS1930 ）。入力部分グラフｄは、以下の式（１）で求められる。
　d = FIL[f](D) ・・・式（１）
　次いで、外部設計情報付与部１０４は、入力部分グラフｄに対して入力変換器IN[f] を適用することによって、入力部分グラフｄを外部設計装置ｆに入力可能な形式IN[f](d)に変換する（ステップS1940 ）。
　次いで、外部設計情報付与部１０４は、ステップS1940 で求められたIN[f](d)を外部設計装置ｆに入力し、外部設計装置ｆから出力RET を取得する（ステップS1950 ）。
　次いで、外部設計情報付与部１０４は、ステップS1950 で取得された出力RET に対して出力変換器OUT[f]を適用することによって、抽象構成ｄ＊を取得する（ステップS1960 ）。抽象構成ｄ＊は、以下の式（２）で求められる。
　d* = OUT[f](RET) ・・・式（２）
　次いで、外部設計情報付与部１０４は、入力された抽象構成Ｄにヒント情報（ｄ，ｄ＊）を付与する（ステップS1970 ）。付与した後、外部設計情報付与部１０４は、具体構成導出処理に戻る。
　次に、本実施形態の外部設計情報反映部１０３の動作を説明する。上述した通り、本実施形態の外部設計情報反映部１０３は、抽象構成Ｄを入力として受け取り、抽象構成Ｄに付与されているヒント情報に基づいた類似度スコアを付与する。
　上述した通り、１つの抽象構成は、０個以上の任意の個数のヒント情報が付与されている可能性がある。以下、本実施形態の外部設計情報反映部１０３が１つの抽象構成と、抽象構成に付与された１つのヒント情報とを基に、ヒント情報に関する類似度スコアを算出する方法を説明する。
　図１１は、第１の実施形態の外部設計情報反映部１０３による類似度スコア算出処理の動作を示すフローチャートである。なお、図１１に示す類似度スコア算出処理は、図９に示すステップS1520 の処理である。
　図１１に示す例は、抽象構成Ｄに付与された、ヒント情報（ｄ，ｄ＊）に関する類似度スコアを算出する例である。最初に、外部設計情報反映部１０３は、抽象構成Ｄと、ヒント情報（ｄ，ｄ＊）とを入力として受け取る（ステップS1521 ）。
　次いで、外部設計情報反映部１０３は、抽象構成Ｄから、ｄに含まれるエンティティ、およびｄに含まれる部品に依存する具体化で生成されたエンティティを取り出して、部分グラフｄ’を構成する（ステップS1522 ）。
　なお、エンティティεに依存する具体化は、具体化対象にエンティティεが含まれている具体化を意味する。また、具体化で生成されたエンティティは、具体化規則の右辺にのみ含まれていたために新規で生成されたエンティティである。
　次いで、外部設計情報反映部１０３は、抽象構成ｄ’と抽象構成ｄ＊とのグラフとしての類似度スコアを算出する（ステップS1523 ）。外部設計情報反映部１０３は、算出された類似度スコアを、ヒント情報（ｄ，ｄ＊）に関する類似度スコアとして出力する（ステップS1524 ）。類似度スコアを出力した後、外部設計情報反映部１０３は、具体化方針選択処理に戻る。
　ステップS1523 で抽象構成ｄ’と抽象構成ｄ＊のグラフとしての類似度スコアを算出する方法として、例えば、一般的にグラフ編集距離(GED:Graph Edit Distance) として知られるグラフ間の距離に基づいて算出する方法が考えられる。
　具体的には、抽象構成ｄ’に「ノードを追加」、「エッジを追加」という操作を行うことによって抽象構成ｄ＊と全く同じ構造を抽象構成ｄ’に追加することが考えられる。外部設計情報反映部１０３は、追加に求められる操作数の最小値min を用いて、1/(1+min) を類似度スコアとして採用できる（“/ ”は除算を表す）。
　例えば、図３に示す部分構成Ａおよび部分構成Ｂをそれぞれ抽象構成ｄ’、抽象構成ｄ＊とした場合に、上記の方法でヒント情報（ｄ,ｄ＊）に関する類似度スコアを計算することを考える。
　抽象構成ｄ’を抽象構成ｄ＊に変形するためには、抽象構成ｄ’中のNIC 間の接続性を示すエッジを削除することが４回、L2スイッチを追加することが２回、およびNIC-L2スイッチ間の接続を表すエッジを追加することが６回、それぞれ求められる。すなわち、合計１２回の操作が求められるため、類似度スコアは、1/(1+12)=1/13 と算出される。
　また、単にｄ’に含まれるノードのうちｄ＊に含まれるノードと同じ型のノードの数、およびｄ’に含まれるエッジのうちｄ＊に含まれるエッジと同じ型のエッジの数を計数する方法も、類似度スコアを算出する他の方法として考えられる。　
　ステップS1523 で抽象構成ｄ’と抽象構成ｄ＊のグラフとしての類似度スコアを算出する方法は、上記の２つの方法に限られない。但し、使用可能な方法は、算出される類似度スコアが、抽象構成ｄ’と抽象構成ｄ＊とが同様であるときに最大の値になるような方法である。
　次いで、外部設計情報反映部１０３が、１つの抽象構成に類似度スコアを付与する方法を説明する。上述した通り、１つの抽象構成には複数のヒント情報が付与されていることもあるし、全く付与されていないこともある。
　外部設計情報反映部１０３は、例えば、それぞれのヒント情報から得られた類似度スコアの合計を、抽象構成の類似度スコアとして算出する。なお、外部設計情報反映部１０３が、それぞれのヒント情報から得られた類似度スコアから抽象構成の類似度スコアを算出する方法は、上記の方法に限られない。
　例えば、外部設計情報反映部１０３は、それぞれのヒント情報から得られた類似度スコアの平均値、最大値等を抽象構成の類似度スコアとしてもよい。但し、外部設計情報反映部１０３は、抽象構成がヒント情報として付与された全ての構成群、または構成群に含まれるいくつかの構成と同様であるときに類似度スコアがより大きな値になるように算出する。
［効果の説明］
　本実施形態のシステム構成導出装置１００の構成情報具体化部１０１は、入力された構成要件を抽象構成の形式で受け取る。構成情報具体化部１０１は、抽象構成を具体化方針判断部１０２から受け取った具体化方針に基づいて繰り返し具体化することによって、完全に具体化されたICT システムの構成情報を出力する。
　また、本実施形態の外部設計情報付与部１０４は、外部設計装置管理部１０５に登録された外部設計装置により生成されたヒント情報を抽象構成に付与する。
　また、本実施形態の具体化方針判断部１０２は、抽象構成に付与されたヒント情報を基に外部設計情報反映部１０３により計算された類似度スコアを参照して、次に具体化すべきと考えられる抽象構成を選択する。
　よって、本実施形態のシステム構成導出装置１００は、外部設計装置の設計結果に類似する構成である抽象構成を優先的に探索するため、外部設計装置により算出された特定のドメインに関する最適な構成に近い具体構成を導出できる。本実施形態のシステム構成導出装置１００は、多様なシステム要件を満たし、かつ外部の特化型最適設計ソフトウェア、または自動設計ソフトウェアの出力に近いICT システムの具体構成を導出できる。
実施形態２．
［構成の説明］
　次に、本発明の第２の実施形態におけるシステム構成導出装置を、図面を参照して説明する。図１２は、本発明の第２の実施形態におけるシステム構成導出装置の構成例を示すブロック図である。
　本実施形態のシステム構成導出装置１１０は、図１に示すシステム構成導出装置１００と異なり、具体化方針判断部１０２が第２具体化方針判断部１０７に置き換えられている。
　また、システム構成導出装置１１０は、優先度スコア算出部１０８を備える。図１２に示すように、優先度スコア算出部１０８は、第２具体化方針判断部１０７と接続されている。
　第２具体化方針判断部１０７および優先度スコア算出部１０８以外の本実施形態のシステム構成導出装置１１０の構成は、第１の実施形態のシステム構成導出装置１００の構成と同様である。本実施形態のシステム構成導出装置１１０は、第２具体化方針判断部１０７の動作を除いて、第１の実施形態のシステム構成導出装置１００と殆ど同様に動作する。
　本実施形態の優先度スコア算出部１０８は、抽象構成を入力とし、入力された抽象構成の優先度スコアを算出する。優先度スコアは、何らかの指標に基づいて構成情報具体化部１０１が次に探索すべきと考えられる抽象構成に与えられるスコアである。
　例えば、優先度スコア算出部１０８は、与えられた抽象構成に含まれるエンティティの個数の逆数を、優先度スコアとして返してもよい。個数の逆数である優先度スコアは、システムの大きさを表す。優先度スコアが高い抽象構成を構成情報具体化部１０１が優先的に探索することによって、使用される部品がより少ないシステムが導出されやすくなる。
　また、例えば、優先度スコア算出部１０８は、与えられた抽象構成に含まれる具体的でないエンティティ、すなわち抽象的な型のエンティティの個数、または要請する部品が欠けているエンティティの個数の逆数を、優先度スコアとして返してもよい。
　上記の方法で算出された優先度スコアが高い抽象構成を構成情報具体化部１０１が優先的に探索することによって、抽象構成中の未確定の要素を速く減少させるように探索が進むことが期待される。
　なお、本実施形態の優先度スコア算出部１０８が返す優先度スコアは、上記の２つの例に限られない。
　本実施形態の第２具体化方針判断部１０７は、具体化方針判断部１０２と同様に、構成情報具体化部１０１の問い合わせに応じて具体化方針を応答する役割を担う。第２具体化方針判断部１０７は、例えば類似度スコアと優先度スコアの和を抽象構成の統合スコアとして用いる。
　また、第２具体化方針判断部１０７は、例えば類似度スコアと優先度スコアの２つを含む組を統合スコアとして用いる。第２具体化方針判断部１０７は、２つの組の大きさを比較するとき、類似度スコアが大きい方の組を大きい組と判断する。また、２つの組の類似度スコアが等しければ、第２具体化方針判断部１０７は、優先度スコアが大きい方の組を大きい組と判断することによって、最大の統合スコアを定める。
　なお、第２具体化方針判断部１０７による統合スコアの定義例は、上記の２つの例に限られない。
［動作の説明］
　以下、本実施形態の第２具体化方針判断部１０７が具体化方針を選択する動作を図１３を参照して説明する。図１３は、第２の実施形態の第２具体化方針判断部１０７による具体化方針選択処理の動作を示すフローチャートである。
　ステップS2510 ～ステップS2520 の各処理は、図９に示すステップS1510 ～ステップS1520 の各処理とそれぞれ同様である。
　類似度スコアを受け取った後、第２具体化方針判断部１０７は、入力に含まれる全ての抽象構成を優先度スコア算出部１０８に入力する。優先度スコア算出部１０８は、各抽象構成に対して優先度スコアをそれぞれ算出する（ステップS2530 ）。
　次いで、優先度スコア算出部１０８は、算出された各優先度スコアを第２具体化方針判断部１０７に返却する。次いで、第２具体化方針判断部１０７は、類似度スコアと優先度スコアが統合された統合スコアを抽象構成ごとに算出する（ステップS2540 ）。
　ステップS2550 ～ステップS2600 の各処理は、図９に示す類似度スコアが統合スコアに置き換えられたステップS1530 ～ステップS1580 の各処理とそれぞれ同様である。
　なお、本実施形態のシステム構成導出装置１１０による具体構成導出処理、ヒント情報付与処理、および類似度スコア算出処理は、図６に示す具体構成導出処理、図１０に示すヒント情報付与処理、および図１１に示す類似度スコア算出処理とそれぞれ同様である。
［効果の説明］
　本実施形態の第２具体化方針判断部１０７は、抽象構成に付与されたヒント情報を基に外部設計情報反映部１０３により計算された類似度スコアに加えて、抽象構成に対して計算される別の種類のスコアも参照する。第２具体化方針判断部１０７は、２種類のスコアを用いて、次に具体化すべきと考えられる抽象構成を選択する。
　本実施形態の第２具体化方針判断部１０７は、類似度スコアに加えて優先度スコア算出部１０８により算出される優先度スコアも考慮する。よって、本実施形態のシステム構成導出装置１１０は、外部設計装置の設計結果に類似しているという性質に加えて、優先度スコア算出部１０８により与えられる優先度を、具体構成に反映できる。
実施形態３．
［構成の説明］
　次に、本発明の第３の実施形態におけるシステム構成導出装置を、図面を参照して説明する。図１４は、本発明の第３の実施形態におけるシステム構成導出装置の構成例を示すブロック図である。
　本実施形態のシステム構成導出装置１２０は、図１に示すシステム構成導出装置１００と異なり、構成情報具体化部１０１が第２構成情報具体化部１０９に、具体化方針判断部１０２が第３具体化方針判断部１０Ａに、それぞれ置き換えられている。
　また、本実施形態のシステム構成導出装置１２０は、図１に示すシステム構成導出装置１００と異なり、外部設計情報反映部１０３を備えていない。また、システム構成導出装置１２０は、第２の実施形態の優先度スコア算出部１０８を備える。
　なお、本実施形態のシステム構成導出装置１２０は、図１に示すシステム構成導出装置１００と同様に、外部設計情報付与部１０４と、外部設計装置管理部１０５と、具体化規則記憶部１０６とを備える。図１４に示すように、外部設計情報付与部１０４、および優先度スコア算出部１０８は、第３具体化方針判断部１０Ａとそれぞれ接続されている。
［動作の説明］
　以下、本実施形態のシステム構成導出装置１２０がICT システムを設計する動作を図１５を参照して説明する。図１５は、第３の実施形態のシステム構成導出装置１２０による具体構成導出処理の動作を示すフローチャートである。
　ステップS3100 ～ステップS3700 の各処理は、図６に示すステップS1100 ～ステップS1700 の各処理とそれぞれ同様である。また、ステップS3800 の処理は、図６に示すステップS2000 の処理と同様である。
　すなわち、本実施形態の具体構成導出処理では、第１の実施形態の具体構成導出処理と異なり、ヒント情報付与処理が実行されない。
　次に、本実施形態の第３具体化方針判断部１０Ａが具体化方針を選択する動作を図１６を参照して説明する。図１６は、第３の実施形態の第３具体化方針判断部１０Ａによる具体化方針選択処理の動作を示すフローチャートである。
　最初に、第３具体化方針判断部１０Ａは、第２構成情報具体化部１０９から入力として抽象構成の集合を受け取る（ステップS3510 ）。
　次いで、第３具体化方針判断部１０Ａは、入力に含まれる全ての抽象構成を優先度スコア算出部１０８に入力する。抽象構成を入力された優先度スコア算出部１０８は、各抽象構成に対して優先度スコアをそれぞれ算出する（ステップS3520 ）。
　次いで、第３具体化方針判断部１０Ａは、優先度スコア算出部１０８からステップS3520 で算出された優先度スコアを受け取る。第３具体化方針判断部１０Ａは、受け取った優先度スコアのうち最大の優先度スコアをとる抽象構成Dmaxを１つ選択する（ステップS3530 ）。
　次いで、第３具体化方針判断部１０Ａは、追加具体化規則リスト生成処理を実行する（ステップS3540 ）。追加具体化規則リスト生成処理は、具体化規則Ｒの候補として、具体化規則記憶部１０６に管理されている具体化規則の集合に加えて、外部設計情報付与部１０４の出力結果が直接反映された追加具体化規則のリストを生成する処理である。
　追加具体化規則リスト生成処理が実行された後、第３具体化方針判断部１０Ａは、具体化規則記憶部１０６に管理されている具体化規則の集合と、ステップS3540 で生成された追加具体化規則の集合を取り出す。
　ステップS3550 ～ステップS3590 の各処理は、図１３に示すステップS2560 ～ステップS2600 の各処理とそれぞれ同様である。
　次に、本実施形態の第３具体化方針判断部１０Ａが追加具体化規則として具体化規則Ｒの候補に加えられる具体化規則のリストを生成する動作を図１７を参照して説明する。
　図１７は、第３の実施形態の第３具体化方針判断部１０Ａによる追加具体化規則リスト生成処理の動作を示すフローチャートである。なお、図１７に示す追加具体化規則リスト生成処理は、図１６に示すステップS3540 の処理である。
　最初に、第３具体化方針判断部１０Ａは、抽象構成Ｄを入力とする（ステップS3541 ）。なお、入力される抽象構成Ｄは、ステップS3530 で選択された抽象構成Dmaxである。
　次いで、第３具体化方針判断部１０Ａは、入力された抽象構成Ｄに適用する外部設計装置があるか否かを確認する（ステップS3542 ）。第３具体化方針判断部１０Ａは、例えば構成情報具体化部１０１がステップS1800 で用いる基準を、抽象構成Ｄに適用する外部設計装置があるか否かの判断基準に使用してもよい。
　外部設計装置を適用することが望ましくないと判断した場合（ステップS3542 におけるNo）、第３具体化方針判断部１０Ａは、追加具体化規則リストとして空のリストを出力する（ステップS3545 ）。追加具体化規則リストを出力した後、第３具体化方針判断部１０Ａは、具体化方針選択処理に戻る。
　抽象構成Ｄに適用する外部設計装置があると判断した場合（ステップS3542 におけるYes ）、第３具体化方針判断部１０Ａは、外部設計情報付与部１０４を呼び出し、適用する全ての外部設計装置各々のヒント情報（ｄ，ｄ＊）を取得する。次いで、第３具体化方針判断部１０Ａは、取得された全ヒント情報のリストを生成する（ステップS3543 ）。
　次いで、第３具体化方針判断部１０Ａは、ステップS3543 で生成された各ヒント情報（ｄ，ｄ＊）を基に、ｄを左辺、ｄ＊を右辺とし、追加制約が存在しないような具体化規則をそれぞれ生成する（ステップS3544 ）。
　次いで、第３具体化方針判断部１０Ａは、生成された具体化規則のリストを、追加具体化規則リストとして出力する（ステップS3545 ）。追加具体化規則リストを出力した後、第３具体化方針判断部１０Ａは、具体化方針選択処理に戻る。
［効果の説明］
　本実施形態のシステム構成導出装置１２０は、外部設計情報付与部１０４を介して得られた外部設計装置の出力結果が直接反映された抽象構成を、第２構成情報具体化部１０９による具体構成の探索処理の候補に加えることができる。
　よって、本実施形態のシステム構成導出装置１２０は、外部設計装置の設計結果がより直接的に反映されたシステム構成を導出できる。
実施形態４．
　次に、本発明の第４の実施形態におけるシステム構成導出装置を、図面を参照して説明する。図１８は、本発明の第４の実施形態におけるシステム構成導出装置の構成例を示すブロック図である。
　図１８に示すシステム構成導出装置２０は、未確定な部分が含まれているシステムの構成を示す情報である抽象構成情報の未確定な部分を確定することによって抽象構成情報を具体化する方法が規定された具体化規則と、所定の課題に限って抽象構成情報を具体化できる装置である外部設計装置による未確定な部分の具体化の結果を示す情報である具体化情報とに基づいて抽象構成情報を具体化する具体化部２１（例えば、構成情報具体化部１０１）を備える。
　そのような構成により、システム構成導出装置は、扱う課題を制限している外部設計装置の設計の傾向が反映されたシステム構成を導出できる。
　また、具体化部２１は、具体化規則を用いて抽象構成情報に含まれている未確定な部分の一部を確定する操作を繰り返し実行することによって抽象構成情報を具体化してもよい。
　そのような構成により、システム構成導出装置は、探索木を用いて抽象構成情報を具体化できる。
　また、システム構成導出装置２０は、次の実行対象の操作に関する情報であって、確定対象の未確定な部分の一部と用いられる具体化規則とを含む情報である操作情報を生成する生成部（例えば、具体化方針判断部１０２）を備え、具体化部２１は、生成された操作情報に従って操作を実行してもよい。
　そのような構成により、システム構成導出装置は、より効率的に抽象構成情報を具体化できる。
　また、システム構成導出装置２０は、具体化情報を利用して未確定な部分の一部の外部設計装置による具体化の結果と未確定な部分の一部との類似度を示す類似度スコアを算出する算出部（例えば、外部設計情報反映部１０３）を備え、生成部は、算出された類似度スコアを用いて操作情報を生成してもよい。
　そのような構成により、システム構成導出装置は、外部設計装置の設計に近づけるように抽象構成情報を具体化できる。
　また、生成部は、所定の基準に従って抽象構成情報から算出されたスコアを用いて操作情報を生成してもよい。
　そのような構成により、システム構成導出装置は、類似度スコア以外のスコアを用いて抽象構成情報を具体化できる。
　また、具体化部２１は、具体化情報を基に具体化規則を生成してもよい。
　そのような構成により、システム構成導出装置は、外部設計装置の設計結果がより直接的に反映されたシステム構成を導出できる。
　また、システム構成導出装置２０は、抽象構成情報に具体化情報を付与する付与部（例えば、外部設計情報付与部１０４）を備えてもよい。
　そのような構成により、システム構成導出装置は、外部設計装置の設計の傾向が反映されたシステム構成を単独で導出できる。
　また、具体化部２１は、具体化の結果として未確定な部分が含まれていないシステムの構成を示す情報である具体構成情報を出力してもよい。
　そのような構成により、システム構成導出装置は、未確定な部分を含まないシステム構成情報を導出できる。
　また、システム構成導出装置２０は、抽象構成情報の一部の情報に適用するための変換器等と関連付けて外部設計装置を管理する管理部（例えば、外部設計装置管理部１０５）を備えてもよい。
　そのような構成により、システム構成導出装置は、抽象構成情報の外部設計装置への入出力を容易に実行できる。
　また、システム構成導出装置２０は、具体化規則を記憶する記憶部（例えば、具体化規則記憶部１０６）を備えてもよい。
　以下、各実施形態のシステム構成導出装置のハードウェア構成の具体例を説明する。図１９は、本発明の各実施形態におけるシステム構成導出装置を実現可能な情報処理装置のハードウェア構成例を示す説明図である。
　図１９に示す情報処理装置（コンピュータ）は、ＣＰＵ（Central Processing Unit ）１１と、主記憶部１２と、通信部１３と、補助記憶部１４とを備える。また、ユーザが操作するための入力部１５や、ユーザに処理結果または処理内容の経過を提示するための出力部１６を備える。
　情報処理装置は、図１９に示すＣＰＵ１１が各構成要素が有する機能を提供するプログラムを実行することによって、ソフトウェアにより実現される。
　すなわち、ＣＰＵ１１が補助記憶部１４に格納されているプログラムを、主記憶部１２にロードして実行し、情報処理装置の動作を制御することによって、各機能がソフトウェアにより実現される。
　なお、図１９に示す情報処理装置は、ＣＰＵ１１の代わりにＤＳＰ（Digital Signal Processor）を備えてもよい。または、図１９に示す情報処理装置は、ＣＰＵ１１とＤＳＰとを併せて備えてもよい。
　主記憶部１２は、データの作業領域やデータの一時退避領域として用いられる。主記憶部１２は、例えばＲＡＭ（Random Access Memory）である。
　通信部１３は、有線のネットワークまたは無線のネットワーク（情報通信ネットワーク）を介して、周辺機器との間でデータを入力および出力する機能を有する。
　補助記憶部１４は、一時的でない有形の記憶媒体である。一時的でない有形の記憶媒体として、例えば磁気ディスク、光磁気ディスク、ＣＤ－ＲＯＭ（Compact Disk Read Only Memory ）、ＤＶＤ－ＲＯＭ（Digital Versatile Disk Read Only Memory ）、半導体メモリが挙げられる。
　入力部１５は、データや処理命令を入力する機能を有する。入力部１５は、例えばキーボードやマウス等の入力デバイスである。
　出力部１６は、データを出力する機能を有する。出力部１６は、例えば液晶ディスプレイ装置等の表示装置、またはプリンタ等の印刷装置である。
　また、図１９に示すように、情報処理装置において、各構成要素は、システムバス１７に接続されている。
　補助記憶部１４は、例えば第１の実施形態において、構成情報具体化部１０１、具体化方針判断部１０２、外部設計情報反映部１０３、外部設計情報付与部１０４、および外部設計装置管理部１０５を実現するためのプログラムを記憶している。
　また、補助記憶部１４は、例えば第２の実施形態において、構成情報具体化部１０１、外部設計情報反映部１０３、外部設計情報付与部１０４、外部設計装置管理部１０５、第２具体化方針判断部１０７、および優先度スコア算出部１０８を実現するためのプログラムを記憶している。
　また、補助記憶部１４は、例えば第３の実施形態において、外部設計情報付与部１０４、外部設計装置管理部１０５、優先度スコア算出部１０８、第２構成情報具体化部１０９、および第３具体化方針判断部１０Ａを実現するためのプログラムを記憶している。
　また、補助記憶部１４は、例えば第４の実施形態において、具体化部２１を実現するためのプログラムを記憶している。また、具体化規則記憶部１０６は、例えば主記憶部１２で実現される。
　なお、システム構成導出装置は、ハードウェアにより実現されてもよい。例えば、システム構成導出装置１００は、内部に図１に示すような機能を実現するＬＳＩ（Large Scale Integration ）等のハードウェア部品が含まれる回路が実装されてもよい。
　また、各構成要素の一部または全部は、汎用の回路（circuitry ）または専用の回路、プロセッサ等やこれらの組み合わせによって実現されてもよい。これらは、単一のチップ（例えば、上記のＬＳＩ）によって構成されてもよいし、バスを介して接続される複数のチップによって構成されてもよい。各構成要素の一部または全部は、上述した回路等とプログラムとの組み合わせによって実現されてもよい。
　各構成要素の一部または全部が複数の情報処理装置や回路等により実現される場合には、複数の情報処理装置や回路等は集中配置されてもよいし、分散配置されてもよい。例えば、情報処理装置や回路等は、クライアントアンドサーバシステム、クラウドコンピューティングシステム等、各々が通信ネットワークを介して接続される形態として実現されてもよい。
　以上、実施形態および実施例を参照して本願発明を説明したが、本願発明は上記実施形態および実施例に限定されるものではない。本願発明の構成や詳細には、本願発明のスコープ内で当業者が理解し得る様々な変更をすることができる。
　この出願は、２０１９年３月１日に出願された日本特許出願２０１９－０３７１８０を基礎とする優先権を主張し、その開示の全てをここに取り込む。
　また、上記の実施形態の一部又は全部は、以下の付記のようにも記載されうるが、以下に限られない。
　（付記１）未確定な部分が含まれているシステムの構成を示す情報である抽象構成情報の前記未確定な部分を確定することによって前記抽象構成情報を具体化する方法が規定された具体化規則と、所定の課題に限って前記抽象構成情報を具体化できる装置である外部設計装置による前記未確定な部分の具体化の結果を示す情報である具体化情報とに基づいて前記抽象構成情報を具体化する具体化部を備えることを特徴とするシステム構成導出装置。
　（付記２）前記具体化部は、前記具体化規則を用いて前記抽象構成情報に含まれている前記未確定な部分の一部を確定する操作を繰り返し実行することによって前記抽象構成情報を具体化する付記１記載のシステム構成導出装置。
　（付記３）次の実行対象の操作に関する情報であって、確定対象の前記未確定な部分の一部と用いられる前記具体化規則とを含む情報である操作情報を生成する生成部を備え、前記具体化部は、生成された前記操作情報に従って操作を実行する付記２記載のシステム構成導出装置。
　（付記４）前記具体化情報を利用して前記未確定な部分の一部の前記外部設計装置による具体化の結果と前記未確定な部分の一部との類似度を示す類似度スコアを算出する算出部を備え、前記生成部は、算出された前記類似度スコアを用いて前記操作情報を生成する付記３記載のシステム構成導出装置。
　（付記５）前記生成部は、所定の基準に従って前記抽象構成情報から算出されたスコアを用いて前記操作情報を生成する付記３または付記４記載のシステム構成導出装置。
　（付記６）前記具体化部は、前記具体化情報を基に前記具体化規則を生成する付記１から付記５のうちのいずれかに記載のシステム構成導出装置。
　（付記７）前記抽象構成情報に前記具体化情報を付与する付与部を備える付記１から付記６のうちのいずれかに記載のシステム構成導出装置。
　（付記８）前記具体化部は、具体化の結果として前記未確定な部分が含まれていないシステムの構成を示す情報である具体構成情報を出力する付記１から付記７のうちのいずれかに記載のシステム構成導出装置。
　（付記９）前記抽象構成情報の一部の情報に適用するための変換器と関連付けて前記外部設計装置を管理する管理部を備える付記１から付記８のうちのいずれかに記載のシステム構成導出装置。
　（付記１０）前記具体化規則を記憶する記憶部を備える付記１から付記９のうちのいずれかに記載のシステム構成導出装置。
　（付記１１）未確定な部分が含まれているシステムの構成を示す情報である抽象構成情報の前記未確定な部分を確定することによって前記抽象構成情報を具体化する方法が規定された具体化規則と、所定の課題に限って前記抽象構成情報を具体化できる装置である外部設計装置による前記未確定な部分の具体化の結果を示す情報である具体化情報とに基づいて前記抽象構成情報を具体化することを特徴とするシステム構成導出方法。
　（付記１２）コンピュータで実行されるときに、未確定な部分が含まれているシステムの構成を示す情報である抽象構成情報の前記未確定な部分を確定することによって前記抽象構成情報を具体化する方法が規定された具体化規則と、所定の課題に限って前記抽象構成情報を具体化できる装置である外部設計装置による前記未確定な部分の具体化の結果を示す情報である具体化情報とに基づいて前記抽象構成情報を具体化するシステム構成導出プログラムを記録したコンピュータ読み取り可能な記録媒体。
１１　ＣＰＵ
１２　主記憶部
１３　通信部
１４　補助記憶部
１５　入力部
１６　出力部
１７　システムバス
２０、１００、１１０、１２０　システム構成導出装置
２１　具体化部
１０１　構成情報具体化部
１０２　具体化方針判断部
１０３　外部設計情報反映部
１０４　外部設計情報付与部
１０５　外部設計装置管理部
１０６　具体化規則記憶部
１０７　第２具体化方針判断部
１０８　優先度スコア算出部
１０９　第２構成情報具体化部
１０Ａ　第３具体化方針判断部

Claims (12)

  1. 　未確定な部分が含まれているシステムの構成を示す情報である抽象構成情報の前記未確定な部分を確定することによって前記抽象構成情報を具体化する方法が規定された具体化規則と、所定の課題に限って前記抽象構成情報を具体化できる装置である外部設計装置による前記未確定な部分の具体化の結果を示す情報である具体化情報とに基づいて前記抽象構成情報を具体化する具体化部を備える
    　ことを特徴とするシステム構成導出装置。
  2. 　前記具体化部は、前記具体化規則を用いて前記抽象構成情報に含まれている前記未確定な部分の一部を確定する操作を繰り返し実行することによって前記抽象構成情報を具体化する
    　請求項１記載のシステム構成導出装置。
  3. 　次の実行対象の操作に関する情報であって、確定対象の前記未確定な部分の一部と用いられる前記具体化規則とを含む情報である操作情報を生成する生成部を備え、
    　前記具体化部は、生成された前記操作情報に従って操作を実行する
    　請求項２記載のシステム構成導出装置。
  4. 　前記具体化情報を利用して前記未確定な部分の一部の前記外部設計装置による具体化の結果と前記未確定な部分の一部との類似度を示す類似度スコアを算出する算出部を備え、
    　前記生成部は、算出された前記類似度スコアを用いて前記操作情報を生成する
    　請求項３記載のシステム構成導出装置。
  5. 　前記生成部は、所定の基準に従って前記抽象構成情報から算出されたスコアを用いて前記操作情報を生成する
    　請求項３または請求項４記載のシステム構成導出装置。
  6. 　前記具体化部は、前記具体化情報を基に前記具体化規則を生成する
    　請求項１から請求項５のうちのいずれか１項に記載のシステム構成導出装置。
  7. 　前記抽象構成情報に前記具体化情報を付与する付与部を備える
    　請求項１から請求項６のうちのいずれか１項に記載のシステム構成導出装置。
  8. 　前記具体化部は、具体化の結果として前記未確定な部分が含まれていないシステムの構成を示す情報である具体構成情報を出力する
    　請求項１から請求項７のうちのいずれか１項に記載のシステム構成導出装置。
  9. 前記抽象構成情報の一部の情報に適用するための変換器と関連付けて前記外部設計装置を管理する管理部を備える
    　請求項１から請求項８のうちのいずれか１項に記載のシステム構成導出装置。
  10. 　前記具体化規則を記憶する記憶部を備える
    　請求項１から請求項９のうちのいずれか１項に記載のシステム構成導出装置。
  11. 　未確定な部分が含まれているシステムの構成を示す情報である抽象構成情報の前記未確定な部分を確定することによって前記抽象構成情報を具体化する方法が規定された具体化規則と、所定の課題に限って前記抽象構成情報を具体化できる装置である外部設計装置による前記未確定な部分の具体化の結果を示す情報である具体化情報とに基づいて前記抽象構成情報を具体化する
    　ことを特徴とするシステム構成導出方法。
  12. 　コンピュータで実行されるときに、
    　未確定な部分が含まれているシステムの構成を示す情報である抽象構成情報の前記未確定な部分を確定することによって前記抽象構成情報を具体化する方法が規定された具体化規則と、所定の課題に限って前記抽象構成情報を具体化できる装置である外部設計装置による前記未確定な部分の具体化の結果を示す情報である具体化情報とに基づいて前記抽象構成情報を具体化する
    　システム構成導出プログラム
    を記録したコンピュータ読み取り可能な記録媒体。
PCT/JP2019/048619 2019-03-01 2019-12-12 システム構成導出装置およびシステム構成導出方法 WO2020179173A1 (ja)

Priority Applications (2)

Application Number Priority Date Filing Date Title
JP2021503412A JP7306448B2 (ja) 2019-03-01 2019-12-12 システム構成導出装置
US17/434,534 US20220131763A1 (en) 2019-03-01 2019-12-12 System configuration derivation device and system configuration derivation method

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
JP2019-037180 2019-03-01
JP2019037180 2019-03-01

Publications (1)

Publication Number Publication Date
WO2020179173A1 true WO2020179173A1 (ja) 2020-09-10

Family

ID=72338515

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/JP2019/048619 WO2020179173A1 (ja) 2019-03-01 2019-12-12 システム構成導出装置およびシステム構成導出方法

Country Status (3)

Country Link
US (1) US20220131763A1 (ja)
JP (1) JP7306448B2 (ja)
WO (1) WO2020179173A1 (ja)

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2023042257A1 (ja) * 2021-09-14 2023-03-23 日本電気株式会社 セキュアシステム自動設計装置、セキュアシステム自動設計方法、及びコンピュータ可読媒体
WO2023181121A1 (ja) * 2022-03-22 2023-09-28 日本電気株式会社 システム構成導出装置、システム構成導出方法および記録媒体
WO2023209994A1 (ja) * 2022-04-28 2023-11-02 日本電気株式会社 システム設計装置、システム設計方法、および記録媒体

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US11467947B2 (en) 2020-10-19 2022-10-11 EMC IP Holding Company LLC Automated mocking of computer system deployments
US11663112B2 (en) * 2020-10-22 2023-05-30 EMC IP Holding Company LLC Selection of computer system deployments to mock for testing

Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20130297544A1 (en) * 2012-05-02 2013-11-07 Sap Ag Reuse of On-Demand Enterprise System Customization Knowledge Utilizing Collective Experience

Family Cites Families (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP5159713B2 (ja) * 2009-06-30 2013-03-13 インターナショナル・ビジネス・マシーンズ・コーポレーション システムの構成要素の設計アーキテクチャを自動設計する自動設計装置、自動設計方法及び自動設計プログラム
US8560827B1 (en) * 2010-12-28 2013-10-15 Emc International Company Automatically determining configuration parameters for a system based on business objectives
US10664383B2 (en) * 2018-08-22 2020-05-26 Fujitsu Limited Automated software program repair of similar code snippets

Patent Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20130297544A1 (en) * 2012-05-02 2013-11-07 Sap Ag Reuse of On-Demand Enterprise System Customization Knowledge Utilizing Collective Experience

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
TAKAYUKI KURODA; TAKUYA KUWAHARA; TAKASHI MARUYAMA; YOICHI SATO: "Search-based network design generation scheme for close-loop automation of network operations", IEICE TECHNICAL REPORT, vol. 118, no. 118 (ICM2018-11), 28 June 2018 (2018-06-28), pages 1 - 6, XP009523272 *

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2023042257A1 (ja) * 2021-09-14 2023-03-23 日本電気株式会社 セキュアシステム自動設計装置、セキュアシステム自動設計方法、及びコンピュータ可読媒体
WO2023181121A1 (ja) * 2022-03-22 2023-09-28 日本電気株式会社 システム構成導出装置、システム構成導出方法および記録媒体
WO2023209994A1 (ja) * 2022-04-28 2023-11-02 日本電気株式会社 システム設計装置、システム設計方法、および記録媒体

Also Published As

Publication number Publication date
US20220131763A1 (en) 2022-04-28
JPWO2020179173A1 (ja) 2020-09-10
JP7306448B2 (ja) 2023-07-11

Similar Documents

Publication Publication Date Title
WO2020179173A1 (ja) システム構成導出装置およびシステム構成導出方法
TWI530890B (zh) 使用以邏輯多維度標籤為基礎之原則模型的分散式網路管理
CN107533483B (zh) 服务编排
US8719253B2 (en) Method and apparatus for efficiently organizing hierarchical QoS policies
US8635605B2 (en) Automated deployment implementation with a deployment topology model
US10146814B1 (en) Recommending provisioned throughput capacity for generating a secondary index for an online table
KR101355273B1 (ko) 컴퓨팅 시스템 및 그 실행 제어 방법과, 그 실행 제어 프로그램을 기록한 기록 매체
US9535949B2 (en) Dynamic rules to optimize common information model queries
US8793646B2 (en) Aggregation of constraints across profiles
US10984048B2 (en) Efficient graph database traversal
CN112087379A (zh) 业务链的编排方法及装置、存储介质和电子装置
JPWO2010116613A1 (ja) アクセス制御ポリシテンプレート生成装置、システム、方法およびプログラム
JPWO2015079612A1 (ja) 仮想ミドルボックス管理システム、仮想ミドルボックス管理方法および仮想ミドルボックス管理用プログラム
WO2013185166A1 (en) System management tool
US8271538B2 (en) Automated generation of modeling language profiles
US9363294B2 (en) Management server, tenant pattern validation method, and computer system
CN110807028A (zh) 用于管理存储系统的方法、设备和计算机程序产品
US8086436B2 (en) Preliminary data representations of a deployment activity model
US20090112566A1 (en) Automated generation of executable deployment code from a deployment activity model
US11750443B2 (en) System configuration derivation device, method, and computer-readable recording medium
US20210311942A1 (en) Dynamically altering a query access plan
JP7264261B2 (ja) ネットワーク管理装置、方法およびプログラム
JP4175280B2 (ja) コンピュータネットワーク管理システム、コンピュータネットワーク管理方法およびプログラム
US11727157B2 (en) Building an encrypted document store
US20230289237A1 (en) Automated nesting of existing stacks in a root stack within an aws environment

Legal Events

Date Code Title Description
121 Ep: the epo has been informed by wipo that ep was designated in this application

Ref document number: 19917877

Country of ref document: EP

Kind code of ref document: A1

ENP Entry into the national phase

Ref document number: 2021503412

Country of ref document: JP

Kind code of ref document: A

NENP Non-entry into the national phase

Ref country code: DE

122 Ep: pct application non-entry in european phase

Ref document number: 19917877

Country of ref document: EP

Kind code of ref document: A1