Este proyecto se enmarca en el paradigma de la ingeniería del software dirigida por modelos, puesto que se pretende crear una herramienta que facilite la comprensión y la validación del comportamiento de modelos de software ...