El presente trabajo, propone la definición de una metodología y herramienta de soporte asociada, para la especificación y validación de un Modelo Conceptual, a través de la transformación de modelos a autómatas finitos ...