Form conversion and review
Form conversion
- Transform results from one phase or task to another, e.g. analysis models to design models.
- Examples are model analysis, reporting functions, and code generation.
- It should be noted that not all conversions can be fully automated, but rather often require human interaction.
Review
- Deals with semantic validity of system descriptions
- whereas checking focuses on syntactic properties of the model.