have proposed in [6] an executable and translatable system that allows the designers to model debug, and validate their UML model through model execution regardless of the actual implementation ...