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

Titre:	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
Auteur(s):	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.
Date de publication:	2019-06-20
Editeur:	Tecnológico Nacional de México
metadata.dc.publisher.tecnm:	Centro Nacional de Investigación y Desarrollo Tecnológico
Description:	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
Collection(s) :	Tesis de Maestría en Computación

Ce document est protégé par copyright Voir la licence

Ce document est autorisé sous une licence de type Licence Creative Commons