2021-05-212021-05-2120131er Congreso Nacional de Ingeniería Informática . Sistemas de Información (CoNaIISI 2013).2346-9927http://hdl.handle.net/20.500.12272/5165En el presente trabajo se propone una definición metodológica para la especificación y validación de un Modelo Conceptual a través de la transformación de modelos a autómatas finitos y su validación correspondiente. Describe la característica del Proceso de Modelado a través de la aplicación del Desarrollo dirigido por modelos MDD, con utilización de BPMN para el modelado de Procesos de Negocios, su transformación mediante un proceso automatizado a Autómatas Finitos junto con la definición de controles a realizar sobre el modelo abstracto resultante, para de esta manera, validar el modelo de proceso de negocio que representa las especificaciones funcionales en el modelo conceptual del dominio bajo estudio.application/pdfspainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-nd/4.0/Attribution-NonCommercial-NoDerivatives 4.0 InternacionalModelado conceptualEspecificaciones funcionalesValidación de modelosAutómatas finitosDesarrollo de software dirigidos por modelos MDDinfo:eu-repo/semantics/conferenceObjectMarciszack, Marcelo Martínhttps://creativecommons.org/licenses/by-nc-nd/4.0/deed.es