Abstract: In model-based engineering approaches, models are executable artefacts used for simulation, generation and verification. The Executable UML specifications enriched the well-known UML ...