US 8,572,551 B2 · Difference log production for model merging

Abstract

Methods and apparatus are provided for production of a difference log in a data processing system. The difference log defines differences between process models defined in system memory. For each of the process models, model structure data provided in memory defines a hierarchy of SESE regions representing the structure of that model. Also provided in memory are model comparison data defining correspondences between elements of the models, and region comparison data defining correspondences between regions of the SESE region hierarchies for the models. The model comparison and region comparison data are analyzed to identify differences between the SESE region hierarchies, and a difference log defining said differences is produced. In preferred systems, the model structure data and the region comparison data are computed for the models, and the difference log has a hierarchical structure corresponding to the structure of the process models.

Claims20

Dependent claims

A method for production in a data processing system of a difference log defining differences between a plurality of process models defined in memory of the system, the method comprising:

for each process model of the plurality of process models, providing, in a memory, model structure data defining a hierarchy of Single-Entry-Single-Exit (SESE) regions representing the structure of that process model;
providing, in the memory, model comparison data defining correspondences between elements of the process models;
comparing regions of the SESE region hierarchies defined by said model structure data to detect correspondences between regions and to generate region comparison data defining the correspondences and providing, in the memory, region comparison data defining correspondences between regions of SESE region hierarchies for the process models;
analyzing the model comparison data and the region comparison data to identify differences between the SESE region hierarchies;
and
producing a difference log defining said differences in the memory, the difference log indicating, for each difference, a region of at least one of said SESE region hierarchies in which that difference occurs.

3 more elements

A system for producing a difference log defining differences between process models, the system comprising:

memory storing, for each of the process models, model structure data defining a hierarchy of Single-Entry-Single-Exit (SESE) regions representing the structure of that process model, model comparison data defining correspondences between elements of the process models, and region comparison data defining correspondences between regions of SESE region hierarchies for the process models;
and
control logic configured to compare regions of the SESE region hierarchies defined by said model structure data to detect correspondences between regions, and to generate and store in the memory region comparison data and to analyze the model comparison data and the region comparison data to identify differences between the SESE region hierarchies, and to produce and store, in the memory, a difference log defining said differences, the difference log indicating, for each difference, a region of at least one of said SESE region hierarchies in which that difference occurs.

Dependencies are inferred from the claim text.

Difference log production for model merging

Life of this patent

Difference log production for model merging

Life of this patent

Abstract

Claims20