1. A method for guided resolution of inter-model inconsistencies, comprising: grouping inconsistencies, detected as a result of a model-driven software development process, into model partitions within a list by analyzing relationships between the underlying models and identifying model partitions that are capable of being processed independently from one another during a resolution process; assigning priorities to models that contribute to the detected inconsistencies and inconsistency types, the priorities determining an order in which corresponding inconsistencies are presented to a user during the resolution process; reordering the list of inconsistencies to minimize the number of context switches during the resolution process, comprising: grouping the inconsistencies for a selected model partition by a corresponding abstract model context to produce groups A 1 , . . . , Am; ordering the groups A 1 , . . . , Am by average model priority; grouping the inconsistencies within each of the ordered groups Ai by abstract model element context, resulting in groups B 1 A1 , . . . , Bn Am ; ordering the groups B 1 A1 , . . . , Bn Am by one of a partial order ( amec) defined for corresponding abstract model element contexts and a total order derived from the amec; grouping inconsistencies inside each of the groups Bj Ai by inconsistency type to produce groups C 1 B1A1 , . . . , Co BnAm ; and ordering the groups C 1 B1A1 , . . . , Co BnAm by inconsistency type priority; and presenting, via a user interface screen, a listing of the inconsistencies and associated resolutions resulting from the reordering to the user at a client system; wherein the user applies a selected resolution for each of the inconsistencies presented via the user interface screen.
1. A method for guided resolution of inter-model inconsistencies, comprising: grouping inconsistencies, detected as a result of a model-driven software development process, into model partitions within a list by analyzing relationships between the underlying models and identifying model partitions that are capable of being processed independently from one another during a resolution process; assigning priorities to models that contribute to the detected inconsistencies and inconsistency types, the priorities determining an order in which corresponding inconsistencies are presented to a user during the resolution process; reordering the list of inconsistencies to minimize the number of context switches during the resolution process, comprising: grouping the inconsistencies for a selected model partition by a corresponding abstract model context to produce groups A 1 , . . . , Am; ordering the groups A 1 , . . . , Am by average model priority; grouping the inconsistencies within each of the ordered groups Ai by abstract model element context, resulting in groups B 1 A1 , . . . , Bn Am ; ordering the groups B 1 A1 , . . . , Bn Am by one of a partial order ( amec) defined for corresponding abstract model element contexts and a total order derived from the amec; grouping inconsistencies inside each of the groups Bj Ai by inconsistency type to produce groups C 1 B1A1 , . . . , Co BnAm ; and ordering the groups C 1 B1A1 , . . . , Co BnAm by inconsistency type priority; and presenting, via a user interface screen, a listing of the inconsistencies and associated resolutions resulting from the reordering to the user at a client system; wherein the user applies a selected resolution for each of the inconsistencies presented via the user interface screen. 3. The method of claim 1 , wherein the abstract model context of the inconsistency i (amc(i)), is a subset of its model context that comprises only those models that contain elements of its abstract model element context.