Limitations of UM-Tool/1
Inconsistencies arising during the modeling process are dealt with in an inadequate way:
not localized, distributed in the stereotypes;
heterogeneous, mixing together declarative knowledge (about the contradictory situations), procedural knowledge (about the operations needed to restore consistency), and information about the chains of reasoning (to be used when an inconsistency arises);
feasible only in the easy cases (short chains of dependencies to retract);
unreliable and very demanding from the point of view of the development process carried on by the designer, which has also to cope, in an ad-hoc way, with the general problem of belief revision.