1. Repositorio Institucional del Tecnológico Nacional de México (RI - TecNM)
2. Tesis de Posgrado
3. Morelos
4. Centro Nacional de Investigación y Desarrollo Tecnológico
5. Tesis CENIDET
6. Tesis de Maestría
7. Tesis de Maestría en Computación

Título :	FOCOPAT: 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ón
Autor :	Piedrola Dominguez, Nancy%738081
metadata.dc.subject.other:	Patrones 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.
Fecha de publicación :	2019-06-20
Editorial :	Tecnológico Nacional de México
metadata.dc.publisher.tecnm:	Centro Nacional de Investigación y Desarrollo Tecnológico
Descripción :	Cada 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.
metadata.dc.type:	info:eu-repo/semantics/masterThesis
Aparece en las colecciones:	Tesis de Maestría en Computación

Este ítem está protegido por copyright original Visualizar la licencia

Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons