LENGUAJES DE PROGRAMACION, 2

Autor: CASTILLO CASTELBLANCO SERGIO FERNANDO.
Año: 2002.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS DE TELECOMUNICACIÓN .
Centro de realización: E.T.S. INGENIEROS DE TELECOMUNICACIÓN.

Resumen: En los últimos años se han realizado grandes avances tecnológicos tanto en los dispositivos de conexión a Internet como en los medios de conexión, incluyendo avances en terminales móviles y mejoras en las redes inalámbricas. Surgen así nuevas necesidades tecnológicas, como son ofrecer a los diversos usuarios algo más que contenidos multimedia visualizables mediante navegadores Web, y la necesidad de adaptar y proveer servicios a los nuevos tipos de dispositivos. Por esta razón, dos importantes tendencias cobran fuerza: el modelo de computación centrado en la oferta y demanda de servicios y la computación móvil. En consecuencia, ha tomado gran importancia el problema de la composición de servicios: la creación de nuevos servicios por la integración de otros ya existentes. En esta tesis se trabaja el problema de la ccomposición de servicios mediante agentes móviles en el marco de dos importantes modelos: los servicios basados en componentes distribuidos y los servicios Web. En la primera parte de esta tesis se presenta una arquitectura para la composición de servicios basados en componentes CORBA. Esta arquitectura toma el marco conceptual heredado de la especificación TINA, y ha sido aplicada con éxito en el proyecto europeo ACTS SCARAB. En la segunda parte de la tesis se analiza el problema ontológico en el marco de los servicios Web, y se presenta una arquitectura basada en agentes móviles para la composición semántica de servicios Web. Con este trabajo hemos contribuido al desarrollo de la Web semántica y de la futura Web pragmática.

Autor: RODRÍGUEZ-ROSELLÓ MARTINEZ MIGUEL ANGEL.
Año: 2002.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMÁTICA .
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: La tesis plantea, un nuevo paradigma de programación denominado "Semántico" y un nuevo lenguaje llamdo "mental" basado en dicho paradigma. El paradigma semántico es de tipo integrador pues hace referencia a los mecanismos profundos, de tipo genéticos presentes en todos los pradigmas y lenguajes, así como en la matemática. Mental es un lenguaje de muy alto nivel, que se compone de 12 primitivas semánticas de tipo ortogonal (independientes entre sí). Por combinatoria de dichas operaciones genéricos primitivas se obtiene la complejidad del mundo. Esta complejidad es solo aparente, pues se trata de la combinatoria de las mismas leyes actuando en todos los niveles.

Autor: FERRI RAMÍREZ CÉSAR.
Año: 2002.
Universidad: POLITECNICA DE VALENCIA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: Muchas de las aproximaciones para conseguir un comportamiento inteligente de los sistemas informáticos se basan en componentes que aprenden automáticamente de experiencias previas. El desarrollo de estas técnicas de aprendizaje es el objetivo del área de investigación denominada aprendizaje automático. Durante la última década, se han producido numerosos y destacados avances en esta área, principalmente gracias al éxito de la aplicación automático en la extracción de conocimiento desde bases de datos, a cuya parte más importante se le llama minería de datos. Muchas de las técnicas empleadas en este campo tienen una aplicabilidad muy limitada, debido al uso de lenguajes de representación del conocimiento muy restrictivos o no comprensibles, pero que, sin embargo, simplifican significativamente la complejidad inherente al proceso de aprendizaje. Por ello recientemente, se han definido varios métodos basados en el enriquecimiento de la expresividad de los lenguajes de representación del conocimiento. En concreto, un avance muy importante se ha producido al incorporar lenguajes basados en la lógica de primer orden en el proceso de aprendizaje; éste es precisamente el nexo común de los algoritmos de inducción pertenecientes al campo denominado Programación Lógica Inductiva (ILP). Cabe resaltar, no obstante, las carencias que presentan los lenguajes lógicos utilizados en LIP en cuanto a características interesantes para el aprendizaje, tales como el orden superior, los tipos, o las funciones. Otra forma muy diferente, aunque también muy popular, de potenciar la expresividad del lenguaje de representación es la generación de una hipótesis mediante la combinación de un conjunto de modelos. Esta aproximación, usualmente métodos multiclasificador, sin embargo presenta importantes inconvenientes como son la pérdida de comprensibilidad del modelo combinado y un alto consumo de recursos computacionales. En esta tesis presentamos varias aportaciones al campo del aprendizaje que solventan parcialmente algunos de estos problemas. En concreto, introducimos métodos de aprendizaje que solventan parcialmente algunos de estos problemas. En concreto, introducimos métodos de aprendizaje que aumentan la expresividad del lenguaje de representación, incrementan la precisión de los modelos aprendidos, y permiten la reducción de los costes inherentes al proceso de aprendizaje. La primera aportación es la definición de un marco de inducción basado en los lenguajes multiparadigma. Estos lenguajes aglutinan las mejores características de las dos familias principales de paradigmas declarativos: los lenguajes funcionales y los lenguajes lógicos. El empleo de este tipo de lenguajes en el aprendizaje presenta una serie de ventajas tales como la utilización directa de tipos y funciones. Este marco de inducción ha sido implementado en un sistema de aprendizaje automático, del cual incluimos diversos experimentos y resultados. El aprendizaje con lenguajes de representación muy expresivos permite el tratamiento de problemas con estructura compleja; sin embargo, aumenta considerablemente el espacio de búsqueda de los algoritmos de aprendizaje, reduciéndose su eficiencia. Por lo tanto, los problemas con muchos datos y atributos típicos en la minería de datos, se abordan con algoritmos basados en lenguajes de representación más simples, como los lenguajes proposicionales. Parece interesante diseñar métodos que permitan obtener modelos comprensibles y que sean más precisos cuanto más recursos computacionales se proporcione al algoritmo. En este contexto, esta tesis aporta la definición de multiárboles de decisión sobre los cuales presentamos diferentes aplicaciones. Primero definimos un algoritmo anytime que emplea esta estructura multiárbol para la generación de árboles de decisión que mejoran paulatinamente en precisión y comprensibilidad los algoritmos clásicos de aprendizaje de árboles de decisión. La estructura multiárbol la usamos tamibén como método multiclasificador, es decir, combinando las hipótesis presentes en el multiárbol. La principal ventaja de este método respecto a otros algoritmos multiclasificadores es un importante ahorro en recursos computacionales debido a las características del multiárbol, donde las hipótesis comparten parte de su estructura. Asimismo, presentamos un método novedoso para genera una hipótesis que se parece semánticamente al modelo combinado, pero con la ventaja de que esta hipótesis es comprensible, y, además, para su uso y almancenamiento se requieren todavía menos recursos. La verdadera utilidad de un método de aprendizaje no sólo depende de la obtención de modelos expresivos, comprensibles y precisos, sino que es también vital reducir los costes relacionados con el contexto en el que se van a aplicar. Ejemplos de estos costes son los costes del error en una predicción, o bien los costes necesarios para realizar pruebas (tests) que permitan al modelo efectuar predicciones. En esta tesis introducimos una técnica basada en el área (AUC) bajo la curva Receiver Operating Characteristic (ROC), que permite evaluar eficientemente la calidad de un clasificador binario independientemente del contexto de costes. La eficiencia de esta medida nos sirva para la definición de un nuevo criteiro de partición, que permite la construcicón de árboles de decisión basado en el análisis ROC. Extendemos dicho criterio a más de dos clases, utilizando aproximaciones del AUC para problemas multiclase. Por último, también investigamos diversas técnicas que sirven para reducir los costes asociados a la realización de los tests. En resumen, esta tesis aporta nuevas técnicas de aprendizaje para generar modelos más expresivos, comprensibles, precisos y con un uso menor de recursos computacionales en contextos variables.

Autor: RIBADAS PENA FRANCISCO JOSÉ.
Año: 2002.
Universidad: A CORUÑA .
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: El uso de árboles como formalismo de representación es una técnica empleada comúnmente en multitud de campos de la informática. Podemos encontrar ejemplos de su uso como estructuras de datos básicas en los compiladores y optimizadores de código, tanto para lenguajes procedimentales, como para lenguaje lógicos o funcionales. También se emplean árboles en la representación de estructuras moleculares, en sistemas de gestión de documentos estructurados o en la representación de sentencias de lenguajes naturales. Por esta razón, un problema de especial relevancia, es el del reconocimiento de patrones en estructuras arborescentes. El objetivo de estas técnicas es el de localizar una estructura de interés, expresada en forma de patrón, dentro de un conjunto de estructuras mayores. El trabajo que presentamos en esta tesis pretende extender las técnicas clásicas de reconocimiento de patrones sobre árboles, basadas en el concepto de distancia de edición, al caso de los bosques compartidos. Nuestro trabajo se embarca en el campo de la aplicación de técnicas avanzadas de reconocimiento de patrones en sistemas de recuperación y extracción de información. En concreto, en el estudio del uso de estructuras sintácticas como elementos clave para la descripción y el acceso a documentos relevantes para los usuarios. En el caso del análisis del lenguaje natural, debemos enfrentamos al problema de la ambigüedad inherente a este tipo de lenguajes. Dicha ambigüedad origina que una misma sentencia pueda tener más de una estructura sintáctica asociada. En nuestro trabajo hemos empleado el generdor de analizadores ICE, que proporciona una representación compacta de los múltiples análisis de una sentencia en forma de bosque de análisis compartido. Por lo tanto, nos hemos centrado en la adaptación de los algoritmos clásicos de reconocimiento de patrones sobre árboles al caso de los bosques de análisis compartidos generados por ICE. Para realizar esta adaptación hemos realizado un estudio de los algoritmos clásicos, centrándonos, tanto en aspectos computacionales, como en su capacidad expresiva. Eligiendo las propuestas de Zhang y Shasha como base para nuestro trabajo. A la hora de efectuar la integración del algoritmo de Zhang y Shasha en ICE, se ha llevado a cabo un estudio del tipo de representación sintáctica utilizada, identificado los factores que determinan la compartición de estructuras y cómo afectan al mecanismos de reconocimiento de patrones. Estos nos ha permitido modificar la propuesta original para adaptarla a las peculiaridades de las estructuras sintácticas generadas por ICE, consiguiendo un aprovechamiento máximo de la compartición de estructuras, que evita cálculos redundantes. Finalmente, hemos evaluado las ventajas aportadas por nuestra aproximación en cuanto a la mejora del rendimiento, realizando una serie de experimentos empleando un conjunto de gramáticas no deterministas. Estos resultados muestran una importante reducción del coste computacional y confirman la adecuación de nuestras propuestas al tratamiento de sentencias altamente ambiguas. Ello nos ofrece un marco prometedor de cara a la utilización práctica de estas técnicas de reconocimiento de patrones en aplicaciones donde se precise el procesamiento eficaz de árboles con compartición.

Autor: DARRIBA BILBAO VICTOR MANUEL.
Año: 2002.
Universidad: A CORUÑA.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: Un problema no resuelto en el ámbito de la corrección de errores sintácticos es cuanto se debe avanzar en la entrada para validar las soluciones obtenidas. Dado que es totalmente imposible inferiro la intención original de quien escribe la entrada, el objetivo de estas técnicas será la generación de una o varias correcciones de la sentencia original con un coste mínimo. Este objetivo sólo puede ser resuelto mediante métodos globales que consideran la totalidad de la entrada. El problema es que estos métodos son muy ineficientes, puesto que desperdician esfuerzo en partes de la entrada sin errores. En las aproximaciones locales se examina un contexto no global alrededor del error, y se intenta validar las correcciones en una zona de longitud predefinida con el fin de proseguir con el análisis sintáctico. Pero la simplicidad de estos modelos suele llevar a la elección de correcciones muy pobres. Como alternativa, los modelos regionales consideran una zona de validación cuya longitud se determina dinámicamente en función del proceso de corrección actual. Este enfoque intenta aprovechar las ventajas de las dos categorías anteriores minimizando sus inconvenientes. Se trata de obtener correcciones con la misma calidad que en el caso global, pero con un coste computacional lo más cercano posible a las aproximaciones locales. Nuestra solución consiste en trabajar en el dominio de una estrategia regional de mínimo coste con validación dinámica. De este modo, asignamos a las correcciones obtenidas costes basados en una métrica dada y seleccionamos aquellas con uno menor. Nuestro objetivo es tratar la problemática de la aparición de errores en cascada, resultantes de un mal proceso de corrección previo. De hehco, la no aparición de este tipo de errores, o al menos la minimización de sus efectos, proporciona una buena medida de la calidad de un proceso de corrección. Así, la consideración de un entorno global hace que tal problemática no se produzca. Pero en un modelo regional no es posible garantizar siempre, en el momento en que se validan las correcciones, que éstas vayan a ser óptimas en un contexto global; y una mala selección puede llevar a la aparición posterior de errores en cascada. En nuestro modelo presentamos las condiciones que deben cumplirse para que esta situación se produzca y como solucionamos esta problemática mediante la reconsideración de las correcciones causantes del error. Esta solución produce la equivalencia asintótica de nuestro modelo con algoritmos de corrección global. Otro problema no tratado en la mayor parte de las estrategias clásicas de corrección es el del no determinismo. Este fenómeno puede ser inducido tanto por la aparición de ambigüedad gramatical como por el cálculo simultáneo de varias correcciones para un mismo error. En nuestro modelo, resolvemos este problema mediante un uso extensivo de técnicas de programación dinámica, con el fin de obtener un alto grado de compartición de cálculos y estructuras entre las diferentes alternativas de análisis. Mejorando esta compartición podemos calcular simultáneamente dichas alternativas reduciendo significativamente el coste computacional de nuestra propuesta.

Autor: CABRERO SOUTO DAVID.
Año: 2002.
Universidad: A CORUÑA .
Centro de lectura: INFORMATICO.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: Dentro del análisis sintáctico, la utilización de formalismos gramaticales valuados es, hoy por hoy, punto inconturnable en el desarrollo de estrategias de análisis sintáctico en entornos de procesamiento del lenguaje natural y en programación lógica, este último como representante del paradigma declarativo. El presente trabajo se centra en el estudio y desarrollo de técnicas de análisis sintáctico dirigidas, en última instancia, al tratamiento de sistemas basados en el análisis de formalismos gramaticales valuados donde, típicamente, el concepto de categoría gramatical se extiende a un dominio posiblemente infinito. En estas circunstancias los métodos clásicos de análisis sintáctico basados en la consideración de dominios finitos no son aplicables, al no garantizar la correcta terminación del proceso de cálculo. Referido al campo de las gramaticas lógicas, esta situación fuerza la necesidad del desarrollo e implementación de técnicas de análisis capaces de asegurar la completud de la resolución en el caso de presencia de símbolos funcionales. Igualmente cobra especial relevancia la consideración de las técnicas de programación dinámica aplicadas al análisis sintáctico. Este hecho es debido a la compactación de las repreentaciones, que convierte este paradigma en una técnica eficiente para el tratamiento de cálculos con un alto grado de redundancia, relacionados con fenómenos tales como el no determinismo, habituales en formalismos gramaticales complejos. Hasta el momento, las técnicas aplicadas se han basado fundamentalmente en el concepto subyacente en la técnica de restricción. Esta permite de forma simple y eficaz limitar el proceso de evaluación a aquellos nodos del bosque de prueba en los que la ausencia de bucles a nivel de la unificación está garantizada. La técnica no permite, sin embargo, una detección automatizada delos nodos conflictivos ni su representación. Nuestro acercamiento prevé la consideración tanto del problema de la detección de ciclos a nivel de la unificación de argumentos, como su representación explícita en los casos en los que ello sea posible. Nuestro punto de partida será el estudio de las propiedades estáticas de evaluación de los formalismos gramaticales considerados y su adecuación a técnicas de evaluación dinámica, la mejor adaptadas al problema por garantizar una compartición óptima de cálculos y estructuras. Para ello estableceremos un marco descriptivo común sobre el cual desarrollar y comparar diversas estrategias de análisis sintáctico. Este marco también nos permitirá extender de manera intuitiva las técnicas incorporadas al análisis de lenguajes a otros formalismos gramaticasl valuados.

Autor: PUIGSEGUR FIGUERAS JORDI.
Año: 2002.
Universidad: LLEIDA .
Centro de lectura: INGENIEROS AGRONOMOS.
Centro de realización: INSTITUT D'INVESTIGACIÓ EN INTEL.LIGÉNCIA ARTIFICIAL (CSIC).

Autor: BECERRA TERON ANTONIO.
Año: 2002.
Universidad: ALMERIA.
Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR.
Centro de realización: ESCUELA POLITÉCNICA SUPERIOR (UNIVERSIDAD DE ALMERIA).

Resumen: El objetivo de la tesis es el diseño del lenguaje de bases de datos deductivo indalog, basado en el paradigma de la programación lógico funcional, y utilizando una metodología que integre y extienda las características de sistemas de bases de datos deductivos declarativos basados en programación lógica y programación funcional. Indalog permite la definición de esquemas e instancias inducidas a partir de reglas condicionales de preescritura, manesando instancias infinitas, atributos multivalorados posiblemente infinitos, información parcial, y restricciones de igualdad de desigualdad. Se han definido los fundamentos semánticos de indalog y se ha caracterizado como lenguaje de consulta garantizando la propiedad de independencia del dominio. También, se han desarrollado formalismos de consulta altenativos, basados en extensiones del cálculo y algebra relacional, probando la equivalencia entre las consultas en indalog, las formulas del cálculo y las expresiones del algebra. Por último se ha desarrollado una semántica operacional basada en evaluaicón BOTTOM-UP dirigida por el objetivo para programas con semantica en CRWL y CRWLF. Se han probado resultados de adecuación y optimalidad para la semántica operacional.

Autor: IRIBARNE MARTÍNEZ LUIS FERNANDO.
Año: 2002.
Universidad: ALMERIA.
Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR.
Centro de realización: ESCUELA POLITÉCNICA SUPERIOR DE ALMERÍA.

Resumen: Aunque realmente es muy complicado predecir y cuantificar el impacto que podría tener en un futuro la utilización de las prácticas de desarrollo basadas en componentes COTS en las organizaciones, sí que puede cambiar la forma de pensar de los ingenieros a la hora de afrontar sus proyectos, ya que este planteamiento está haciendo que la ingeniería del software se enfrente a nuevos estilos de desarrollo de software, ascendentes y siguiendo algún modelo en espiral (como el de Nuseibeh, 2001), frente al desarrollo tradicional, descendente y en cascada. Una de las principales consecuencias de este estilo de desarrollo (ascendente y basado en componentes comerciales) es el acercamiento fechaciente de tres áreas importantes de la Ingeniería del Software, como son las arquitecturas de software, los servicios de mediación y las especifiaciones de componentes. Este acercamiento ha venido propiciado por la inherente naturaleza del estilo de desarrollo ascendente: la necesidad de contemplar sistemáticamente las características de implementación de los componentes en fases de diseño del sistema. Una de las principales motivaciones del presente trabajo ha sido la de tratar de acercar aún más estas tareas de la ingeniería del software con la intención de ofrecer una propuesta de solución al problema de la conexión diseño-implementación, anteriormente citado. Por tanto, el trabajo aquí presentado ofrece sus contribuciones dentro del paradigma del desarrollo de software basado en componentes, y en particular en los campos de (a) los componentes comerciales, (b), los modelos de mediación y © los modelos de documentación de componentes, en donde su principal aportación es la definición de un modelo de mediación de componentes COTS para la construcción de aplicaciones de software en entornos abiertos y distribuidos. Las principales aportaciones de este trabajo son las siguientes. Se ha realizado un estudio de la actual función de mediación de ODP y se han identificado una serie de limitaciones para trabajar con componentes comerciales. Este estudio ha sido clave para el diseño posterior de un modelo de mediación para componentes COTS. Se define un modelo de mediación de componentes diseñado para construir aplicaciones de software a partir de componentes comerciales. A partir de este modelo se ha desarrollado una implementación de un servicio de mediación, denominado COTStrader. También se define un modelo para la documentación de componentes COTS, y un lenguaje en la notación SMLSchemas (W3C) que lo sustenta. Este lenguaje permite definir especificaciones de componentes comerciales en plantillas XKL, denominadas COTScomponent. También, se estudia y ofrece una solución a ciertos problemas que aparecen en la construcción de aplicaciones de software cuando se combinan especificaciones de componentes con múltiples interfaces: los problemas de las lagunas y solapamientos entre interfaces. También se extienden los tradicionales operadores de reemplazabilidad y compatibilidad de componentes para el caso de múltiples interfaces, y se define un algoritmo de configuración que utiliza estos operadores extendidos para calcular la lista de combinaciones de especificaciones de componentes a partir de una colección de componentes candidatos dada. Se ha desarrollado una implmentación del algortimo de configuración, denominado COTSconfig. Para definir un arquitectura de software con información de componentes COTS, se realiza una propuesta que utiliza la notación IML-RT extendiendo las representaciones gráficas de las cápsulas mediante notas, estereotipos y valores etiquetados, para modelar la captura de los requisitos de los componentes del sistema. Se ha definido un método de desarrollo de software semi-automatizado para la construcción de aplicaciones con componentes comerciales, y que pone de manifiesto cómo se pueden integrar nuestras propuestas en algunos tipos de metodologías en espiral del DSBC. Se ha desarrollado un caso ejemplo completo de una aplicación de software con componentes comerciales, en el campo de los sistemas de información goegráficos (SIG).

Autor: RUBIO DIEZ FERNANDO.
Año: 2001.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: La tesis se sitúa en el área de los lenguajes funcionales paralelos y muestra la utilidad de uno de ellos en el desarrollo de aplicaciones paralelas eficientes, entendiendo el concepto de eficiencia tanto en el aspecto de aprovechamiento de las máquinas paralelas, como en el aspecto de minimización de los tiempos de desarrollo de los programas. El lenguaje Eden,una extensión paralela de Haskell, es novedoso y el doctorando ha participado tanto en su diseño como en su implementación, parte de la cual se refleja en la tesis. Las principales aportaciones de la tesis pueden agruparse en cuatro apartados: 1,- Diseño y desarrollo de un simulador de arquitecturas paralelas que permiten predecir el comportamiento que tendrían los programas Eden sobre distintas arquitecturas. Esta herramienta facilita las labores de desarrollo de programas, pues permite detectar ineficiencias en el código fuente, y corregirlas fácilmente antes de disponer de una arquitectura paralela concreta. 2,- Diseño y desarrollo de una estrategia de compilación que permita reutilizar la mejor tecnología de compilación de programas Haskell disponible en el mercado,y que a la vez permita realizar optimizaciones sobre las partes paralelas del código fuente. Dicha estrategia ha permitido que la implementación del lenguaje Eden genere código eficiente. 3,- Diseño y desarrollo de una amplia librería de esqueletos (esquemas genéricos de algoritmo paralelos) en Eden. Dado que los esqueletos resuelven esquemas genéricos, se facilitan notablemente las tareas del programación paralela, que se reducirán a decidir qué esquema aplicar en cada caso. Es la primera vez que un lenguaje funcional perezoso se utiliza como lenguaje de implementación de esqueletos, siendo la principal ventaja el hecho de que se obtiene la facilidad de desarrollo de los lenguajes basados en esqueletos, pero sin heredar sus restricciones a la hora de describir nuevos esquemas paralelos. 4,- Experimentación de los esqueletos en numerosos casos de estudio, demostrando la utilidad de los tres puntos anteriores para obtener un lenguaje de programación funcional paralela eficiente tanto en tiempo de ejecución de los programas como en tiempo de desarrollo de los mismos.

Autor: PELECHANO FERRAGUD VICENTE.
Año: 2001.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA.

Resumen: El trabajo desarrollado en esta tesis se situa en el contexto del Modelado Conceptual y la Generacion Automatica de Codigo de Relaciones Taxonomicas. Las Relaciones Taxonomicas a las que se refiere son las basadas en una relación de orden parcial conocidas como relaciones es-un o especializacion, y generalizacion. El trabajo define un marco metodologico basado en patrones, que proporciona guias para llevar a cabo la identificacion, categorizacion y especificacion de relaciones taxonomicas en el modelado conceptual (Espacio del Problema), y su implementacion en el Espacio de la Solucion. La aproximacion que se presenta esta basada en la aplicación de patrones software en el proceso de produccion automatica de software introducido con el metodo OO-Method. Con este trabajo se pretende incorporar el uso de patrones a las fases de desarrollo de software para facilitar el proceso de modelado y de generacion de codigo mediante la aplicación de estructuras de diseño de calidad. El trabajo desarrollado en esta tesis se situa en el contexto del Modelado conceptual y la Generacion Automatica de codigo de Relaciones Taxonomicas. Las relaciones taxonomicas a las que se refiere son las basadas en una relación de orden parcial conocidas como relaciones es-un o especializacion, y generalizacion. El trabajo define un marco metodologico basado en patrones, que proporciona guias para llevar a cabo la identificacion, categorizacion y especificacion de relaciones taxonomicas en el modelado conceptual (Espacio del problema) y su implementación en el Espacio de la Solucion. La aproximación que se presenta está basada en la aplicación de patrones software en el proceso de producción automatica de software introducido por el método OO-Method. Con este trabajo se pretende incorporar el uso de patrones a las fases del desarrollo de software para facilitar el proceso de modelado y de generación automatico de codigo, proporcionando guias de modelado, y estructurando el proceso de generacion de codigo mediante la aplicación de estructuras de diseño de calidad.

Autor: ORTIN SOLER FRANCISCO.
Año: 2001.
Universidad: OVIEDO.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: EDIFICIO DEPARTAMENTAL CAMPUES DE VIESQUES GIJON.

Resumen: Este tesis describe el modo en el que distintas técnicas de reflectividad pueden ser empleadas para el desarrollo de un sistema computacional de programación extensible y adaptable dinámicamente, sin sufrir dependencia alguna de un lenguaje de programación específico, y empleando para ello una plataforma virtual heterogénea. Se diseña una máquina abstracta, de tamaño y complejidad semántica reducida, como la raíz computacional del sistema, que otrogue primitivas básicas de reflectividad. Tanto su tamaño restringido como su capacidad introspectiva, la hacen susceptible de ser implantada en entornos computacionales heterogéneos, constituyendo además un entorno computacional independiente de la plataforma. Haciendo uso de las facultades reflectivas ofrecidas por la máquina abstracta, su nivel de abstración computacional podrá ser extendido en su propio lenguaje de programación, sin necesidad de modificar la implementación reducida de la máquina virtual, y sin perder así la portabilidad de su código. El empleo de su capacidad extensible se utilizará, a modo de ejemplo, en el disñeo de abstracciones propias de persistencia, distribución, planficación controlada de hilos y recolección de basura. Todas las abstracciones ofrecidas mediante la extensión de la plataforma en su propio lenguaje, son adaptables para cualquier aplicación, en tiempo de ejecucción. Un sistema de procesamiento genérico de lenguajes es diseñado disponiendo de las características reflectivas de la plataforma, dando lugar a una independencia global del lenguaje de programación seleccionado por el programador. Cualquier aplicación podrá interactuar con otra, bajo el modelo computacional de objetos ofrecido por la máquina abstracta, independientemente del lenguaje en el que hayan sido creadas. La flexibilidad dinámica del sistema creadores superior, tanto en expresividad como en el espectro de facetas computacionales adaptables, a los actualmente existentes. La estructura de aplicaciones en ejecución, y la especificación léxica, sintáctica y semántica de su lenguaje de programación, son parámetros configurables dinámicamente, tanto por ella misma -en cualquiera que sea su lenguaje de programación-, como por otra aplicación. El sistema reflectivo ofrecido no posee restricción alguna respecto a las características computacionales a configurar, ni respecto al modo de expresar su adaptación. Toda la flexibilidad ofrecida es dinámica, no siendo necesario finalizar la ejecución de una aplicación para su configuración, pudiéndose adaptar ésta a requisitos surgidos dinámicamente, imprevisibles en tiempo de desarroollo.

Autor: PARAMÁ GABÍA JOSÉ RAMÓN.
Año: 2001.
Universidad: A CORUÑA.
Centro de lectura: INFORMÁTICA .
Centro de realización: FACULTADE DE INFORMÁTICA.

Resumen: Esta tesis presenta resultados en dos áreas principales. Por un lado se presentan resultados en el área de optimización de consultas recursivas (programas datalog recursivos lineales) en sistemas de gestión de bases datos deductivas (o convencionales pero que cumplan las especificaciones de SQL99) y por otro se presentan resultados en la implicación de dependencias funcionales en el modelo de datos deductivo. Para la optimización de programas recursivos lineales la aproximación adoptada es la de la optimización semántica de consultas que consiste en la utilización de las restricciones, que cumplen las bases de datos sobre las que se ejecutan las consultas, para obtener un programa más eficiente de evaluar. En concreto, se presentan dos algoritmos para la optimización de programas de datolg recursivos lineales cuando la base de datos sobre la que se ejecutan las consultas cumple un conjunto de dependencias funcionales. El primero se denomina chase de programas datalog y el segundo se denomina cyclic chase de programas datalog. Ambos algortimos persiguen el mismo objetivo (pero siguiendo dos aproximaciones ligeramente distintas), esto es, a partir de un progrma datalog recursivo lineal P y un conjunto de dependencias funcionales F, los dos algoritmos obtienen un programa P' que es equivalente a P cuando ambos (P y P') son evaluados sobre bases de datos que cumplen las dependencias funcionales F. Los dos algoritmos se basan en la utilización del chase, un procedimiento que originalmente se desarrolló para comprobar si una descomposición (de una relación universal) en distintas relaciones tenía pérdida de información o no. Los dos algoritmos utilizan la idea básica del chase (la igualación de variables siguiendo las dependencias funcionales) para la igualación de variables dentro de los programas datalog. Es decir, utilizando las dependencias funcionales se igualan variables pertenecientes al programa, dichas igualaciones pueden dar lugar a la desaparición de átomos del programa original e incluso puede llegar a transformar un programa no acotado (un programa acotado es equivalente a un programa no recursivo) no acotado.

Autor: PENADES GRAMAJE M. CARMEN.
Año: 2001.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA.

Resumen: Actualmente, el desarrollo de software en las organizaciones no está limitado a la automatización de ciertas actividades individuales, sino que hay un interes cada vez mayor por los procesos organizacionales, vistos como un todo, y su automatizacion. Surgen, por lo tanto, nuevas necesidades de capturar, modelar, ejecutar y monitorizar dichos procesos. En este nuevo escenario, los flujos de trabajo, conocidos por el termino en ingles workflows, y la tecnologia asociada ofrecen un marco adecuado para abordar el problema, puesto que cubre, al menos parcialmente, estas necesidades. En esta tesis se presenta una aproximacion metodologica al desarrollo de flujos de trabajo. La principal contribución es la definición de un ciclo de vida que, integrando en un mismo marco tecnicas aplicadas con éxito en la Ingenieria del Software y la Extracción de conocimiento, tiene como objetivo fundamental el desarrollo de flujos de trabajo de calidad. La definición y formalización de un metamodelo de referencia permite establecer un nexo entre las distintas fases o subprocesos de desarrollo. La aproximación que se presenta se basa en la utilización del modelo orientado a objetos, lenguajes formales y generacion de codigo basada en modelos, asi como de tecnicas de analisis de información almacenada para extracción de conocimiento. El trabajo incorpora una capa de Ingenieria de Requisitos al proceso de definición del flujo de trabajo, que facilita la captura y validación de los requisitos del proceso de negocio. Esto, junto con la formalización del metamodelo de referencia, hacen que aumenten las garantias de generación de codigo de calidad a partir de los modelos construidos. Sin embargo, pueden existir errores o deficiencias no detectadas hasta que no se produzca la ejecución real del flujo de trabajo. Por lo tanto, se incluye tambien un proceso de mejora basado en la definición de un modelo de datos multidimensional para analisis de ejecuciones de procesos. Este modelo permite la extracción de conocimiento mediante tecnicas de explotación de almacenes de datos y mineria de datos.

Autor: FERNÁNDEZ LEIVA ANTONIO JOSÉ.
Año: 2001.
Universidad: MALAGA.
Centro de lectura: INFORMÁTICA.
Centro de realización: E.T.S.I. INFORMÁTICA.

Resumen: Esta tesis propone un esquema genérico y cooperativo para la programación lógica con restricciones de intervalos definidos sobre cualquier dominio de computación con estructura de retículo. El esquema, que está basado en la teoría de retículos, es un enfoque general para la satisfacción y optimización de restricciones de intervalo así como para la cooperación de resolutores de intervalo definidos sobre cualquier conjunto de dominios de computación con estructura de retículos, independientemente de la cardinalidad de éstos. Se ha descrito el proceso global de resolución de restricciones de intervalo sobre cualquier retículo, separando claramente los procesos de propagación y división (ramificación) de intervalos. Una de las ventajas de la propuesta es que la monotonía de las restricciones está implícitamente definida en la teoría. Además, se declaran un conjunto de propiedades interesantes que, bajo ciertas condiciones, son satisfechas por cualquier instancia del esquema genérico. El esquema propuesto permite la cooperación de resolutores de manera que la información puede fluir entre diferentes dominios de computación y, además, es posible la combinación de distintas instancias del mismo. Se demuestra también que este enfoque permite una amplia flexibilidad en la definición de dominios (probablemente definidos por el usario) y en la interacción entre estos dominios. La propuesta asegura un enfoque transparente sobre el cual las restricciones, los dominios de computación y los mecanismos de propagación y cooperación, definidos entre las variables restringidas, pueden ser fácilmente especificados a nivel del usuario. La parte principal de la tesis presenta una especificación formal del esquema.

Autor: CORREA ZABALA FRANCISCO JOSÉ.
Año: 2001.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: La depuración de programas lógico funcionales es un importante problema práctico que ha sido escasamente tratado en la literatura. La depuración se puede enfocar desde el punto de vista declarativo y desde el punto de vista procedural. La principal contribución de esta tesis es el desarrollo de métodos de diagnóstico declarativo para la depuración de programas lógico funcionales con respecto al observable de respuestas computadas. Las condiciones impuestas a los programas que consideramos nos permiten definir un marco genérico para la depuración declarativa que es paramétrico con respecto a la estrategia de narrowing. En particular nuestro esquema se aplica tanto al narrowing impaciente (llamada por valor) como al narrowing perezoso (llamada por nombre). Primero asociamos a un programa lógico funcional, R, un operador (continuo) de consecuencias inmediatas, T R, el cual es pramétrico con respecto a la estrategia de narrowing que puede ser tanto perezosa como voraz. Utilizamos el menor punto fijo de este operador para definir la semántica del programa. Demostramos que tal semántica tiene la propiedad de que podemos obtener las respuestas computadas para un objetivo g, con la estrategia de narrowing, por unificación sintáctica con las ecuaciones de la semántica. Construimos la semántica O (R) y mostramos su correspondencia con la semántica de punto fijo. Entonces mostramos que, dada una especificación deseada I de un programa R podemos deter-minar los errores de correción y completitud del programa R por un simple paso de este operador. A continuación presentamos una técnica de aproximación de la semántica deseada del conjunto de éxi-tos. Usamos los conceptos de sobreespecificación I+ y subespecificación I- para aproximar correc-tamente por exceso (resp.por defecto) la semántica deseada. Al comparar uno de estos conjuntos con el resultado de aplicar el operador de consecuencias inmediatas al otro y, mediante un simple test es-tático, podemos determinar cuándo alguna de las clásulas es incorrecta y cuándo existen ecuaciones no cubiertas. Finalmente hemos desarrollado el sistema experimental "Buggy", que permite realizar la depuración de progrmas lógico funcionales respecto a la semántica de respuestas computadas por las estrategias de narrowing básico, innermost, outermost y necesario. En el sistema presentamos, como complemento natural de la herramienta de diagnóstico, un modulo para la correción automá-tica de reglas, que utiliza los métodos de inducción de programas lógico funcionales basados en transformaciones de plegado/desplegado.

Autor: PASCUAL MARTÍNEZ-LOSA VICO.
Año: 2001.
Universidad: LA RIOJA.
Centro de lectura: ENSEÑANZAS CIENTÍFICAS Y TÉCNICAS.
Centro de realización: CENTRO DE ENSEÑANZAS CIENTÍFICAS Y TÉCNICAS.

Resumen: El primer capítulo comienza con una sección en la que se presenta brevemente el sistema EAT (Effective Algebraictopology). En la sengunda sección se fijan las definiciones, terminología y notaciones relativas a la teoría de conjuntos, la teoría de categorias y las especificaciones algebráicas que se usan. El capítulo 2 presenta la construcción central de la memoria, denotada (.)imp, en un contexto puramente algebráico. Además se interpreta la construcción (.)imp en el marco de la teoría de categorías y se analizan detalladamente sus relaciones con las especificaciones ocultas y las coalgebraicas. En el capítulo 3 se introduce la categoría de implementaciones de un tipo abstracto de datos (en Common LISP) y se muestra el papel de la construcción (.)imp para interpretar en este contexto las estructuras de EAT en términos de objetos finales de categorías. En el último capítulo, el cuarto, los resultados anteriores son refinados al incluir explícitamente información relativa a los invariantes y las igualdades de las implementaciones. Allí se explican también las diferencias entre las representaciones localmente efectivas y las efectivas.

Autor: LLIDÓ ESCRIVÁ DOLORES M..
Año: 2001.
Universidad: JAUME I DE CASTELLON.
Centro de lectura: TECNOLOGÍA Y CIENCIAS EXPERIMENTALES.
Centro de realización: ESCUELA SUPERIOR DE TECNOLOGÍA Y CIENCIAS EXPERIMENTALES.

Resumen: Esta tesis intenta demostrar cómo los sistemas de Recuperación de Información (RI) y los sistemas de Detección de Sucesos (TDT - Topic Detection and Tracking) mejoran si se añade una componente temporal extraída automáticamente del texto, a la cual denominaremos periodo de suceso. Este atributo representa el espacio de tiempo en el que transcurre el suceso principal relatado en cada documento. Con este propósito la tesis ha cubierto los siguientes objetivos: * Definición de un modelo de tiempo para representar y manipular las referencias temporales que aparecen en un texto. * Desarrollo de una aplicación para la extracción de expresiones temporales lingüísticas y el reconocimiento del intervalo absoluto que referencian según el calendario Gregoriano. * Implementación de un sistema para la extracción automática del periodo de suceso. * Modificación de los actuales sistemas de RI, TDT para incluir la información temporal extraída con las herramientas anteriores.

Autor: MARTÍN GALÁN BONIFACIO.
Año: 2001.
Universidad: CARLOS III DE MADRID.
Centro de lectura: CIENCIAS SOCIALES Y JURÍDICAS.
Centro de realización: UNIVERSIDAD CARLOS III DE MADRID.

Resumen: La producción masiva de documentos jurídicos hace necesario su adecuado tratamiento para garantizar el principio democrático de publicidad. Una nueva disciplina dentro del campo del Derecho conocida por el nombre de Informática jurídica documental tiene como objetivos principales en la creación de bases de datos capaces de satisfacer las necesidades de información jurídica de los profesionales y estudiosos del Derecho, así como del ciudadano en general, de un modo exhaustivo a la vez que preciso. Frente a los métodos tradicionales se plantea la utilidad y viabilidad del uso de las tecnologías derivadas de la Word Wide Web. Los documentos jurídicos son un material sumamente adecuado para su tratamiento mediante los lenguajes de mercado de texto surgidos en este entorno, en especial a través del metalenguaje XML. Se trata de demostrar la validez de las tecnologías XML de la Web para la construcción de una base de datos de información jurisprudencial emanada del Tribunal Constitucional accesible a través de Internet, alternativa a los modelos tradicionales.

Autor: PEÑAS PADILLA ANSELMO.
Año: 2001.
Universidad: NACIONAL DE EDUCACION A DISTANCIA.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: ETSI INDUSTRIALES.

Resumen: Los sistemas de búsqueda han adquirido una gran importancia en el uso cotidiano de los ordenamientos. Sin embargo, la recuperación de información textual tiene asociada una serie de problemas todavaía no resueltos satisfactoriamente. Algunos de estos problemas provienen de las características del lenguaje natural. Por esta razón, diversos autores se han interesado en la aplicación de técnicas lingüísticas automáticas a la recuperación de información, obteniendo resultados que hasta la fecha no son plenamente satisfactorios y que cuestionan la utilidad de estas técnicas en la búsqueda textual. En este trabajo se abordan los problemas de ambigüedad léxica, variación terminológica y translingüísmo en el acceso a la información, con la siguiente línea argumental: 1,- Estudio del papel de las técnicas lingüísticas en el modelo tradicional de recuperación y ordenación de documentos. 2,- Transición a un modelo interactivo en el que los resultados parciales del procesamiento lingüístico se ofrecen al usuario como caminos alternativos de contextualización de la consulta y de acceso a la información. 3,- Creación de un marco en el que sea posible la evaluación de estos sistemas interactivos de acceso a la información. La primera parte muestra una serie de experimentos de recuperación con el fin de discernir si la falta de buenos resultados se debe a los errores que introduce el procesamiento automático o si se debe a que las técnicas lingüísticas no resultan estrategias adecuadas en un modelo tradicional de recuperación de documentos. Estos experimentos se han llevado a cabo sobre una colección etiquetada manualmente en todos los niveles léxicos. De esta forma, los resultados de recuperación quedan libres de los errores de un procesamiento automático permitiendo determinar si las técnicas lingüísticas (en una situación ideal) suponen o no estrategias adecuadas para mejorar la recuperación. Los experimentos llevados a cabo muestran que, en un modelo tradicional de recuperación de documentos, ni la desambiguación de la categoría gramatical, ni la detección y distinción de compuestos léxicos, ni la desambiguación del sentido de las palabras producen mejoras significativas en la recuperación de documentos que justifiquen el coste de procesamiento que introducen. La desambiguación del sentido de las palabras, sin embargo, permite realizar una indexación basada en synsets de WordNet que resulta prometedora y que abre la posibilidad de una recuperación translingüe gracias al índice interlingua de EuroWordNet. Los experimentos que se presentan muestran que esta indexación conceptual basada en synsets resulta bastante robusta ante la introducción de errores. Estos resultados llevaron a la decisión de implemantar un prototipo que permitiera evaluar no sólo cuantitativamente, sino también cualitativamente una recuperación multilingüe basada en idexación conceptual sobre synsets de EuroWordNet. La evaluación de este sistema arroja a la luz varios retos por resolver que de momento no hacen efectiva la recuperación basada en indexación conceptual. Con estos antecedentes, la segunda parte del trabajo explora una nueva posibilidad de abordar los problemas de ambigüedad léxica, variación terminológica y multilingüismo. En lugar de aplicar las técnicas lingüísticas a la indexación de información, subordinándolas al modelo clásico de recuperación de documentos, estás técnicas se utilizan para ofrecer al usuario un nivel de procesamiento lingüístico parcial en un modelo interactivo de acceso a la información. Este nuevo nivel de información se ha concretado, en este trabajo, en una nueva área de terminología extraída automáticamente a partir de la colección y particularizada de acuerdo con la consulta. La indexación de información se dirige a obtener y normalizar las sintagmas de la colección. En el momento de la consulta, cuando el usuario realmente puede expresar sus necesidades de información, el sistema le ayuda a contextualizar su consulta surgiriéndole sintagmas presentes en la colección. Estos sintagmas suponen variaciones morfosintácticas, semánticas y translingües de su consulta y, a la vez, vías de acceso directo a los documentos. Este modelo da forma a la interfaz del sistema Website Term Browser (WTB) en la que aparece, además del área tradicional de documentos, un área de terminología recuperada, seleccionada y organizada de acuerdo con la consulta. Las evaluaciones diseñadas para los sistemas de recuperación de documentos no son aplicables a WTB. Tampoco resultan apropiadas las evaluaciones diseñadas para los sistemas de búsqueda interactiva, ni para los sistemas que proporcionan interactividad al tratar los problemas de multilingüismo. Por esta razón, el tercer punto en torno al cual se estructura este trabajo es la creación de un nuevo marco de evaluación para sistemas interactivos con las características de WTB. La evaluación muestra que los usuarios estiman de utilidad el nuevo nivel de información terminológica, sirviendo de complemento al ranking tradicional de documentos. La evaluación también muestra la capacidad del sistema para recuperar información multilingüe y para tratar grandes volúmenes de información.