Abstract: A state transition definition table describes state transition definitions. A state transition table generation class is generated from the state transition definition table. A state transition management module controls the state transition of screens utilizing a state transition table generated from a state transition table generation class, based on the input of events derived from screens. A state transition management module controls the display of screens based on the state transition thereof.

Abstract: In a distributed client-server system a client is connected to an arbitrary server using a communication module common to a plurality of servers and it uses data, etc. of each server by switching over its connection. At this time basically there is no need for communication and the replication of data between the servers.

Abstract: A job model with which an organization model representing an organization structure, a document model representing a document structure, and a work model representing a work procedure are correlated, is stored independent from a service model defining each service. When a service is performed, with reference to the job model corresponding to the service model, a service executing module causes a tool control module to control a tool. Thus, the required service is accomplished.

Abstract: A restricting condition extracting unit analyzes an error determination portion included in a program to be analyzed and extracts a restricting condition of a particular variable. A variable categorizing unit analyzes the relation among variables used in an executable statement in the program to be analyzed and categorizes the variables corresponding to the analyzed result. A domain definition extracting unit outputs domain relation information representing a domain to which a plurality of variables belong and the relation among variables that belong to the domain using the output of the restricting condition extracting unit and the variable categorizing unit. The domain definition information is graphically displayed so that the user can easily understand the content thereof.

Abstract: A variable type analyzing unit detects the data types of each variable. A variable length analyzing unit detects the length of each variable. A partial reference unit detects the range of a partial reference when part of a variable is referred to. An internal layout analyzing unit checks the range to which data is actually referred and to which data is actually assigned based on the information on each variable obtained by the above units. A domain analyzing unit categorizes variables used in a target program by domain based on the ranges.

Abstract: A control flow is prepared by connecting blocks in an execution order, each block not including a branch and comprising a series of statement, based on a syntactical analysis of a program. A second control flow is prepared by cutting the first control flow at one portion and combining the cut result with a symbol designating a loop. A third control flow is prepared by expressing a portion of a loop, branch and merge in the second control flow and the second control flow in a hierarchical manner. The third control flow expresses a portion of a sequential execution other than the loop, branch and merge, a portion of the loop, and a portion of a branch and merge in a hierarchical order by using a symbol for a sequential execution. A specification of the program is extracted by using the third control flow.