Metodología y herramienta de soporte para validar modelos conceptuales a través de máquinas abstractas

Autores
Marciszack, Marcelo Martín; Pérez Cota, Manuel; Groppo, Mario Alberto
Año de publicación
2015
Idioma
español castellano
Tipo de recurso
artículo
Estado
versión publicada
Descripción
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.
Fil: Marciszack, Marcelo Martín. Universidad Tecnológica Nacional. Facultad Regional Córdoba; Argentina.
Fil: Pérez Cota, Manuel. Universidad de Vigo; España.
Fil: Groppo, Mario Alberto. Universidad Tecnológica Nacional. Facultad Regional Córdoba; Argentina
Peer Reviewed
Fuente
Revista de Ciencia y Tecnología de la Universidad de Palermo. volumen(15). Pag. 165 – 180 (2015)
Materia
modelado conceptual
especificaciones funcionales
validación de modelos
autómatas finitos
desarrollo de software dirigido por modelos.
Nivel de accesibilidad
acceso abierto
Condiciones de uso
2021-06-17T14:24:32Z
Repositorio
Repositorio Institucional Abierto (UTN)
Institución
Universidad Tecnológica Nacional
OAI Identificador
oai:ria.utn.edu.ar:20.500.12272/5260
Acceder
id RIAUTN_9f1d81d609ffca6562bf3464d076ec24
oai_identifier_str oai:ria.utn.edu.ar:20.500.12272/5260
network_acronym_str RIAUTN
repository_id_str a
network_name_str Repositorio Institucional Abierto (UTN)
spelling Metodología y herramienta de soporte para validar modelos conceptuales a través de máquinas abstractasMarciszack, Marcelo MartínPérez Cota, ManuelGroppo, Mario Albertomodelado conceptualespecificaciones funcionalesvalidación de modelosautómatas finitosdesarrollo de software dirigido por modelos.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.Fil: Marciszack, Marcelo Martín. Universidad Tecnológica Nacional. Facultad Regional Córdoba; Argentina.Fil: Pérez Cota, Manuel. Universidad de Vigo; España.Fil: Groppo, Mario Alberto. Universidad Tecnológica Nacional. Facultad Regional Córdoba; ArgentinaPeer Reviewed2021-06-17T14:24:32Z2021-06-17T14:24:32Z2015info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfRevista de Ciencia y Tecnología de la Universidad de Palermo N° 15 Pag. 165 – 180.1850-0870http://hdl.handle.net/20.500.12272/5260Revista de Ciencia y Tecnología de la Universidad de Palermo. volumen(15). Pag. 165 – 180 (2015)reponame:Repositorio Institucional Abierto (UTN)instname:Universidad Tecnológica NacionalspaBoehm, 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.htmDeMarco, 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.pdfInsfrá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).pdfLetelier, 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.pdfMOF Query / Views / Transformations. (2008, abril). Retrieved from Object Management Group: http://www.omg.org/technology/documents/modeling_ spec_catalog.htmPé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 PlataSesé 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-131929Sommerville, 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.orgXML Metadata Interchange (XMI). (2007, diciembre 1). Retrieved from Object Management Group: http://www.omg.org/technology/documents/modeling_ spec_catalog.htm#XMIinfo:eu-repo/semantics/openAccess2021-06-17T14:24:32Zhttp://creativecommons.org/licenses/by-nc-sa/4.0/Atribución-NoComercial-CompartirIgual 4.0 InternacionalMarciszack, Marcelo Martínhttps://creativecommons.org/licenses/by-nc-nd/4.0/deed.es2026-09-24T12:43:50Zoai:ria.utn.edu.ar:20.500.12272/5260instacron:UTNInstitucionalhttp://ria.utn.edu.ar/Universidad públicaNo correspondehttp://ria.utn.edu.ar/oaigestionria@rec.utn.edu.ar; fsuarez@rec.utn.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:a2026-09-24 12:43:51.788Repositorio Institucional Abierto (UTN) - Universidad Tecnológica Nacionalfalse
dc.title.none.fl_str_mv Metodología y herramienta de soporte para validar modelos conceptuales a través de máquinas abstractas
title Metodología y herramienta de soporte para validar modelos conceptuales a través de máquinas abstractas
spellingShingle Metodología y herramienta de soporte para validar modelos conceptuales a través de máquinas abstractas
Marciszack, Marcelo Martín
modelado conceptual
especificaciones funcionales
validación de modelos
autómatas finitos
desarrollo de software dirigido por modelos.
title_short Metodología y herramienta de soporte para validar modelos conceptuales a través de máquinas abstractas
title_full Metodología y herramienta de soporte para validar modelos conceptuales a través de máquinas abstractas
title_fullStr Metodología y herramienta de soporte para validar modelos conceptuales a través de máquinas abstractas
title_full_unstemmed Metodología y herramienta de soporte para validar modelos conceptuales a través de máquinas abstractas
title_sort Metodología y herramienta de soporte para validar modelos conceptuales a través de máquinas abstractas
dc.creator.none.fl_str_mv Marciszack, Marcelo Martín
Pérez Cota, Manuel
Groppo, Mario Alberto
author Marciszack, Marcelo Martín
author_facet Marciszack, Marcelo Martín
Pérez Cota, Manuel
Groppo, Mario Alberto
author_role author
author2 Pérez Cota, Manuel
Groppo, Mario Alberto
author2_role author
author
dc.subject.none.fl_str_mv modelado conceptual
especificaciones funcionales
validación de modelos
autómatas finitos
desarrollo de software dirigido por modelos.
topic modelado conceptual
especificaciones funcionales
validación de modelos
autómatas finitos
desarrollo de software dirigido por modelos.
dc.description.none.fl_txt_mv 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.
Fil: Marciszack, Marcelo Martín. Universidad Tecnológica Nacional. Facultad Regional Córdoba; Argentina.
Fil: Pérez Cota, Manuel. Universidad de Vigo; España.
Fil: Groppo, Mario Alberto. Universidad Tecnológica Nacional. Facultad Regional Córdoba; Argentina
Peer Reviewed
description 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.
publishDate 2015
dc.date.none.fl_str_mv 2015
2021-06-17T14:24:32Z
2021-06-17T14:24:32Z
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv Revista de Ciencia y Tecnología de la Universidad de Palermo N° 15 Pag. 165 – 180.
1850-0870
http://hdl.handle.net/20.500.12272/5260
identifier_str_mv Revista de Ciencia y Tecnología de la Universidad de Palermo N° 15 Pag. 165 – 180.
1850-0870
url http://hdl.handle.net/20.500.12272/5260
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv 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
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
2021-06-17T14:24:32Z
http://creativecommons.org/licenses/by-nc-sa/4.0/
Atribución-NoComercial-CompartirIgual 4.0 Internacional
Marciszack, Marcelo Martín
https://creativecommons.org/licenses/by-nc-nd/4.0/deed.es
eu_rights_str_mv openAccess
rights_invalid_str_mv 2021-06-17T14:24:32Z
http://creativecommons.org/licenses/by-nc-sa/4.0/
Atribución-NoComercial-CompartirIgual 4.0 Internacional
Marciszack, Marcelo Martín
https://creativecommons.org/licenses/by-nc-nd/4.0/deed.es
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.source.none.fl_str_mv Revista de Ciencia y Tecnología de la Universidad de Palermo. volumen(15). Pag. 165 – 180 (2015)
reponame:Repositorio Institucional Abierto (UTN)
instname:Universidad Tecnológica Nacional
reponame_str Repositorio Institucional Abierto (UTN)
collection Repositorio Institucional Abierto (UTN)
instname_str Universidad Tecnológica Nacional
repository.name.fl_str_mv Repositorio Institucional Abierto (UTN) - Universidad Tecnológica Nacional
repository.mail.fl_str_mv gestionria@rec.utn.edu.ar; fsuarez@rec.utn.edu.ar
_version_ 1877230865893818368
score 13.265058

Publicaciones similares