Patent ID: 8332254
Filing Date: 2012-12-11
Classification: G06F,G06Q

Abstract:
1. A method for automatic identification, performed by a processing device of a computer in a data processing system, of an insertion point in a first model stored in memory of the computer for a predetermined element t of a second model, the method comprising the computer processing device performing insertion point identification process steps of: providing in the memory a comparison of first and second models defining correspondence between elements of the models; analyzing a sequence order of elements in the second model to identify predecessor and successor elements of element t in the second model; using said comparison to identify a set of first model predecessors, comprising elements of the first model which correspond to said predecessor elements in the second model, and a set of first model successors comprising elements of the first model which correspond to said successor elements in the second model; and for pairs of adjacent elements x, y in the first model, comparing positions of the elements x, y in a sequence order of the first model with positions of elements in the sets of first model predecessors and successors, and determining if a position of an edge between elements x and y relative to the first model predecessors and successors is not inconsistent with the sequence order of the element t and the predecessor and successor elements in the second model and identifying the edge as an insertion point if the position of the edge between elements x and y is determine to be consistent; wherein the position of the edge relative to the first model predecessors and successors is deemed not inconsistent with said sequence order in the second model if: (c) the element x is either a successor of, or is not ordered with respect to, all first model predecessors, OR (d) the element x is a disjunctive element that does not satisfy condition (c) AND the element y is either a successor of, or is not ordered with respect to, all first model predecessors AND (e) the element y is either a predecessor of, or is not ordered with respect to, all successors, OR (f) the element y is a conjunctive element that does not satisfy condition (e) AND the element x is either a predecessor of, or is not ordered with respect to, all successors.