JPH05127882A - Extracting device for difference of state transition diagram - Google Patents

Abstract

PURPOSE:To mechanically calculate the difference between two state transition diagrams with no manual operation by calculating the logical difference between the state transition information. CONSTITUTION:The state transition storage means 11 and 12 store the state transition information using the nodes and the arcs as the elements. A state transition comparator means 13 compares the stable state of the state transition information stored in the means 11 with that stored in the means 12 and extracts the difference between both stable states. Then the means 13 extracts the difference of transition between the stable states of the state transition information stored in both means 11 and 12 and the next state.

Description

Detailed Description of the Invention

[0001]

BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a state transition diagram difference extracting device, and more particularly to a state transition diagram difference extracting device for supporting system development using state transition.

[0002]

2. Description of the Related Art In a development type system in which versions are repeated by modification / improvement, a plurality of versions of a state transition diagram representing the operating specifications of the system are created corresponding to the versions of the system. In the past, the system designer had to manually know the difference between the state transition diagrams of different versions.

[0003]

Since the conventional method of knowing the difference between the state transition diagrams is performed manually by the system designer, the state transition information becomes large and the number of version upgrades increases. However, in such a case, there is a problem that it requires a huge amount of labor and causes an error.

In view of the above points, an object of the present invention is to allow a difference between two state transition diagrams to be mechanically obtained by calculating a logical difference of state transition information without relying on human hands. To provide a state transition diagram difference extraction device.

[0005]

A state transition diagram difference extraction device of the present invention compares a state transition storage unit holding state transition information with two state transition information stored in the state transition storage unit to obtain a difference. And state transition comparing means for extracting

[0006]

In the state transition diagram difference extraction device of the present invention, the state transition storage means holds the state transition information, and the state transition comparison means compares the two state transition information held in the state transition storage means to extract the difference. To do.

[0007]

The present invention will be described in detail with reference to the drawings.

FIG. 1 is a block diagram showing the configuration of a state transition diagram difference extraction device according to an embodiment of the present invention. The state transition diagram difference extraction apparatus of the present embodiment includes state transition information that the state transition diagram has, that is, state transition storage means 11 and state transitions that respectively hold identifiers, attributes, and connection relationships of nodes and arcs that form the state transition diagram. Storage means 12
And the state transition storage means 11 and the state transition storage means 12
The main part is composed of the state transition comparison means 13 that compares the two state transition information held in the state transition information and outputs the state transition information existing in the state transition storage means 11 and not existing in the state transition storage means 12 as a difference. Has been done.

FIG. 2 shows state transition storage means 11 and 12.
It is a figure which shows the structure of. State transition storage means 11 and 1
2 holds nodes and arcs as elements.
Each node has a unique node identifier 21 in the state transition storage means 11 and 12 and an arc list 22 of arcs whose transition source is the node. Further, the node can have a plurality of attributes 23 including attribute names and attribute values. The arc has an arc identifier 24, a transition source node 25, and a transition destination node 26 that are unique within the state transition storage means 11 and 12. Further, the arc can have a plurality of attributes 27 including attribute names and attribute values.

Here, the state transition information handled by the state transition diagram difference extraction apparatus of this embodiment has the following properties. The node has two attributes 23, a node type and a node name. The node type has state (stable state), input (input), decision (conditional branch), etc. as attribute values, and corresponds to the node symbol in the state transition diagram. -The designer of the state transition diagram can arbitrarily assign the attribute value of the node name. However, the stable state has a unique name in the state transition information that includes it. -Arc has a transition condition as an attribute. Attribute value is Y
The designer can arbitrarily specify by es, No, casel, case2, or the like. However, if it is not a branch, the attribute value is "empty".

FIG. 3 is a flow chart showing the processing procedure of the state transition comparing means 13. First, the state transition comparison means 13
Calls the stable state comparison processing routine 32 and takes the difference between the stable state of the state transition storage means 11 and the stable state of the state transition storage means 12 (step 31). Step 31
Then, the state transition storage means 11 and the state transition storage means 12
Since the stable states existing in both of the states are known, the state transition comparing unit 13 calls the transition comparison processing routines 34 for all of them by using the node name as an argument, thereby changing the stable state (state) to the next state (next state).
The difference between the transitions up to e) is calculated (step 33).

FIG. 4 is a flowchart showing the processing procedure of the stable state comparison processing routine 32. The stable state comparison processing routine 32 first searches the state transition storage means 11, extracts only stable states, and creates a list S1. That is, only nodes whose node type is stable are listed (step 41). Similarly, the stable state comparison processing routine 32 creates a stable state list S2 from the state transition storage means 12 (step 42). next,
The stable state comparison processing routine 32 uses the list difference Sd,
That is, a list of stable states existing in the state transition storage means 11 but not in the state transition storage means 12 is obtained (step 43). At this time, in the match / mismatch of stable states, the node names are compared to determine whether or not they match. Finally,
The stable state comparison processing routine 32 outputs the difference Sd by some method (step 44). For example, all transition paths from the stable state to the next state included in the difference Sd are flushed, changed in color, or printed out on the state transition diagram.

FIG. 5 is a flowchart showing the processing procedure of the transition comparison processing routine 34. Transition comparison processing routine 34
Is called with the node name as an argument. At this time, the target stable state is (S1-Sd), that is, the stable state existing in both the state transition storage means 11 and the state transition storage means 12. The transition comparison processing routine 34 first searches for nodes and arcs in the state transition storage means 11,
A list P1 of transition paths from the designated stable state to the transition to the next stable state is created (step 51). Similarly, the transition comparison processing routine 34 searches the state transition storage means 12 and creates a list P2 of transition paths from the designated stable state to the transition to the next stable state (step 52). Then, the transition comparison processing routine 34
Is the difference Pd of the list, that is, the state transition storage means 11
A list of transition paths existing in the state transition storage means 12 but not in the state transition storage means 12 is obtained (step 53). At this time, in the match / mismatch of the transition paths, the attributes of both the node and the arc are compared to determine whether they match. Finally, the transition comparison processing routine 34 outputs the difference Pd by some method (step 54). For example, the difference Pd on the state transition diagram
Flush, change colors, and print out transition paths included in.

FIG. 6 is a diagram showing an example of the state transition information stored in the state transition storage means 11. For example, in the node N1 in FIG. 6, the arc whose transition source is the node N1 is A
1, A2, and A3, the attributes of which are the node type “state” and the node name “Sta”.
te — 1 ″. The arc A1 is the node N.
It indicates that the transition condition is "empty" at the transition from 1 to the node N2.

FIG. 7 shows a state transition diagram corresponding to the state transition information of FIG.

Similarly, FIG. 8 shows the state transition storage means 1
2 is a diagram showing an example of state transition information stored in FIG.

FIG. 9 shows a state transition diagram corresponding to the state transition information of FIG.

Next, the operation of the state transition diagram difference extraction device of the present embodiment thus constructed will be described with reference to the drawings along with a concrete execution example. In this execution example, the display of the difference is represented by changing the color on the state transition diagram.

First, the state transition comparison means 13 has the state transition information stored in the state transition storage means 11, that is, FIG.
First, the stable state comparison processing routine 32 is called in order to obtain the difference between the state transition information and the state transition information stored in the state transition storage means 12, that is, the state transition information of FIG. 8 (step 31).

The stable state comparison processing routine 32 first retrieves the state transition information shown in FIG. 6, and the stable state list S1 only.
Are created as follows (step 41). However, ()
Inside is an attribute, and in this case is (node type, node name) (the same applies hereinafter).

S1 = {N1 (state, State_
1), N6 (state, State_3), N11
(State, State_2)}

Similarly, a stable state comparison processing routine 3
2 is a list S of only stable states from the state transition information of FIG.
2 is made as follows (step 42).

S2 = {N1 (state, State_
1), N8 (state, State_2)}

"State_1" and "State-2"
Since the stable states of and exist in both the list S1 and the list S2, the stable state comparison processing routine 32 determines the difference Sd.
Is calculated as follows (step 43).

Sd = {N6 (state, State_3)}

Since the transition path from the stable state to the next state of this "State_3" is as follows, the stable state comparison processing routine 32 changes the color of this transition path on the state transition diagram to the state shown in FIG. Display as shown (step 44). However, in FIG. 10, for convenience of expression, a portion where the color is changed is surrounded by a dotted line.

N6 (state, State_3)-
A9 ()-N8 (input, Input_4) -A1
3 ()-N11 (state, State_2)

Of the stable states in the state transition storage means 11, the stable state also existing in the state transition storage means 12 is N1.
(State, State_1) and N11 (sta
te, State_2), the state transition comparison means 13 first calls the transition comparison processing routine 34 with "State_1" as an argument (step 33).

The transition comparison processing routine 34 searches the state transition information shown in FIG. 6 and creates a list P1 of transition paths from the stable state of "State_1" to the next state (step 5).
1).

P1 = {. Multidot.N1 (state, State_1) -A1 ()-N
2 (input, Input_1) -A4 ()-N7
(Task, Task) -A10 ()-N9 (outp
ut, Output_1) -A11 ()-N11 (st
ate, State_2), N1 (state, State_1) -A2 ()-N
3 (input, Input_2) -A5 ()-N5
(Decision, Decision) -A7 (Ye
s) -N7 (task, Task) -A10 ()-N9
(Output, Output_1) -A11 ()-N
11 (state, State_2), N1 (state, State_1) -A2 ()-N
3 (input, Input_2) -A5 ()-N5
(Decision, Decision) -A8 (N
o) -N10 (output, Output_2) -A
12 ()-N11 (state, State_2),-N1 (state, State_1) -A3 ()-N
4 (input, Input_3) -A6 ()-N6
(State, State_3)}

Similarly, the transition comparison processing routine 34
Creates a list P2 of transition paths from the state transition information of FIG. 8 (step 52).

P2 = {. N1 (state, State_1) -A1 ()-N
2 (input, Input_1) -A3 ()-N4
(Task, Task) -A6 ()-N6 (outpu
t, Output_1) -A8 ()-N8 (stat
e, State_2), N1 (state, State_1) -A2 ()-N
3 (input, Input_2) -A4 ()-N5
(Decision, Decision) -A5 (Ye
s) -N6 (output, Output_1) -A8
() -N8 (state, State_2),-N1 (state, State_1) -A2 ()-N
3 (input, Input_2) -A4 ()-N5
(Decision, Decision) -A7 (N
o) -N7 (output, Output_2) -A9
() -N8 (state, State_2),}

Next, the transition comparison processing routine 34 determines the following difference Pd by comparing the attributes of the nodes and arcs in the transition path between the list P1 and the list P2 (step 53).

Pd = {. N1 (state, State_1) -A2 ()-N
3 (input, Input_2) -A5 ()-N5
(Decision, Decision) -A7 (Ye
s) -N7 (task, Task) -A10 ()-N9
(Output, Output_1) -A11 ()-N
11 (state, State_2), N1 (state, State_1) -A3 ()-N
4 (input, Input_3) -A6 ()-N6
(State, State_3)}

Finally, the transition comparison processing routine 34 changes the color of this transition path on the state transition diagram and displays it as shown in FIG. 11 (step 54). However, in FIG. 11, for convenience of expression, a portion where the color is changed is surrounded by a dotted line.

Then, the state transition comparing means 13 outputs "St
Similarly, the transition comparison processing routine 34 is called with "ate_2" as an argument, but since the lists P1 and P2 and the difference Pd are not present, the control is returned as it is, and the processing is ended.

[0037]

As described above, according to the present invention, the state transition storing means for holding the state transition information and the state transition comparing means for comparing the two state transition information held in the state transition storing means and extracting the difference are provided. By providing the above, there is an effect that the difference between the two state transition diagrams can be mechanically obtained without relying on human hands.

[Brief description of drawings]

FIG. 1 is a block diagram showing a configuration of a state transition diagram difference extraction device according to an embodiment of the present invention.

FIG. 2 is a diagram showing a structure of a state transition storage means in FIG.

FIG. 3 is a diagram showing a processing procedure of a state transition comparison means in FIG.

FIG. 4 is a diagram showing a processing procedure of a stable state comparison processing routine in FIG.

5 is a diagram showing a processing procedure of a transition comparison processing routine in FIG.

6 is a diagram showing an example of state transition information stored in a state transition storage means in FIG.

FIG. 7 is a state transition diagram corresponding to the state transition information of FIG.

8 is a diagram showing another example of the state transition information stored in the state transition storage means in FIG.

9 is a state transition diagram corresponding to the state transition information of FIG.

10 is a diagram showing an output example of a stable state comparison processing routine in FIG.

11 is a diagram showing an output example of a transition comparison processing routine in FIG.

[Explanation of symbols]

 11 State Transition Storage Means 12 State Transition Storage Means 13 State Transition Comparison Means 21 Node Identifier 22 Arc List 23 Attribute 24 Arc Identifier 25 Transition Source Node 26 Transition Destination Node 27 Attribute 32 Stable State Comparison Processing Routine 34 Transition Comparison Processing Routine

Claims (1)

[Claims] 1. A state transition storing means for holding state transition information, and a state transition comparing means for comparing two state transition information held in the state transition storing means and extracting a difference. State transition diagram difference extraction device.