As of version 18.4, another new addition to Magic Model Analyst's already impressive repertoire, is the ability to automatically extract constraint equations from the text of a requirement.
For example, if a requirement text states that a moving car must have speed more than 0, then the constraint equation “speed > 0” is automatically extracted from the requirement text and will be evaluated upon running of a simulation.
While typing the requirement text, a shortcut menu appears as soon as you type some keywords which are available in the Glossary, see the example as follows
For the constraint to execute properly, the requirement should be linked to a property, such as in the above example, a satisfy relation is used to link between the property and the requirement.
When the simulation is run, the constraint is evaluated and color-coded according to the result of the simulation, red if the constraint fails and green if it passes, as shown in figure below. Additionally, a mouse over the variable will display a tooltip.