Semantic Inferencing
Evaluating the alternatives chosen
- Best available choice made?
- Any poorly supported choices made?
Checking for inconsistency
- Are alternatives evaluated by the same criteria?
- Are design priorities consistent?
Detecting tradeoff violations
- Are causal relationships consistent?
- Are design preferences consistent?