Patent Document ID: 8166453
Application ID: 12017139
Patent Status: 1

Claim One:
1. A method for inconsistency resolution in a model-driven software development environment, comprising: presenting detected inconsistencies and corresponding resolutions to a user via user interface screen; performing a safety analysis for each of the resolutions to determine whether the resolution, if applied to a current model, will lead to a resolution cycle when applied to a given inconsistency, the resolution cycle occurring when a chain of resolutions that begins by resolving an inconsistency introduces the same inconsistency as a side effect, the determination comprising: processing a resolution tree for the inconsistency and, for each resolution that resolves an inconsistency, analyzing, via a resolution strategy tree having a plurality of nodes labeled with inconsistencies and resolutions, whether beginning with the resolution, it is possible to resolve all the inconsistencies subsequently introduced as side effects without a resolution cycle occurring, the analyzing including a preordered traversing of the resolution strategy tree using a root node and at least one child node to determine whether any resolution strategies derived leads to a resolution cycle, wherein all resolution strategies derived lead to the resolution cycle if the resolution strategy tree is infinite; refining the resolution strategy tree by determining, for each resolution type, a resolution type tree including a type of inconsistency that is resolved and introduced as a side effect; categorizing the resolution that resolves the inconsistency into a safety category based upon the analysis; and applying a resolution for the inconsistency based upon the resolution category.