Patent ID: 8296722

Claim:
A method executed by a processor and comprising: defining a transformation tree for an object model, the transformation tree having a plurality of tree nodes connected to one another by a plurality of tree edges, the transformation tree being a directed acyclic graph in which each tree node is connected to at most one other tree node, each tree node corresponding to a state of the object model, each tree edge corresponding to an event causing the object model to transition from a state of one tree node to a state of another tree node; constructing a transformation graph for the object model by simulating the transformation tree for the object model, the transformation graph having a plurality of graph nodes connected to one another by a plurality of graph edges, the transformation graph being a directed graph in which each graph node is connected to one or more other graph nodes, each graph node corresponding to a state of the object model, each graph edge corresponding to an event causing the object model to transition from a state of one graph node to a state of another graph node; performing one or more crawling-oriented actions in relation to the object model by performing the crawling-oriented actions in relation to the transformation graph for the object model that has been constructed; and, displaying results of the crawling-oriented actions performed in relation to the object model, wherein the transformation graph is different from the transformation tree.