11. Define method reports and analyze the metamodel
The models can be used for various checking and conversion purposes
Checking
- Rules which can not be captured into metamodels
- Rules which can be checked only once all the models are made
- e.g. unconnected states, events of STD never implemented by classes, etc.
Conversion
- Code generation
- Document generation
- Test material production
- Exporting designs to other tools etc.