System analysis apparatus and system analysis method

A system analysis apparatus for each of a first module and a second module included in an information system to be analyzed, comprising:

• a storage unit which stores state information indicating a plurality of states of the system identified by state identifiers, and transition information including state transition information indicating a transition between said plurality of states and classification information indicating whether the transition is an automatic one or a manual one;
• a first synthesis unit configured to generate an automatic state transition model by synthesizing a state transition involving only the automatic transition in the first module with a state transition involving only the automatic transition in the second module;
• an analysis unit configured to acquire restriction information indicating a restriction to be satisfied in the case where the information system is normal and to specify an anomalous state failing to satisfy the restriction in the automatic state transition model;
• a second synthesis unit configured to generate a manual state transition model by synthesizing a state transition involving only the manual transition in the first module with a state transition involving only the manual transition in the second module;
• and
• an output unit configured to retrieve the transition from the anomalous state specified by the analysis unit to the normal state in the manual state transition model, to generate a management work with reference to the retrieval result, and to output the management work information indicating the generated management work as related to the anomalous state.

A system analysis method for an information system to be analyzed, the method comprising:

• storing state information indicating a plurality of states of the system identified by state identifiers, and transition information including state transition information indicating a transition between said plurality of states and classification information indicating whether the transition is an automatic one or a manual one;
• acquiring restriction information indicating a restriction to be satisfied in the case where the information system is normal and specifying an anomalous state of the information system failing to satisfy the restriction based on the restriction information acquired and the transition information;
• retrieving the transition from the anomalous state to the normal state based on the state information and the transition information, and generating a management work with reference to the retrieval result;
• and
• outputting management work information indicating the management work as related to the anomalous state.

A system analysis method for each of a first module and a second module of an information system to be analyzed, the method comprising:

• storing state information indicating a plurality of states of the system identified by state identifiers, and transition information including state transition information indicating a transition between said plurality of states and classification information indicating whether the transition is an automatic one or a manual one;
• generating an automatic state transition model by synthesizing a state transition involving only the automatic transition in the first module with a state transition involving only the automatic transition in the second module;
• acquiring restriction information indicating a restriction to be satisfied in the case where the information system is normal and specifying an anomalous state failing to satisfy the restriction in the automatic state transition model;
• generating a manual state transition model by synthesizing a state transition involving only the manual transition in the first module with a state transition involving only the manual transition in the second module;
• retrieving the transition from the anomalous state to the normal state in the manual state transition model and generating a management work with reference to the retrieval result;
• and
• outputting management work information indicating the management work as related to the anomalous state.

A computer-readable recording medium having recorded therein a computer program for system analysis, wherein the computer program, when executed by a computer, performs the steps of:

• storing, for an information system to be analyzed, state information indicating a plurality of states of the system identified by state identifiers, and transition information including state transition information indicating a transition between said plurality of states and classification information indicating whether the transition is an automatic one or a manual one;
• acquiring restriction information indicating a restriction to be satisfied in the case where the information system is normal and specifying an anomalous state of the information system failing to satisfy the restriction based on the restriction information acquired and the transition information;
• retrieving the transition from the anomalous state to the normal state based on the state information and the transition information, and generating a management work with reference to the retrieval result;
• and
• outputting management work information indicating the management work as related to the anomalous state.

A computer-readable recording medium having recorded therein a computer program for system analysis, wherein the computer program, when executed by a computer, performs the steps of:

• storing, for each of a first module and a second module of an information system to be analyzed, state information indicating a plurality of states of the system identified by state identifiers, and transition information including state transition information indicating a transition between said plurality of states and classification information indicating whether the transition is an automatic one or a manual one;
• generating an automatic state transition model by synthesizing a state transition involving only the automatic transition in the first module with a state transition involving only the automatic transition in the second module;
• acquiring restriction information indicating a restriction to be satisfied in the case where the information system is normal and specifying an anomalous state failing to satisfy the restriction in the automatic state transition model;
• generating a manual state transition model by synthesizing a state transition involving only the manual transition in the first module with a state transition involving only the manual transition in the second module;
• retrieving the transition from the anomalous state to the normal state in the manual state transition model and generating a management work with reference to the retrieval result;
• and
• outputting management work information indicating the management work as related to the anomalous state.