(2016) Marciszack, Marcelo Martín; Groppo, Mario Alberto; Pérez Cota, Manuel
El presente trabajo propone la definición de una
metodología y la herramienta de soporte asociada, para la
especificación y validación de un Modelo Conceptual, a través de
la transformación automatizada de modelos a Autómatas Finitos
y su validación correspondiente. Describe las características del
Proceso de modelado, utilizando la “Notación para el Modelado
de Procesos de Negocios” en la actividad de modelado, aplicando
los conceptos del Desarrollo de Software dirigido por Modelos. Se
propone un mapeo directo entre actividades del proceso de
negocio a Casos de Uso, los cuales se transforman a Máquinas de
estados a las que se somete a un proceso automatizado de
validación, y de esta forma validar el conjunto de especificaciones
funcionales en el modelo conceptual de un dominio bajo estudio.
