Metodología y Herramienta de Soporte para validar Modelos Conceptuales a Través de Máquinas Abstractas
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.
Descargas
Citas
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
Los artículos publicados en la Revista Ciencia y Tecnología son de exclusiva propiedad de sus autores. Las opiniones y el contenido de los mismos pertenecen a sus autores, declinando la Universidad de Palermo toda responsabilidad por los derechos que pudiera derivarse de la lectura y/o interpretación del contenido de los artículos publicados.
No se autoriza la reproducción, utilización ni explotación por parte de ningún tercero de los artículos publicados. Sólo se autoriza su uso para fines exclusivamente académicos y/o de investigación.
