Patent Document ID: 20090187889
Application ID: 12017139
Patent Status: 0

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, using a resolution strategy tree, for each resolution that resolves an inconsistency, analyzing 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 traversing the resolution strategy tree, wherein all resolution strategies derived by traversing the resolution strategy tree lead to a resolution cycle if the resolution strategy tree is infinite; 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.