Design decisions
Mathematical and visual layers
Naming of model components
Plugin structure
Compatibility manager
Observers of the model structure
Generic approach to model conversion
Verification
1-way conformation
Refinement
Conceptual
Concept of expressions
Analysis tools
ObjectAID UML Explorer