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

  1. Marciszack, Marcelo Martín 1
  2. Perez Cota, Manuel 2
  3. Groppo, Mario Alberto
  1. 1 Universidad Tecnológica Nacional Facultad Regional Córdoba
  2. 2 Universidade de Vigo
    info

    Universidade de Vigo

    Vigo, España

    ROR https://ror.org/05rdf8595

Revista:
Ciencia y tecnología

ISSN: 1850-0870,  2344-9217

Ano de publicación: 2015

Número: 15

Páxinas: 165-179

Tipo: Artigo

DOI: 10.18682/CYT.V1I15.306 DIALNET GOOGLE SCHOLAR lock_openDialnet editor

Outras publicacións en: Ciencia y tecnología

Resumo

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.

Referencias bibliográficas

  • Boehm, B., & Basili, V. (2001). Software defect reduction top 10 list. IEEE Computer.
  • DeMarco, T. (1978). Structured Analysis and System Specification. Yourdon Press.
  • Insfrán, E., Díaz, I., & Burbano, M. (2002). Modelado de Requisitos para la Obtención de esquemas conceptuales. Retrieved from http://www.dsic.upv.es/~einsfran/papers/39-ideas2002.pdf
  • Insfrán, E., Tejadillos, E., Marti, S., & Burbano, M. (2007, diciembre 12). Transformación de Especificación de requisitos en esquemas conceptuales usando Diagramas de Interacción. Retrieved from inf.puc-rio.br: www.inf.puc-rio.br/~wer02/zip/Transformacion_Espec(7).pdf
  • Letelier, P., Sanchez, P., & Ramos, I. (1999). Un ambiente para especificaciones incremental y validacin de modelos conceptuales. Retrieved marzo 12, 2013, from researchgate.net: http://www.researchgate.net/publication/36720988_Un_ambiente_para_especificaciones_incremental_y_validacin_de_modelos_conceptuales/file/d912f50ca20c33f5e5.pdf
  • Pérez Cota, M., Groppo, M. A., & Marciszack, M. (2013). Validación de Especificaciones Funcionales en el modelado de Esquemas Conceptuales a través de Máquinas Abstractas. CoNaIISI. Córdoba.
  • Pons, C., Giandini, R., & Pérez, G. (2010). Desarrollo de Software dirigido por modelos – Conceptos Teóricos y su aplicación práctica. Universidad Nacional de la Plata.
  • Sesé Muniátegui, F. (2007, febrero 16). Tesis Doctoral: Propuesta de un método de validación de esquemas conceptuales y análisis comparativo de la noción de información en los métodos de desarrollo de Sistemas de información. Retrieved mayo 20, 2008, from tesisenxarxa.net: www.tesisenxarxa.net/TDX-0517107-131929/
  • Sommerville, I. (2011). Ingeniería de Software. México: Pearson Educación.
Fonte de datos: Dialnet