info:eu-repo/semantics/conferenceObject
Validación de especificaciones funcionales en el modelado de esquemas conceptuales a través de máquinas abstractas
Registro en:
1er Congreso Nacional de Ingeniería Informática . Sistemas de Información (CoNaIISI 2013).
2346-9927
Autor
Pérez Cota, Manuel
Groppo, Mario Alberto
Marciszack, Marcelo Martín
Institución
Resumen
En 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. Fil: Pérez Cota, Manuel. Universidad de Vigo. Facultad de Informática; España. Fil: Groppo, Mario Alberto. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información; Argentina. Fil: Marciszack, Marcelo Martín. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información; Argentina.