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

dc.creatorPérez Cota, Manuel
dc.creatorGroppo, Mario Alberto
dc.creatorMarciszack, Marcelo Martín
dc.date2021-05-21T17:55:08Z
dc.date2021-05-21T17:55:08Z
dc.date2013
dc.date.accessioned2023-08-31T14:18:01Z
dc.date.available2023-08-31T14:18:01Z
dc.identifier1er Congreso Nacional de Ingeniería Informática . Sistemas de Información (CoNaIISI 2013).
dc.identifier2346-9927
dc.identifierhttp://hdl.handle.net/20.500.12272/5165
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/8547173
dc.descriptionEn 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.
dc.descriptionFil: Pérez Cota, Manuel. Universidad de Vigo. Facultad de Informática; España.
dc.descriptionFil: Groppo, Mario Alberto. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información; Argentina.
dc.descriptionFil: Marciszack, Marcelo Martín. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información; Argentina.
dc.formatapplication/pdf
dc.languagespa
dc.publisherConfedi .( Consejo Federal de Decanos de Ingeniería)
dc.relation[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.
dc.relation[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
dc.relation[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
dc.relation[Boehm 2001] B. Boehm, V.R. Basili, Software defect reduction top 10 list. IEEE Computer, 01/01/01
dc.relation[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
dc.relation[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.
dc.relation[Sommerville 2005] I. Sommerville, Ingeniería del Software. ISBN 9788478290741, Pearson Educación.
dc.relation[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
dc.relation[Letelier 1999] P. Letelier, P. Sanchez, I. Ramos
dc.relationhttp://www.researchgate.net/publication/36720988_Un_ambiente_para_especificaciones_incremental_y_validacin_de_modelos_conceptuales/file/d912f50ca20c33f5e5.pdf.
dc.relation[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
dc.relation[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.
dc.relation[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.
dc.relation[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.
dc.relation[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.
dc.relation[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.
dc.relation[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.
dc.relation[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.
dc.relation[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.rightsinfo:eu-repo/semantics/openAccess
dc.rightshttp://creativecommons.org/licenses/by-nc-nd/4.0/
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internacional
dc.rightsMarciszack, Marcelo Martín
dc.rightshttps://creativecommons.org/licenses/by-nc-nd/4.0/deed.es
dc.subjectModelado conceptual
dc.subjectEspecificaciones funcionales
dc.subjectValidación de modelos
dc.subjectAutómatas finitos
dc.subjectDesarrollo de software dirigidos por modelos MDD
dc.titleValidación de especificaciones funcionales en el modelado de esquemas conceptuales a través de máquinas abstractas
dc.typeinfo:eu-repo/semantics/conferenceObject
dc.typeacceptedVersion


Este ítem pertenece a la siguiente institución