| 摘要 |
<P>PROBLEM TO BE SOLVED: To support graph conversion by presenting the application place of a conversion operation satisfying an equivalence relationship to a manager after selecting the conversion operation when converting a graph in which the equivalence relationship is defined. Ž<P>SOLUTION: When an input device 20 transmits input information to an input analyzing means 100, the input analyzing means 100 specifies a conversion operation K from the received input information, and transmits the conversion operation K as a search signal to a searching means S<SB>K</SB>. The searching means S<SB>K</SB>acquires the data structure of the graph stored in a graph storage area 140 of a storage device 50, specifies the application place that can apply the conversion operation K, and transmits information of the application place to an equivalence decision means J<SB>K</SB>. The equivalence decision means J<SB>K</SB>acquires the data structure of the graph, uses the data structure of the graph to determine whether the application place satisfies an equivalence condition C<SB>K</SB>, and transmits information of the application place satisfying the equivalence condition C<SB>K</SB>to a drawing means 130. The drawing means 130 draws the information showing the application place on a widget 60. Ž<P>COPYRIGHT: (C)2010,JPO&INPIT Ž
|
