Metodología y Herramienta de Soporte para validar Modelos Conceptuales a Través de Máquinas Abstractas

• Marciszack, Marcelo Martín ^[1] ; Perez Cota, Manuel ^[2] ; Groppo, Mario Alberto
  1. [1] Universidad Tecnológica Nacional

     Universidad Tecnológica Nacional

     Argentina

     
  2. [2] Universidade de Vigo

     Universidade de Vigo

     Vigo, España

     
• Localización: Ciencia y tecnología, ISSN 1850-0870, ISSN-e 2344-9217, Nº. 15, 2015, págs. 165-179
• Idioma: español
• Enlaces
  • Texto completo (pdf)
• Resumen

  • 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 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.