Metodología y Herramienta de Soporte para validar Modelos Conceptuales a Través de Máquinas Abstractas
Abstract
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.
Downloads
References
Boehm, B., & Basili, V. (2001). Software defect reduction top 10 list. IEEE Computer.
Business Process Modeling Notation (BPMN). (2009, enero 3). Retrieved from Object Management Group: http://www.omg.org/technology/documents/br_pm_spec_catalog.htm
DeMarco, T. (1978). Structured Analysis and System Specification. Yourdon Press.
Extensible Markup Language (XML). (2008, noviembre 26). Retrieved from World Wide Web Consortium: http://www.w3.org/XML/
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
MOF Query / Views / Transformations. (2008, abril). Retrieved from Object Management Group: http://www.omg.org/technology/documents/modeling_spec_catalog.htm
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.
Unified Modelling Language: Superstructure. (2002, julio). Retrieved from Object Management Group: http://www.omg.org
XML Metadata Interchange (XMI). (2007, diciembre 1). Retrieved from Object Management Group: http://www.omg.org/technology/documents/modeling_spec_catalog.htm#XMI
The articles published in the journal Ciencia y Tecnología are the exclusive property of their authors. Their opinions and content belong to their authors, and the Universidad de Palermo declines all responsibility for the rights that may arise from reading and/or interpreting the content of the published articles.
The reproduction, use or exploitation by any third party of the published articles is not authorized. Its use is only authorized for exclusively academic and/or research purposes.
