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
• DOI: 10.18682/cyt.v1i15.306
• 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.

• 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...
  • Letelier, P., Sanchez, P., & Ramos, I. (1999). Un ambiente para especificaciones incremental y validacin de modelos conceptuales. Retrieved...
  • Pérez Cota, M., Groppo, M. A., & Marciszack, M. (2013). Validación de Especificaciones Funcionales en el modelado de Esquemas Conceptuales...
  • Pons, C., Giandini, R., & Pérez, G. (2010). Desarrollo de Software dirigido por modelos – Conceptos Teóricos y su aplicación práctica....
  • Sesé Muniátegui, F. (2007, febrero 16). Tesis Doctoral: Propuesta de un método de validación de esquemas conceptuales y análisis comparativo...
  • Sommerville, I. (2011). Ingeniería de Software. México: Pearson Educación.