Formal model: derived from the meta-model for applying
formal methods
• Mathematical formulations of the semantics of the meta model:
- each construct
(‘if’, ‘for’, ‘await’, ...)
- sequence of statements
- composition of connected objects
H the semantics may be abstracted
• Restrictions on the meta model
•
Formal methods (verification and synthesis) applicable on given models