Validación de especificaciones funcionales en el modelado de esquemas conceptuales a través de máquinas abstractas

Autores
Pérez Cota, Manuel; Groppo, Mario Alberto; Marciszack, Marcelo Martín
Año de publicación
2013
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión aceptada
Descripción
En el presente trabajo se propone una definición metodológica 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 la característica 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, su transformación mediante un proceso automatizado a Autómatas Finitos junto con la definición 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: Pérez Cota, Manuel. Universidad de Vigo. Facultad de Informática; España.
Fil: Groppo, Mario Alberto. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información; Argentina.
Fil: Marciszack, Marcelo Martín. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información; Argentina.
Materia
Modelado conceptual
Especificaciones funcionales
Validación de modelos
Autómatas finitos
Desarrollo de software dirigidos por modelos MDD
Nivel de accesibilidad
acceso abierto
Condiciones de uso
2021-05-21T17:55:08Z
Repositorio
Repositorio Institucional Abierto (UTN)
Institución
Universidad Tecnológica Nacional
OAI Identificador
oai:ria.utn.edu.ar:20.500.12272/5165
Acceder
id RIAUTN_48c851a08cade370f920cdef7dc64d9a
oai_identifier_str oai:ria.utn.edu.ar:20.500.12272/5165
network_acronym_str RIAUTN
repository_id_str a
network_name_str Repositorio Institucional Abierto (UTN)
spelling Validación de especificaciones funcionales en el modelado de esquemas conceptuales a través de máquinas abstractasPérez Cota, ManuelGroppo, Mario AlbertoMarciszack, Marcelo MartínModelado conceptualEspecificaciones funcionalesValidación de modelosAutómatas finitosDesarrollo de software dirigidos por modelos MDDEn el presente trabajo se propone una definición metodológica 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 la característica 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, su transformación mediante un proceso automatizado a Autómatas Finitos junto con la definición 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: Pérez Cota, Manuel. Universidad de Vigo. Facultad de Informática; España.Fil: Groppo, Mario Alberto. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información; Argentina.Fil: Marciszack, Marcelo Martín. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información; Argentina.Confedi .( Consejo Federal de Decanos de Ingeniería)2021-05-21T17:55:08Z2021-05-21T17:55:08Z2013info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/acceptedVersionhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfapplication/pdf1er Congreso Nacional de Ingeniería Informática . Sistemas de Información (CoNaIISI 2013).2346-9927http://hdl.handle.net/20.500.12272/5165spa[Gibs 1994] Gibs Wait. “La crisis crónica de la programación” Revista Investigación y ciencia N° 218 Dialnet 1994. págs. 72-81.[Insfrán 2002] E. Insfrán, I. Díaz, M. Burbano, Modelado de Requisitos para la Obtención de esquemas conceptuales. Disponible en: http://www.dsic.upv.es/~einsfran/papers/39- ideas2002.pdf Fecha Consulta: 02/10/06[Insfrán 2002b] E. Insfrán, E. Tejadillos, S. Marti, M. Burbano, Transformación de Especificación de requisitos en esquemas conceptuales usando Diagramas de Interacción. Disponible en: www.inf.pucrio br/~wer02/zip/Transformacion_Espec(7).pdf Fecha Consulta: 04/12/07[Boehm 2001] B. Boehm, V.R. Basili, Software defect reduction top 10 list. IEEE Computer, 01/01/01[Sesé 2006] F. Sesé Muniátegui, 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 Disponible en: www.tesisenxarxa.net/TDX-0517107-131929/ Fecha consulta: 20/05/08[Sommerville 1997] I. Sommerville, P. Sawyer, Requirements Engineering: A Good Practice Guide. Computing Department, Lancaster University, John Willey & Sons Ltd. ISBN 0 471974444 7, 1997.[Sommerville 2005] I. Sommerville, Ingeniería del Software. ISBN 9788478290741, Pearson Educación.[Sommerville 2011] Ian Sommerville Ingeniería de Software Editado por Pearson Educación –México 2011 Versión impresa ISBN 978-607-32-0603-7[Letelier 1999] P. Letelier, P. Sanchez, I. Ramoshttp://www.researchgate.net/publication/36720988_Un_ambiente_para_especificaciones_incremental_y_validacin_de_modelos_conceptuales/file/d912f50ca20c33f5e5.pdf.[OMG 2005] Object Management Group. Unified Modelling Language: Superstructure Version 2.0 (online), Julio 2005, http://www.omg.org. Fecha de consulta web: 12 de marzo de 2013[OMG 2007] Object Management Group: XML Metadata Interchange (XMI). version 2.1.1, 1 December 2007. http://www.omg.org/technology/documents/modeling_spec_catalog.htm#XMI. Fecha de consulta 12 de marzo de 2013.[OMG 2008] Object Management Group: MOF Query / Views / Transformations. Version 1.0, April 2008. http://www.omg.org/technology/documents/modeling_spec_catalog.htm. Fecha de consulta 12 de marzo de 2013.[OMG 2009] Object Management Group. Business Process Modeling Notation (BPMN). http://www.omg.org/technology/documents/br_pm_spec_catalog.htm, version 1.2, 3 January 2009. Fecha de consulta 12 de marzo de 2013.[Pons 2010] C. Pons, R. Giandini, G. Pérez. Desarrollo de Software dirigido por modelos –Conceptos Teóricos y su aplicación práctica Editorial Universidad Nacional de la Plata 1ra edición 2010. Fecha de consulta 12 de marzo de 2013.[Taylor 1998] Taylor-Cummings, A., 1998. Bridging the user-IS gap: a study of major information systems projects. Journal of Information Technology, 13, 29-54. Fecha de consulta 12 de marzo de 2013.[w3 XLST 1999]. World Wide Web Consortium: XSL Transformations (XSLT). version 1.0, 16 November 1999. http://www.w3.org/TR/xslt. Fecha de consulta 12 de marzo de 2013.[w3 2008]. World Wide Web Consortium: Extensible Markup Language (XML). Version 1.0(fifth edition), 26 November 2008. http://www.w3.org/XML/ Fecha de consulta 12 de marzo de 2013.[White 2011 ] Stephen A. White, PHD, Dereck Wiers, BPMN Guía de Referencia y Modelado -BPMN 2.0 Handbook Copyright © 2011 by Future Strategies Inc ISBN-13: 978-0-9819870-7-1 (Digital Edition). Fecha de consulta 12 de marzo de 2013.info:eu-repo/semantics/openAccess2021-05-21T17:55:08Zhttp://creativecommons.org/licenses/by-nc-nd/4.0/Attribution-NonCommercial-NoDerivatives 4.0 InternacionalMarciszack, Marcelo Martínhttps://creativecommons.org/licenses/by-nc-nd/4.0/deed.esreponame:Repositorio Institucional Abierto (UTN)instname:Universidad Tecnológica Nacional2026-09-24T12:47:52Zoai:ria.utn.edu.ar:20.500.12272/5165instacron: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:47:53.586Repositorio Institucional Abierto (UTN) - Universidad Tecnológica Nacionalfalse
dc.title.none.fl_str_mv Validación de especificaciones funcionales en el modelado de esquemas conceptuales a través de máquinas abstractas
title Validación de especificaciones funcionales en el modelado de esquemas conceptuales a través de máquinas abstractas
spellingShingle Validación de especificaciones funcionales en el modelado de esquemas conceptuales a través de máquinas abstractas
Pérez Cota, Manuel
Modelado conceptual
Especificaciones funcionales
Validación de modelos
Autómatas finitos
Desarrollo de software dirigidos por modelos MDD
title_short Validación de especificaciones funcionales en el modelado de esquemas conceptuales a través de máquinas abstractas
title_full Validación de especificaciones funcionales en el modelado de esquemas conceptuales a través de máquinas abstractas
title_fullStr Validación de especificaciones funcionales en el modelado de esquemas conceptuales a través de máquinas abstractas
title_full_unstemmed Validación de especificaciones funcionales en el modelado de esquemas conceptuales a través de máquinas abstractas
title_sort Validación de especificaciones funcionales en el modelado de esquemas conceptuales a través de máquinas abstractas
dc.creator.none.fl_str_mv Pérez Cota, Manuel
Groppo, Mario Alberto
Marciszack, Marcelo Martín
author Pérez Cota, Manuel
author_facet Pérez Cota, Manuel
Groppo, Mario Alberto
Marciszack, Marcelo Martín
author_role author
author2 Groppo, Mario Alberto
Marciszack, Marcelo Martín
author2_role author
author
dc.subject.none.fl_str_mv Modelado conceptual
Especificaciones funcionales
Validación de modelos
Autómatas finitos
Desarrollo de software dirigidos por modelos MDD
topic Modelado conceptual
Especificaciones funcionales
Validación de modelos
Autómatas finitos
Desarrollo de software dirigidos por modelos MDD
dc.description.none.fl_txt_mv En el presente trabajo se propone una definición metodológica 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 la característica 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, su transformación mediante un proceso automatizado a Autómatas Finitos junto con la definición 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: Pérez Cota, Manuel. Universidad de Vigo. Facultad de Informática; España.
Fil: Groppo, Mario Alberto. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información; Argentina.
Fil: Marciszack, Marcelo Martín. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información; Argentina.
description En el presente trabajo se propone una definición metodológica 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 la característica 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, su transformación mediante un proceso automatizado a Autómatas Finitos junto con la definición 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 2013
dc.date.none.fl_str_mv 2013
2021-05-21T17:55:08Z
2021-05-21T17:55:08Z
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/acceptedVersion
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str acceptedVersion
dc.identifier.none.fl_str_mv 1er Congreso Nacional de Ingeniería Informática . Sistemas de Información (CoNaIISI 2013).
2346-9927
http://hdl.handle.net/20.500.12272/5165
identifier_str_mv 1er Congreso Nacional de Ingeniería Informática . Sistemas de Información (CoNaIISI 2013).
2346-9927
url http://hdl.handle.net/20.500.12272/5165
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv [Gibs 1994] Gibs Wait. “La crisis crónica de la programación” Revista Investigación y ciencia N° 218 Dialnet 1994. págs. 72-81.
[Insfrán 2002] E. Insfrán, I. Díaz, M. Burbano, Modelado de Requisitos para la Obtención de esquemas conceptuales. Disponible en: http://www.dsic.upv.es/~einsfran/papers/39- ideas2002.pdf Fecha Consulta: 02/10/06
[Insfrán 2002b] E. Insfrán, E. Tejadillos, S. Marti, M. Burbano, Transformación de Especificación de requisitos en esquemas conceptuales usando Diagramas de Interacción. Disponible en: www.inf.pucrio br/~wer02/zip/Transformacion_Espec(7).pdf Fecha Consulta: 04/12/07
[Boehm 2001] B. Boehm, V.R. Basili, Software defect reduction top 10 list. IEEE Computer, 01/01/01
[Sesé 2006] F. Sesé Muniátegui, 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 Disponible en: www.tesisenxarxa.net/TDX-0517107-131929/ Fecha consulta: 20/05/08
[Sommerville 1997] I. Sommerville, P. Sawyer, Requirements Engineering: A Good Practice Guide. Computing Department, Lancaster University, John Willey & Sons Ltd. ISBN 0 471974444 7, 1997.
[Sommerville 2005] I. Sommerville, Ingeniería del Software. ISBN 9788478290741, Pearson Educación.
[Sommerville 2011] Ian Sommerville Ingeniería de Software Editado por Pearson Educación –México 2011 Versión impresa ISBN 978-607-32-0603-7
[Letelier 1999] P. Letelier, P. Sanchez, I. Ramos
http://www.researchgate.net/publication/36720988_Un_ambiente_para_especificaciones_incremental_y_validacin_de_modelos_conceptuales/file/d912f50ca20c33f5e5.pdf.
[OMG 2005] Object Management Group. Unified Modelling Language: Superstructure Version 2.0 (online), Julio 2005, http://www.omg.org. Fecha de consulta web: 12 de marzo de 2013
[OMG 2007] Object Management Group: XML Metadata Interchange (XMI). version 2.1.1, 1 December 2007. http://www.omg.org/technology/documents/modeling_spec_catalog.htm#XMI. Fecha de consulta 12 de marzo de 2013.
[OMG 2008] Object Management Group: MOF Query / Views / Transformations. Version 1.0, April 2008. http://www.omg.org/technology/documents/modeling_spec_catalog.htm. Fecha de consulta 12 de marzo de 2013.
[OMG 2009] Object Management Group. Business Process Modeling Notation (BPMN). http://www.omg.org/technology/documents/br_pm_spec_catalog.htm, version 1.2, 3 January 2009. Fecha de consulta 12 de marzo de 2013.
[Pons 2010] C. Pons, R. Giandini, G. Pérez. Desarrollo de Software dirigido por modelos –Conceptos Teóricos y su aplicación práctica Editorial Universidad Nacional de la Plata 1ra edición 2010. Fecha de consulta 12 de marzo de 2013.
[Taylor 1998] Taylor-Cummings, A., 1998. Bridging the user-IS gap: a study of major information systems projects. Journal of Information Technology, 13, 29-54. Fecha de consulta 12 de marzo de 2013.
[w3 XLST 1999]. World Wide Web Consortium: XSL Transformations (XSLT). version 1.0, 16 November 1999. http://www.w3.org/TR/xslt. Fecha de consulta 12 de marzo de 2013.
[w3 2008]. World Wide Web Consortium: Extensible Markup Language (XML). Version 1.0(fifth edition), 26 November 2008. http://www.w3.org/XML/ Fecha de consulta 12 de marzo de 2013.
[White 2011 ] Stephen A. White, PHD, Dereck Wiers, BPMN Guía de Referencia y Modelado -BPMN 2.0 Handbook Copyright © 2011 by Future Strategies Inc ISBN-13: 978-0-9819870-7-1 (Digital Edition). Fecha de consulta 12 de marzo de 2013.
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
2021-05-21T17:55:08Z
http://creativecommons.org/licenses/by-nc-nd/4.0/
Attribution-NonCommercial-NoDerivatives 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-05-21T17:55:08Z
http://creativecommons.org/licenses/by-nc-nd/4.0/
Attribution-NonCommercial-NoDerivatives 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.publisher.none.fl_str_mv Confedi .( Consejo Federal de Decanos de Ingeniería)
publisher.none.fl_str_mv Confedi .( Consejo Federal de Decanos de Ingeniería)
dc.source.none.fl_str_mv 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_ 1877230949776752640
score 13.265058

Publicaciones similares