Problem AreasA (constructive) critical view
Use Case formalization
- Interaction diagrams for algorithmic views
- Use case extension (include / extend / generalize) in I.D.
- Dynamic object references in sequence diagrams
Traceability of model refinement
Minor deficiencies of particular model elements
- Navigability of n-ary association
- ...