Executable models play a key role in many software development methods by facilitating the
(semi) automatic implementation/execution of the software system under development. This
is possible because executable models promote a complete and fine-grained specification
of the system behaviour. In this context, where models are the basis of the whole
development process, the quality of the models has a high impact on the final quality of
software systems derived from them. Therefore, the existence of methods to verify the …

Executable models play a key role in many development methods (such as MDD and MDA)
by facilitating the immediate simulation/implementation of the software system under
development. This is possible because executable models include a fine-grained
specification of the system behaviour using an action language. Executable models are not
a new concept but are now experiencing a comeback. As a relevant example, the OMG has
recently published the first version of the “Foundational Subset for Executable UML …