2021-06-172021-06-172015Revista de Ciencia y Tecnología de la Universidad de Palermo N° 15 Pag. 165 – 180.1850-0870http://hdl.handle.net/20.500.12272/5260El 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 y su validación correspondiente. Describe las características 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. La gestión del proceso se realiza a través de una herramienta automatizada de Casos de Uso, su definición y posterior transformación a Máquinas de estado junto con la propuesta 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-sa/4.0/Atribución-NoComercial-CompartirIgual 4.0 Internacionalmodelado conceptualespecificaciones funcionalesvalidación de modelosautómatas finitosdesarrollo de software dirigido por modelos.info:eu-repo/semantics/articleMarciszack, Marcelo Martínhttps://creativecommons.org/licenses/by-nc-nd/4.0/deed.es