Tesis Validadas: 2,591

Tesis de Posgrado: 2650

Número de Visitas: contador visitas

Please use this identifier to cite or link to this item: https://rinacional.tecnm.mx/jspui/handle/TecNM/7756
Full metadata record
DC FieldValueLanguage
dc.contributor.authorPiedrola Dominguez, Nancy%738081-
dc.creatorPiedrola Dominguez, Nancy%738081-
dc.date.accessioned2024-05-08T16:19:11Z-
dc.date.available2024-05-08T16:19:11Z-
dc.date.issued2019-06-20-
dc.identifier.urihttps://rinacional.tecnm.mx/jspui/handle/TecNM/7756-
dc.descriptionCada vez es mayor la demanda en la construcción de sistemas de software, por lo que es conveniente considerar la reutilización en las fases tempranas del proceso de desarrollo de software, para disminuir los recursos requeridos y el esfuerzo total realizado. En la fase de análisis, se han identificado patrones de análisis como una de las mejores prácticas para la representación de problemas específicos. Con el fin de aumentar su reutilización, los patrones de análisis se describen mediante plantillas y se almacenan como conocimiento en ontologías. Para evitar problemas de ambigüedad, se sugiere la construcción de ontologías de patrones de análisis mediante el uso de la metodología MECOPA, una adaptación a la metodología METHONTOLOGY para proveer significado (semántica) a la descripción de los patrones de análisis y validar que las ontologías construidas son consistentes. Sin embargo, este tipo de ontologías, únicamente describen la estructura estática de los patrones de análisis (lo que existe en el dominio, p. ej., conceptos y roles entre conceptos), sin considerar aspectos de comportamiento dinámico (trayectorias de hechos que ocurren en el tiempo, p. ej., en un primer momento, el concepto A se relaciona con el concepto B y posteriormente el concepto B se relaciona con el concepto C) y se dificulta su utilización automatizada en la representación de problemas complejos. Para resolver esta problemática e incrementar la viabilidad de reutilización automatizada tanto de aspectos estructurales y de comportamiento dinámico de los patrones de análisis, en este trabajo de investigación se facilita una actualización a la MECOPA que incluye un método que permite convertir las ontologías de patrones de análisis estáticas en temporales, para especificar comportamientos dinámicos y validarlos mediante una verificación de satisfacibilidad. Con la metodología actualizada, es decir, la Metodología para la Construcción de Ontologías Temporales de Patrones de Análisis (MECOTPA), se pueden construir ontologías temporales consistentes con comportamientos satisfacibles que también facilitan el uso automatizado tanto de aspectos estructurales como de comportamiento dinámico de los patrones de análisis.es_MX
dc.language.isospaes_MX
dc.publisherTecnológico Nacional de Méxicoes_MX
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0es_MX
dc.subjectinfo:eu-repo/classification/cti/7es_MX
dc.subject.otherPatrones de análisis, Estructura estática, Comportamiento dinámico, Ontología, Ontología temporal, Lógica Descriptiva, Lógica Temporal, Lógicas de Descripción Temporal.es_MX
dc.titleFOCOPAT: Conversión de ontologías de patrones de análisis estáticas a temporales, para la especificación de comportamientos dinámicos y su validaciónes_MX
dc.typeinfo:eu-repo/semantics/masterThesises_MX
dc.contributor.directorGarcia Gonzalez, Moises%89383-
dc.folio1200es_MX
dc.rights.accessinfo:eu-repo/semantics/openAccesses_MX
dc.publisher.tecnmCentro Nacional de Investigación y Desarrollo Tecnológicoes_MX
Appears in Collections:Tesis de Maestría en Computación

Files in This Item:
File Description SizeFormat 
MC_Nancy_Piedrola_Dominguez_2019.pdfTesis13 MBAdobe PDFView/Open
MC_Nancy_Piedrola_Dominguez_2019_c.pdf
  Restricted Access
Cesión de derechos220.84 kBAdobe PDFView/Open Request a copy


This item is protected by original copyright



This item is licensed under a Creative Commons License Creative Commons