LENGUAJES DE PROGRAMACION

Autor: ABRAHAO SILVIA MARA.
Año: 2004.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: Dep. Sistemas Informaticos y Computacion.
Centro de realización: Universidad Politécnica de Valencia.

Resumen: Los métodos de medición de tamaño funcional (FSM) miden el tamaño del software a través de la cuantificación de los requisitos funcionales del usuario. La capacidad de cuantificar el tamaño del software en las primeras fases del ciclo de vida es crítica para la evaluación de riesgos, generación de estimaciones y la obtención de indicadores del proyecto. A pesar de su extensa aceptación en la práctica, los métodos FSM han sido criticados por su incapacidad para la correcta medición de sistemas orientados a objetos. Por otra parte, muchas organizaciones hoy en día requieren medir aplicaciones Web y los métodos FSM estándares son inadecuados ya que no han sido diseñados teniendo en cuenta las características particulares de este tipo de artefactos. En esta tesis se presenta OO-Method Function Points (OOmFP) como un procedimiento para el modelado y la medición de sistemas software desarrollados con el método de producción automática de software OO-Method. La propuesta OOmFP se define en base a un mapeo entre las primitivas de modelado de OO-Method y los conceptos del Análisis de Puntos de Función, un método FSM estándar mantenido por el Internacional Function Point Users Group (IFPUG FPA). Asimismo, OOmFP es extendido para la medición de aplicaciones Web. Esta extensión ha sido llamada OOmFPWeb y permite medir el tamaño funcional de aplicaciones Web a partir de esquemas conceptuales especificados con la aproximación OOWS (Object-Oriented Web Solutions). OOmFP y su extensión para la Web (OOmFPWeb) son diseñados y aplicados siguiendo los pasos de un modelo de proceso para la medición del software (Jacquet and Abran, 1997). En esta tesis también se presenta la evaluación de OOmFP y OOmFPWeb. Dicha evaluación abarca no sólo la validación del diseño de los procedimientos (validación teórica) sino también la validación del uso de los procedimientos de medición (validación empírica). Los primeros resultados hacia la validación teórica de la medida de tamaño de OOmFP y OOmFPWeb son demostrados usando el marco formal DISTANCE (Poels y Dedene, 1999). Con respecto a la validación empírica, se presentan los resultados de dos experimentos controlados. En el primer experimento, OOmFP es comparado a IFPUG FPA usando un conjunto de variables basadas en rendimiento (eficacia, reproducibilidad, precisión, etc.) y en percepción (facilidad de uso percibida, utilidad percibida e intención de uso). El objetivo ha sido determinar si OOmFP produce mejores estimaciones de tamaño y si es más probable de ser adoptado en la práctica que IFPUG FPA. Una contribución importante es el desarrollo y prueba de un modelo teórico para evaluar métodos FSM en general. Los resultados demuestran que OOmFP consume más tiempo que IFPUG FPA pero los resultados de medición son más reproducibles y precisos. En el segundo experimento, OOmFPWeb se evalúa usando un conjunto de variables que incluyen productividad, reproducibilidad, facilidad de uso percibida, utilidad percibida e intención de uso. Los resultados demuestran que OOmFPWeb es eficiente cuando se compara con las prácticas actuales en la industria. Además, produce estimaciones de tamaño reproducibles y es percibido como fácil de usar y útil por sus usuarios en el contexto del método de desarrollo OOWS. Por último, parte de los resultados de esta tesis fueron puestos en práctica en CARE Technologies S. A. Específicamente, el procedimiento de medición para sistemas orientados al objeto ha sido personalizado y automatizado para su uso con el OlivaNova Model Execution®, un ambiente de generación automática de código basado en modelos conceptuales.

Autor: RIVERO ALBARRAN DULCE MILAGRO.
Año: 2004.
Universidad: CARLOS III DE MADRID.
Centro de lectura: ESCUELA POLITECNICA SUPERIOR.
Centro de realización: UNIVERSIDAD CARLOS III DE MADRID.

Resumen: El contar con un acuerdo general sobre los principios arquitecturales básicos, hace posible esperar que las bases de un software común estén ya disponibles, y que tal sistema puede ser utilizado por todos los laboratorios, permitiendo además reducir los costos, el tiempo y el esfuerzo dedicado por cada grupo de trabajo para el desarrollo de software en robots móviles. Existe una necesidad de acuerdos comunes para el desarrollo de una arquitectura estándar. Teniendo en consideración los desarrollos de sistemas para robots móviles se reducen cada día más a una cuestión de una eficaz utilización de los conceptos y herramientas de la ingeniería del software, la cual garantiza el desarrollo de arquitecturas para robot flexibles y robustas. Este trabajo de tesis se orienta al desarrollo de Una Arquitectura Software basada en la Arquitectura híbrida Automática Deliberativa (AD). El diseño de esta arquitectura tiene como fin la construcción de un framework que sirve de plantilla arquitectónica para el fácil desarrollo de habilidades simples y complejas en un robot móvil inteligente. Considerando en este trabajo, el caso particular de habilidades complejas que se desarrollan utilizando el mecanismo de secuenciación. Se diseña un lenguaje de especificación de secuencias y un motor de ejecución de secuencias que es utilizado de manera independiente para ejecutar secuencias o como componente para el desarrollo de habilidades complejas.

Autor: López López María Victoria.
Año: 2004.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: E.T.S. INGENIEROS TELECOMUNICACION.
Centro de realización: E.T.S.DE TELECOMUNICACION.

Resumen: En esta memoria se analizan procesos de especificación, diseño, implementación y corrección de algoritmos nítidos y difusos, así como el proceso de derivación de algoritmos correctos a partir de especificaciones formales. Partiendo de la lógica proposicional y la lógica de primer orden clásicas, se aborda el problema de la expresión y valoración de especificaciones formales de algoritmos en el contexto difuso, lo que nos obliga a realizar un estudio del tratamiento de predicados borrosos en el análisis de objetivos. De este modo, se aborda el problema de la especificación formal mostrando la utilidad del rigor lógico-matemático para expresar las propiedades que ofrecen los datos de entrada en la resolución de problemas que se plantean libres de ambigüedades mediante predicados lógicos. En este trabajo se muestran las técnicas de diseño de algoritmos. En el paradigma imperativo se estudia el diseño desde la intuición y desde la especificación mediante la construcción de asertos invariantes que conducen a la implementación de algoritmos correctos (derivación algorítmica). También se estudia la vericación de algoritmos surgidos de las ideas e intuición del programador cuando el código no se relaciona mediante transformaciones directas con la especificación planteada. En ambos casos se muestra una gran colección de ejemplos que constituyen una base para el programador que podrá utilizar a modo de 'plantillas' en otros desarrollos. En cuanto al paradigma funcional, en primer lugar se estudian técnicas de inmersión, que conducen a algoritmos depurados mediante transformaciones relacionadas con los asertos que constituyen la especificación de los algoritmos. Se distinguen tipos de recursión en función del número de llamadas recursivas (lineal o múltiple) y también en función del modo de la ejecución de las operaciones en cada etapa del proceso (algoritmos recursivos finales y no finales). Se estudian inmersiones por eficiencia tanto utilizando parámetros de entrada acumuladores, como mediante parámetros de salida conjugando diversos objetivos. Por último se estudia la verificación formal de los algoritmos recursivos lineales y múltiples. En este trabajo se plantea el problema de los algoritmos difusos en implementaciones iterativa y recursiva abordándose el problema de la verificación y valoración de este tipo de algoritmos como generalización de los procesos y técnicas descritas en el caso nítido. Para finalizar el trabajo, se han estudiado problemas que en la actualidad se plantean desde el punto de vista difuso para el tratamiento de imágenes digitales. Por una parte, el problema de la clasificación de este tipo de imágenes mediante modelizaciones con grafos difusos obliga al tratamiento de las especificaciones con una lógica y una semántica adecuada. Una vez clasificada una imagen para el estudio de alguna característica se plantean diversos problemas de decisión asociados. En el marco de la clasificación no supervisada se requiere la intervención de un experto que ayude al sistema a decidir cuándo una clasificación es aceptable al menos en cierto grado. Surge entonces la necesidad de evaluar no sólo los resultados sino también el proceso que conduce a estos. Realizamos depuraciones en el diseño de los algoritmos de decisión-clasificación buscando una mejor valoración de los procesos. En este análisis será imprescindible el uso de las técnicas desarrolladas anteriormente. Finalmente diseñamos algoritmos adecuados en el tratamiento de imágenes para su cifrado y descifrado garantizando una transmisión segura y de calidad. Como resultado de las últimas aplicaciones conseguimos algoritmos depurados y correctos en grado suficiente respecto a semánticas apropiadas para su evaluación dentro del contexto de la lógica difusa. En cuanto a la complejidad algorítmica temporal y espacial de los diseños obtenidos se ha comprobado que las técnicas de diseño propuestas conducen a algoritmos notablemente mejores en comparación con otros diseños generados mediante la intuición del programador.

Autor: SERRANO HIDALGO JUAN MANUEL.
Año: 2003.
Universidad: REY JUAN CARLOS.
Centro de lectura: E.S. DE CIENCIAS EXPERIMENTALES Y TECNOLOGÍA.
Centro de realización: FACULTAD DE INFORMATICA.

Resumen: ESTA TESIS ABORDA PROBLEMAS DE CARÁCTER TEÓRICO Y METODOLÓGICO SOBRE EL ANÁLISIS Y DISEÑO DE LOS LENGUAJES DE COMUNICACIÓN ARTIFICIALES (ACLs), ASÍ COMO PROBLEMAS DE CARÁCTER PRÁCTICO SOBRE LA IMPLEMENTACIÓN DE SISTEMAS MULTIAGENTE. SE PROPONE UNA APROXIMACIÓN SOCIAL AL ANÁLISIS DE ACLs EN TÉRMINOS DE ROLES E INTERACCIONES COMUNICATIVAS, DEL CUAL SE DERIVA UN ESQUEMA DE CLASIFICACIÓN DE FUERZAS ILOCUTIVAS DE CARÁCTER ORGANIZATIVO, Y UN MÉTODO DE DISEÑO QUE ABOGA POR LA REUTILIZACIÓN DE LOS CATÁLOGOS ESTÁNDAR PROPUESTOS POR FIPA ASÍ COMO POR LA INTRODUCCIÓN DE NUEVOS PERFORMATIVOS DE CARÁCTER ANTROPOMÓRFICO. SE ABORDAN TAMBIÉN DISTINTOS PROBLEMAS RELATIVOS A LA ESPECIFICACIÓN RECURSIVA DE ACCIONES COMUNITATIVAS Y PROTOCOLOS DE INTERACCIÓN, EN EL CONTEXTO DEL MARCO SEMÁNTICO FIPA SL Y LAS MÁQUINAS DE ESTADOS. POR ÚLTIMO, SE DESCRIBE UN ENTORNO DE DESARROLLO QUE DEMUESTRA EL IMPACTO QUE LA PERSPECTIVA ORGANIZATIVA SOBRE ACLs TIENE EN LA IMPLEMENTACIÓN DE SISTEMAS DE AGENTES.

Autor: HERNANDEZ SALVADOR CARLOS.
Año: 2003.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: E.T.S.I. TELECOMUNICACION.
Centro de realización: E.T.S.I. TELECOMUNICACION.

Resumen: Actualmente los sistemas que soportan la teleconsulta entre profesionales sanitarios no forman parte del entorno del propio proceso asistencial, siendo independientes de los sistemas de información, herramientas de trabajo, etc. involucrados en el mismo. Como consecuencia, los resultados de la teleconsulta, o bien terminan almacenados en el propio sistema de teleconsulta quedando allí aislados, o son incluidos en la historia clínica del paciente de una forma indirecta, generalmente como anotaciones textuales. Esto supone que la información generada en la teleconsulta, potencialmente de gran valor para el diagnóstico y/o tratamiento del caso, resulte de escasa incidencia en la historia clínica del paciente.El objetivo central de esta tesis ha sido elaborar una estrategia de integración que considera la teleconsulta como una actividad del proceso asistencial, y realizar las aportaciones necesarias que permitan una integración efectiva de la teleconsulta entre profesionales sanitarios en el proceso asistencial cotidiano, en un contexto delimitado por el estado actual de estandarización de la historia clínica electrónica, y el escenario de continuidad asistencial.La revisión de la norma CEN/TC251 prENV13606:1999 Partes 1-4 Comunicación de la Historia Clínica Electrónica, está provocando un verdadero cambio de paradigma en la arquitectura de los sistemas de información que manejan las historias clínicas electrónicas. Los nuevos modelos diseñados para soportar la complejidad y el cambio en el conocimiento e información manejada, se basan en la separación de responsabilidades ('servicios middleware'), y el modelado de cada uno de esos servicios en varios niveles: Separación de puntos de vista (ISO RM/ODP), y separación de información y conocimiento (doble modelo). Los sistemas (el software) son construidos a partir de los modelos de información (referencia). Los modelos de conocimiento (cuyas instancias son los arquetipos y los templates) se procesan en tiempo de ejecución. Basada en estos paradigmas surge una metodología cuyas características son: la existencia de un doble modelo (referencia y conocimiento), y el desarrollo controlado de los conceptos del dominio. Establecido y aplicado el nuevo escenario de estandarización a aquellas partes que pueden afectar a la integración de la teleconsulta, las contribuciones realizadas en esta tesis son:· Se ha propuesto una estrategia de integración de la teleconsulta entre profesionales sanitarios en el proceso asistencial, basada en la actuación en tres campos del nivel de conocimiento del dominio: Componentes de información de propósito general (GPICs), arquetipos/templates, y sistema de conceptos de continuidad asistencial. · Se han desarrollado los modelos de información de mensaje (MIM) y las descripciones jerárquicas de mensaje (DJM) de los mensajes de petición de teleconsulta e informe sobre teleconsulta, basados en GPICs, siguiendo la metodología actualizada del CEN/TC251. · Se han especificado en lenguaje ADL los dos arquetipos directamente relacionados con la solicitud de teleconsulta e informe sobre la misma, teniendo como modelo de referencia la parte del RIM en el que están basados los GPICs. También se ha especificado un tercer arquetipo de resultados (hallazgos) de un servicio realizado que fuera previamente solicitado, teniendo como modelo de referencia el EHR_Extract 13606:2003. · Se ha iniciado el estudio de las posibilidades de formalizar los conceptos de continuidad asistencial en base a GPICs y/o arquetipos, tanto primarios como organizativos, con modelo de referencia EHR_Exract. Se han realizado tareas de armonización de los conceptos incluidos en el sistema de conceptos de continuidad asistencial, con los GPICs, y con las clases del paquete EHR_Extract. Para ello se han elaborado dos modelos conceptuales del escenario de continuidad asistencial: uno derivado del propio sistema de conceptos, y el otro inspirado en un modelo de trabajo colaborativo síntesis de varios existentes en la literatura.

Autor: CABEZA GRAS DANIEL.
Año: 2003.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: FACULTAD DE INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA.

Resumen: El objetivo de esta tesis doctoral es diseñar y desarrollar un sistema de programación multi-paradigma de nueva generación, que esté basado en un núcleo de Programación Lógica y ofrezca soporte al análisis global. El paradigma de la Programación Lógica se ha demostrado particularmente útil para el desarrollo de aplicaciones complejas, como las que aparecen en el campo de la Inteligencia Artificial, incluyendo sistemas basados en el conocimiento, agentes inteligentes, sistemas expertos, etc. El área del análisis global de programas (generalmente basado en la interpretación abstracta) ha experimentado grandes progresos en el contexto de la Programación Lógica, usado para inferir información en tiempo de compilación sobre el comportamiento de los programas en ejecución. La información inferida se ha mostrado muy provechosa no sólo para producir código optimizado, sino también en verificación de programas y en detección y diagnosis de errores. Sin embargo, mientras que el análisis global de programas es en este momento relativamente bien entendido desde un punto de vista teórico, se ha prestado escasa atención al desarrollo de un sistema práctico de programación lógica (que al menos proporcione una implementación completa y modular de Prolog) que incorpore dicho análisis. Esta tesis rellena este vacío proponiendo un diseño del lenguaje y una implementación que hace el análisis global práctico y escalable. Otro objetivo del sistema desarrollado es servir como banco de trabajo experimental para desarrollar nuevas extensiones a la Programación Lógica. El sistema incluye técnicas que permiten extender el lenguaje núcleo de una manera muy flexible (y al nivel del fuente), lo que ha sido utilizado para desarrollar y probar numerosas extensiones incluyendo funciones, objetos, restricciones, registros, persistencia, ejecución distribuida, y otras. El sistema producido (Ciao) se ha hecho libremente disponible a la comunidad y tiene actualmente un número importante de usuarios.

Autor: GUTIÉRREZ LÓPEZ FRANCISCO.
Año: 2003.
Universidad: MALAGA .
Centro de lectura: INFORMÁTICA.
Centro de realización: E.T.S.I. INFORMÁTICA.

Resumen: LOS SISTEMAS DE TIPOS PUROS FORMAN UN MARCO GENERAL PARA DEFINIR SISTEMAS DE TIPOS QUE USAN INTESIVAMENT TIPOS DEPENDIENTES. EN ESTA TESIS SE DEFINE UN CÁLCULO SE SECUENTES EQUIVALENTE A LA FORMULACIÓN ESTÁNDAR DE LOS SISTEMAS DE TIPOS PUROS CUYO FRAGMENTO LIBRE DEL CORTE GOZA DE LA PROPIEDAD DE ELIMINACIÓN DEL CORTE EN DOS AMPLÍAS FAMILIAS DE SISTEMAS. POR MEDIO DEL CÁLCULO ANTERIOR, SE PRUEBA QUE LA PROPIEDAD DE ELIMINACIÓN DEL CORTE RESUELVE EL PROBLEMA DE LA POSPOSICIÓN DE LA BETA-EXPANSIÓN. FINALMENTE, SE CONSTRUYE UN SEMI-ALGORITMO DE RECONSTRUCCIÓN DE SISTEMAS Y TIPOS NORMALIZADOS TANTO PARA EL CÁLCULO COMPLETO COMO PARA EL FRAGMENTO LIBRE DEL CORTE.

Autor: ESCOBAR ROMÁN SANTIAGO.
Año: 2003.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMÁTICA.
Centro de realización: DEPT. SISTEMAS INFORMÁTICOS Y COMPUTACIÓN.

Resumen: Los sistemas informáticos desempeñan un papel importante en la moderna sociedad de la información. Sin embargo, la baja calidad del software y su bajo nivel de abstracción inhiben la necesaria confianza de los usuarios finale sy desarrolladores de sistemas en la ingeniería de la programación. La corrección de programas informáticos a través de una teoría matemática de la computación es el primoridal interés de la teoría de la programación y de su aplicación a la ingeniería de la programación a gran escala. Los métodos formales proveen a la ingeniería de la programación del adecuado marco científico y tecnológico para convertirse en una ingeniería real, tan predecible como son la ingeniería de caminos, canales y puertos a la ingeniería industrial. De hecho, el uso durante todas las etapas del desarrollo de programas, de lenguajes de programación declarativos basados en reglas, asegura la utilización de metodologías formales correctas y certificadas a lo largo del proceso de producción de programas. Los programas se describen normalmente como sistemas de reescritura de términos en los lenguajes de programación declarativos basados en reglas. La ejecución de un programa consiste en reducir (o reescribir) términos de entrada en términos de salida con la aplicación de una secuencia de reglas. El estrechamiento es una extensión de la reescritura para sistemas de reescritura de términos que permite la instanciación de variables en los términos de entrada con el objetivo de activar pasos de reescritura en la expresión instanciada. La reescritura (así como el estrechamiento) son en general indecidibles, es decir no se puede determinar si un términos se reescribe (o estrecha) a otro. El espacio de reducción asociado a un término de entrada es enorme debido a las diferentes posibilidades de selección de los subtérminos a reducir y las reglas aplicables a dichos subtérminos. Esta situación se agrava en el caso del estrechamiento debido al proceso de instanciación. De hecho, el espacio de reducción (o estrechamiento) normalmente contiene secuencias de reducción inútiles (no se puede alcanzar ninguna expresión de salida interesante), peligrosas (no se asegura ninguna expresión de salida interesante), e ineficientes (existe una secuencia alterantiva más eficiente que proporciona una salida equivalente). Esta tesis afronta el problema de cómo definir métodos eficientes para mejorar el comportamiento computacional de los sistemas de reescritura de términos, es decir, restringir el esapcio de reducción asociado a un término de entrada seleccionando qué términos y/o reglas serán usados por la reescritura (o el estrechamiento). Consideramos las siguientes distintas aproximaciones para optimizar los programas: * Seleccionando dinámicamente las reduciones permitidas en tiempo de ejecución a través de la definición de estrategias de reducción o estrechamiento apropiados. Este caso lo refinamos en las siguientes dos partes: - Cuando las reducciones permitidas son calculadas automáticamente a partir del programa, es decir, la estrategia de reducción apropiada se infiere el programa. Aquí estudiamos la definición de estrategias óptimas de reescritura y estrechamiento. En concreto más externo (la mejor estrategia de estrechamiento para sistemas de reescritura de términos) y lo mejoramos, obteniendo la estrategia de estrechamiento natural. - Cuando las reducciones permitidas son proporcionadas por afirmaciones del programador incluidas en el programa, es decir, la estrategia de reducción apropiada se induce por el progrmador. Aquí estudiamos los diferentes aspectos de la inclusión de anotaciones sintácticas de estrategias en sistemas de reescritura de términos. Primero, reformulamos (y mejoramos) el modelo computacional asociado en la literatura a las anotaciones de estrategias bajo demanda manejando la noción de demanda de una forma distinta. Además, proporcionarmos dos transformaciones de programas: una para solventar los problemas de incompletitud asociados a la ausencia de anotacines; y otra para codificar las anotaciones de estrategia bajo demanda como anotaciones estándar con el objetivo de incluir cierta pereza en los lenguajes que sólo consideran anotaciones de estrategia estándar. * Analizando estáticamente el programa en tiempo de compilación para descartar (y eliminar) ciertas parte. Utilizamos técnicas de análisis y transformación de programas. % basadas en la semántica. Aquí estudiamos un problema diferente basado en la semántica que es ortogonal a la definición de estrategias de reducción o de estrechamiento. En concreto, analizamos y eliminamos la información irrelevante incluida en el programa en forma de argumentos de función redundantes, que puede producir pasos de reducción ineficientes imposibles de evitar por una estrategia de reducción. Por otra parte, las técnicas propuestas son semánticamente correctas, es decir, son lo suficientemente potentes como para evitar las secuencias no deseadas pero no demasiado restrictivas con el objetivo de preservar aquellas secuencias de interés. Todas estas líneas de investigación yacen sobre la idea común e intuitiva de optimizar los sistemas de reescritura de términos al nivel más simple pero flexible y potente: los argumentos de los símbolos.

Autor: TOMÁS GIRONÉS JESÚS.
Año: 2003.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMÁTICA.
Centro de realización: ESCUELA POLITÉCNICA SUPERIOR DE GANDIA.

Resumen: La traducción automática mediante métodos estadísticos está alcanzando importantes logros y presenta un futuro prometedor (Ney et al., 2000). Esta técnica trata de resolver el problema de la traducción con un enfoque puramente inductivo, sin la necesidad de utilizar conocimiento lingüístico. La aproximación clásica en traducción estadística utiliza modelos de traducción del tipo palabra a palabra (Brown, 1993). Una deficiencia de estos modelos es que sólo son capaces de establecer relaciones entre palabras individuales, por lo tanto, no se tiene en consideración información contextual a la hora de decidir una traducción. En esta memoria se van a presentar varios modelos que tratan de buscar relaciones entre secuencias de palabras, en lugar de entre palabras individuales. El primer modelo que presentaremos tratar de recoger de forma explícita qué secuencias de palabras son la traducción de qué secuencias de palabras. Este modelo obtiene resultados de traducción interesantes entre lenguas que no requieren apenas reordenación en el proceso de traducción, como el caso del castellano-catalán, o en tareas de dominio restringido. Un importante inconveniente del modelo anterior es que no dispone de la capacidad de generalización a la hora de reordenar la salida. Una posible solución puede encontrarse en la aproximación basada en plantillas (Och et al., 1999), la cual trata de traducir secuencias de clases de palabras en lugar de secuencias de palabras. Presentamos un modelo basado en plantillas que usa un etiquetador morfosintáctico para las clases de palabras. También se propone un modelo mejorado que trata de combianar los dos anteriores. La idea básica consiste en que si una secuencia de palabras ha sido vista en el entrenamiento, el modelo basado en secuencias de palabras es utilizado, en caso contrario, se utilizará el modelo basado en plantillas. En la gran mayoría de los sistemas de traducción estadística, cuando se traduce una palabra (o secuencia de palabras) se tiene en consideración exclusivamente la palabra (o palabras) origen con la que ha sido alineada junto con las dos o tres palabras de salida anteriores. Existe un cierto número de plabras, conocidas como ambiguas, que para una misma forma léxica disponen de varios significados, y por lo tanto, de varias traducciones. Para estas plabras, la información que utilizan los sistemas convencionales es claramente insuficiente. Para obtener una correcta traducción de una palabra ambigua resulta imprescindible conocer el contexto donde la palabra aparece. En esta memoria se describe un trabajo que trata de aplicar una técnica estándar de desambiguación léxica, para disponer de información adicional en el proceso de traducción. La técnica de desambiguación que hemos utilizado es la conocida como clasificador bayesiano "naif", que pese a su simplicidad obtiene excelentes resultados en comparación con otras técnicas (Mooney, 1996). Algunas de las conclusiones de esta memoria han sido hechas públicas previamente en las siguientes publicaciones: (Tomás y Cascuberta, 2003; Tomás et al., 2003; Tomás y Casacuberta, 2002; Tomás y Casacuberta, 2001; Tomás et al.; 2001). Una demostración de algunos traductores obtenidos puede encontrarse en la siguiente dirección de Internet http://ttt.gan.upv.es/-jtomas/trad.

Autor: LLORENS AGOST M. LUISA.
Año: 2003.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMÁTICA.
Centro de realización: DPTO. SISTEMAS INFORMÁTICOS Y COMPUTACIÓN.

Resumen: En esta Tesis Doctoral se aborda el problema de la modelización y la verificación de sistemas concurrentes sujetos a cambios dinámicos. El formalismo de base es el de las redes de Petri. En lo que concierne a la expresividad del modelo se busca un mecanismo que tenga en cuenta los cambios dinámicos estructurales de manera local, interna e incremental. Al mismo tiempo, las propiedades básicas de las redes de Petri (acotabilidad de lugares, alcanzabilidad, interbloqueo y vivacidad) deben continuar siendo decidibles para este modelo extendido. En general, lo que se gana normalmente en términos de expresividad se traduce en una pérdida en términos de propiedades decidibles. Hay que buscar, entonces, un equilibrio entre expresividad y computabilidad. Las gramáticas de grafos y las redes automodificantes de Valk son las dos líneas de investigación origen de nuestro modelo general: los sitemas de reescritura de redes. Ambas líneas dan lugar a modelos que mejoran la expresividad de las redes de Petri para describir el cambio dinámico en sistemas concurrentes pero tienen el inconveniente de que casi todas las propiedades básicas decidibles de las redes de Petri se pierden. Por ello, para estos modelos extendidos no pueden construirse herramientas automáticas de verificación. Los sistemas de reescritura de redes son una combinación de redes de Petri con sistemas de reescritura de grafos. Cada configuración del sistema es una red de Petri y un cambio de configuración es una regla de reescritura de grafos. La expresividad de los sistemas de reescritura de redes es la misma que la de la máquina de Turing, es decir, las propiedades básicas decidibles de las redes de Petri se pierden en estos sistemas, no siendo posible la verificación automática. Las redes reconfigurables son una subclase de los sistemas de reescritura de redes equivalente formalmente a las redes de Petri, lo que asegura que todas las propiedades fundamentales de las redes de Petri siguen siendo decidibles para este modelo y, por tanto, es factible la verificación automática.

Autor: INSFRÁN PELOZO CÉSAR EMILIO.
Año: 2003.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: En las tres últimas décadas se han realizado muchos intentos para minimizar los problemas en la Ingeniería del Software que, directa o indirectamente, producen los síntomas de la llamada crisis del software. Estos intentos se centran en su mayoría en áreas específicas del proceso de desarrollo de software, tales como, mejoras en los lenguajes de programación, mejoras en las técncias de modealdo, la introducción de métodos de análisis y diseño, especificaciones formales, herramientas CASE, etc. A pesar de todos estos intentos, la difícil tarea de pasar del espacio del problema (requisitos de usario) al espacio de la solución (diseño e implementación) con una guía metodológica clara y bien definida sigue siendo una tarea pendiente. En esta tesis, este problema se trata en el ámbito de OO-Method (un método de modelado conceptual orientado a objeto sy generación automática de código) proporcionando una aproximación metodológica que extiende el Modelo Conceptual de OO-Method con un Modelo de Requisitos. Las dos piedras angulares de esta tesis son el Modelo de Requisitos, propiamente dicho, que provee los mecanismos necesarios para identificar y especificar requisitos funcionales de usuario a distintos niveles de abastracción, y el Proceso de Análisis de Requisitos, que establece vínculos conceptuales entre los requisitos especificados y la estructura y comportamiento de un Esquema Conceptual de OO-Method. De esta forma la transición desde la especificación de los requisitos funcionales de usuario a elementos del modelado conceptual se define con un proceso guiado y automatizable. Para dar soporte al método propuesto se está desarrollando una herramienta CASE comercial de forma conjunta entre la UPV y CARE Techonologies S.A. La integración de esta nueva herramienta con el entorno de generación automática de código proporcionado por la herramienta CASE de OO-Method (OlivaNova Model Execution Software®) ayudará a dar soporte al proceso de transformación de requisitos funcionales de usuario en código ejecutable.

Autor: GARCÍA VAREA ISMAEL.
Año: 2003.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMÁTICA .
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: Este trabajo de tesis está dedicado en su totalidad a la traducción automática, una disciplina dentro de los campos de la inteligencia artifical y de la lingüística computacional y, más concretamente, dentro de la aproximación estadística a la misma. Todo el desarrollo de la tesis está dentro de la traducción basada en la regla de decisión de Baynes. Por ello se encuadra dentro del enfoque empirista de la traducción automática frente a uno más racionalista basado en técnicas lingüísticas. En dicha aproximación podemos destacar tres ingredientes básicos en un sistema estadístico de traducción: un modelo del lenguaje, un modelo de traducción y un proceso del búsqueda, el cual podemos decir que intenta resolver el problema de la traducción propiamente dicho. El primero no carece de interés, pero ya ha sido ampliamente estudiado con anterioridad, sobre todo por su aplicación a sistemas automáticos de reconocimiento del habla. Por ello en este trabajo nos limitaremos a hacer uso de las técnicas ya desarrolladas en modelado de lenguaje, concretamente en modelos de n-gramas dado su ya demostrado buen funcionamiento. De cualquier forma, dada su importancia en el tema y por completitud en la exposición, se dan una serie de conceptos elementales relacionados con estos modelos. En lo que respecta a los modelos de traducción, en primer lugar, hemos de comentar que este trabajo está basado en lo que se conoce cómo modelos estadísticos de traducciónb asados en relaciones estructurales a nivel de palabra. En esta tesis hemos introducido modelos léxicos dependientes del contexto basándonos en la técnica de máxima entropía. Más concretamente hemos visto cómo desarrollar modelos de traducción basados en esta técnica, cómo integrarlos en los algoritmos de aprendizaje de modelos convencionales de traducción y cómo utilziarlos para mejorar las prestaciones de sistemas automáticos de traducción estadística. En cuanto al problema de la búsqueda, hemos propuesto, diseñado y estudiado algoritmos de búsqueda siguiendo tres paradigmas clásicos para la resolución de problemas. Estos paradigmas son el de la programación dinámica, la ramificación y poda, y los algoritmos voraces. De todos ellos hemos hecho un estudio minucioso en lo que respecta a la eficiencia y calidad en la traducción, así como un estudio teórico y empírico de la complejidad de dichos algoritmos. Todo este trabajo está apoyado por gran cantidad de experimentaciones reales, llevadas a cabo utilizando tareas clásicas y ampliamente utilizadas en el mundo de la traducción automática. Estas tareas son: la tarea del Turista, más conocida como la tarea EuTrans-I, aplicada a la traducción entre el castellano y el inglés: la tarea Hansards que se aplica a traducciones entre el francés y el inglés; y la tarea Verbmobil, tarea que aborda la traducción entre el alemán y el inglés.

Autor: CANDEL MORA MIGUEL ÁNGEL.
Año: 2002.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMÁTICA APLICADA .
Centro de realización: UNIVERSIDAD DE VALENCIA.

Resumen: Esta investigación se centra en el diseño de una metodología para la elaboración de una base de datos terminológica aplicada a la traducción de textos especializados tomando como referencia los modelos y trabajos existentes propuestos por las diferentes teorías de la terminología o la experiencia de modelos ya aplicados dentro de diversos ámbitos como la normalización, la estandarización y la planificación lingüística a fin de sleccionar los aspectos más pragmáticos y funcionales para abordar la elaboración de una estructura operativa definida que, basada en principios conceptuales y metodológicos ya establecidos, describa un modelo y unas estrategias que justifiquen el estudio de la terminología utilizada en el campo de la I+D, y más concretamente, en los aspectos de la traducción de informes sobre su gestión. Partiendo de los estudios sobre lenguas de especialidad, tipología textual y las principales contribuciones de las teorías de la traducción se identifican las necesidades terminológicas, el perfil del traductor técnico y la integración del proceso de elaboración de una base de datos terminológica dentro del contexto de la traducción profesional. El trabajo terminológico puntual y descriptivo orientado a la traducción parte de una metodología de trabajo basada en la delimitación conceptual del campo de estudio basada en el texto original, a la que se añade el trabajo con un corpues paralelo de textos bilingües y un corpus comparable de referencia. La validación de esta metodología se ilustra con la creación de una base de datos terminológica aplicada a la traducción especializada de informes sobre la gestión de la I+D.

Autor: ARANGO ISAZA FERNANDO.
Año: 2002.
Universidad: POLITECNICA DE VALENCIA.

Resumen: La automatización del proceso de evolución debería permitirle a los gestores de bases de datos llevar a cabo de formar suave la transformación del esquema conceptual y la migración de la base de datos. Los enfoques actuales, sin embargo, no son capaces de llevar a cabo este proceso en todas la circunstancias. No les es posible, por ejemplo, el fortalecimiento de las restricciones del esquema, sin perdida de información o sin la ayuda de una herramienta de migración externa y un costoso proceso de adaptación. En la tesis se propone un enfoque novedoso a la automatización de la evolución del Esquema Conceptual, que opera bien en todas las circunstancias, posibilitando que la transformación del esquema y la migración de los datos se lleve a cabo en el marco de la operación normal del sistema sin pérdida de información ni procesos externos de alto costo. La idea clave del trabajo es la de dotar al gestor de bases de datos, de la capacidad para llevar a cabo las transformaciones al esquema, proyectar la base de datos vieja en la base de datos nueva, operar con las versiones nueva y vieja del esquema, y gestionar adecuadamente las incosistencias que se produzcan en el proceso. Así, en lugar de pretender eliminar estas incosistencias de forma abrupta, el gestor opta por predecirlas, detectarlas, avisarlas y permitir su corrección gradual. Los elementos del enfoque propuesto fueron especificados en el marco formal de la aproximación al desarrollo por objetos OASIS. OASIS nos permitió la especificación rigurosa de estas características y la creación automática, desde las especificaciones, de un prototipo de ambiente software orientado a la creación, animación, evolución, versionado e interoperación de esquemas conceptuales OASIS.

Autor: HERRERO AGUSTÍN JOSE LUIS.
Año: 2002.
Universidad: EXTREMADURA.
Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR.
Centro de realización: ESCUELA POLITÉCNICA.

Resumen: La programación orientada a objetos permite desarrollar aplicaciones informáticas usando el principio de encapsulación. La ocultación de los detalles de implementación ofrece la posibilidad de reutilizar los objetos en diferentes dominios. Sin embargo, el elevado número de objetos que intervienen en las grandes aplicaciones, así como el bajo grado de reutilización y escasa adaptabilidad, han llevado a desarrollar nuevos modelos que resuelvan estas dificultades. Los modelos de separación aparecen como respuesta a estos problemas y proponen la definición, de forma separada e independiente, de la diferentes propiedades de un sistema. Dependiendo del punto de vista que se considere, pueden existir diferentes tipos de modelos de separación. El modelo de aspectos (AOP) propone separar en entidades diferentes el comportamiento funcional de un objeto de otras propiedades, componiendo ambos elementos posteriormente. Sin embargo, estos modelos no están exentos de problemas. Existe una pérdida de eficiencia en las aplicaciones desarrolladas bajo este paradigma debido, sobre todo, a la utilización de mecanismos de reflexión. Por otro lado, los modelos de aspectos propuestos hasta la fecha, tratan pocos y casi siempre los mismos aspectos. Finalmente, cabe destacar que los esfuerzos se han centrando en el desarrollo de plataformas que ofrezcan separación, dejando a un lado otras fases del ciclo de vida. El objetivo fundamental del trabajo es la definición de mecanismos adecuados que permitan desarrollar aplicaciones orientadas a aspectos en diferentes fases del ciclo de vida, más concretamente en la fase de diseño e implementación. Estos nuevos mecanismos deben ser sencillos de manejar, pero a la vez tener un alto poder de expresividad. Para ello, se ha escogido un modelo de aspectos, el Modelo de Disfraces, y se ha ampliado en dos líneas diferentes. Una parimera línea que desarrolla un ampliación de la plataforma y lenguaje de aspectos, y otra segunda que incorpora el concepto de aspectos en fases anteriores del ciclo de vida, más concretamente en la fase de diseño. Los objetivos generales que se persiguen son, por un lado, demostrar la viabilidad de la plataforma de aspectos desarrollada en trabajos anteriores, ampliándola para considerar nuevos aspectos, y por otro, desarrollar mecanismos que permitan diseñar aplicaciones basadas en aspectos. Los beneficios que aporta el modelo propuesto son: A,- Los beneficios generales que aporta AOP: las aplicaciones basadas en aspectos son más estructuradas y reutilizables. B,- La plataforma de aspectos ofrece una adaptabilidad dinámica, y por tanto, es capaz de componer los aspectos en tiempo de ejecucción. C,- La identificación, representación y reutilización de los aspectos durante la fase de diseño. D,- La generación de código en el modelo que mejor satisfaga los requerimientos iniciales.

Autor: CARO HERRERO JOSÉ LUIS.
Año: 2002.
Universidad: MALAGA.
Centro de lectura: INFORMÁTICA.
Centro de realización: ESCUELA TÉCNICA SUPERIOR EN INGENIERÍA INFORMÁTICA.

Resumen: El trabajo desarrollado en esta tesis se enmarca dentro del área de investigación de sistemas de información y tecnología workflow. Nos centramos en el estudio, modelado y formalización de procesos que son llevados a cabo de forma cooperativa por agentes, sea cual sea su naturaleza, aportando una metodología de modelado workflow desarrollada en tres capas o niveles y una formalización del concepto de sistema workflow. Las principales aportaciones de esta tesis son la especificación formal del concepto de sistema workflow, estableciendo una nueva jerarquía conceptual, y el desarrollo de una metodología de modelado de procesos multihebra. El primer aspecto desarrollado es la definición de una nueva jerarquía conceptual en torno a la noción de sistema workflow y la formalización, tanto de las estructuras necesarias para su especificación, como de su comportamiento. Se organiza en los siguientes bloques: objetivo, recursos, estructura organizativa, mapa workflow y sistema de gestión workflow. El segundo aspecto desarrollado en esta tesis ha sido la especificación de una metodología de modelado de procesos multihebra basada en tres niveles de abstracción: * Nivel de gestión, que posee los elementos de construcción gráficos necesarios para su utilización por parte de los usuarios y gestores del sistema a modelar. * Nivel de automatización, adecuado para su ejecucción en el WfMS y destinado a expertos en programación del sistema workflow. Este nivel ha sido descrito usando el lenguaje de descripción de procesos MTWFDL. Este lenguaje aporta toda la expresividad necesaria para modelar las primitivas del nivel de gestión. * Nivel formal: destinado a expertos en el análisis. Este nivel está sustentado por una lógica, basada en las lógicas modales-temporales, denominada MTL. La principal contribución en este nivel es la definición semántica de operadores especiales para la especificación del comportamiento de los flujos de trabajo. Esta especificación no ha sido tratada simplemente como un conjunto de fórmulas, sino que ha sido completada con la definición de propiedades de viveza, justicia y seguridad que el sistema debe respetar. Deseamos destacar la importancia del componente práctico (modelado de un sistema informático de gestión hotelera) de esta tesis. Nuestro caso de estudio no ha sido seleccionado al azar. Un sistema de tipo hotel posee una riqueza de situaciones a modelar, así como la riqueza de interacciones a todos los niveles (clientes, usuarios del sistema, sistemas de información, sistemas externos, procesos administrativos, etc.).

Autor: LLOPIS TORRES LUIS MANUEL.
Año: 2002.
Universidad: MALAGA.
Centro de lectura: INFORMÁTICA.
Centro de realización: E.T.S.I. INFORMÁTICA.

Resumen: El presente trabajo propone la utilización de técnicas de descripción formal (TDF) para el diseño de sistemas de tiempo real. Una de las TDF más extendidas es SDL. Sin embargo, SDL prsenta limitaciones cuando es utilizada para este tipo de diseños. Estas limitaciones están relacionadas con la dificultad para expresar restricciones temporales, sincronización y la existencia de un modelo de ejecución no predecible. En la tesis se propone un conjunto de extensiones para solucionar estas carencias y la integración de un análisis de planificabilidad. La extensión principal propone la asignación de prioridades a las transiciones y la definición de un modelo de ejecución predecible. El análisis de planificabilidad está basado en la propuesta de JOSEPH y PANDYA, si bien se ha modificado para incluir aspectos característicos de la semántica de SDL. Estas aportaciones ha sido implementadas en una herramienta denominada SDLTR que, además, incluye la posibilidad de rediseño del sistema buscando el cumplimiento de las restricciones temporales del sistema. Existen aportaciones del nivel de implementación, concretamente se propone un modelo para generar implementaciones desde SDL y un sistema software intermedio (SSI) para controlar la ejecución de la implementación generada. El SSI puede implantarse sobre plataformas que ofrezcan el interfaz POSIX y sobre plataformas que ofrezcan APIS de WIN32.

Autor: JIMÉNEZ MILLÁN JOSÉ ANTONIO.
Año: 2002.
Universidad: CADIZ.
Centro de lectura: ESCUELA POLITECNICA SUPERIOR.
Centro de realización: ESCUELA SUPERIOR DE INGENIERÍA DE CÁDIZ (UNIV. CÁDIZ) .

Resumen: Esta Tesis Doctoral muestra el resultado de una investigación sobre la utilización del formalismo de las Gramáticas Categoriales (GC) para la descripción y parsing de los lenguajes naturales y formales. El estudio se ha centrado sobre algunos aspectos que encontrábamos problemáticos para la aplicación práctica de las GC, a saber: A,- Equivalencia fuerte entre las Gramáticas Independientes de Contexto (GIC) y GC. B,- Falta de expresividad de las GC. C,- Existencia de múltiples sistemas de etiquetado semántico para el Cálculo de Lamberk (CL) y ausencia de una definición precisa de la ambigüedad espuria. D,- Eficiencia y robustez de los algoritmos de parsing. Se comienza estudiando la posible utilización del CL a las GIC, concluyendo que esto es posible. Para demostrarlo introducimos un modelo algebraico, y comprobamos que el CL es válido en él. Otra forma de considerar el resultado anterior es pensar que hemos extendido las GC a una teoría conseguida al añadir axiomas al CL. El sistema resultante constituye una teoría unificada de las GC y las GIC. A continuación discutimos las implicaciones que conlleva la utilización del CL en las GIC, así como sus ventajas y desventajas. Respecto a la existencia de múltiples sistemas de etiquetado en CL, comenzamos introduciendo dos versiones diferentes para el Cálculo en Deducción Natural (DN) de las GC. Utilizando una de las variantes es como mostramos la validez del Principio de Inversión y la equivalencia Curry-Howard en DN. Posteriormente, y utilizando dos algoritmos nuevos de conversión entre las pruebas en CL y las deduciones en DN. Obtenemos un etiquetado semántico en CL que proponemos como definición de la ambigüedad espuria. Por último mostramos dos algoritmos de parsing. Uno para el cálculo en DN, que es único completo que conocemos y que genera sólo formas normales, y otra para el CL, que también es completo y libre de ambigüedad espuria. Este segundo algoritmo resulta ser especialmente interesante por tener pasos guiados por objetivo (descendentes). Discutimos la posibilida de utilizarlo como nucleo de un parser semi-robusto cuya justificación teórica sería la abducción (en el sentido de Kakas y Kowalski).

Autor: MACÍAS IGLESIAS JOSÉ ANTONIO.
Año: 2002.
Universidad: AUTONOMA DE MADRID.
Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR.
Centro de realización: ESCUELA POLITÉCNICA SUPERIOR. UNIVERSIDAD AUTÓNOMA DE MADRID.

Resumen: Actualmente, la web o tela de araña es un medio que ha pasado de contener páginas estáticas diseñadas a mano, a suministrar páginas que son generadas dinámicamente, a partir de servidores especializados que generan información procedente de distintos soportes de almacenamiento. Este hecho ha permitido a la web crecer en los últimos años en potencia y expresividad, pero también en complejidad y dificultad en la creación y modificación de documentos web por usuarios que son expertos en su dominio, pero no en complejos lenguajes de programación para la web. En base a estas argumentaciones, esta tesis aporta una herramienta WYSIWYG para poner la edición de páginas web dinámicas al alcance de un autor, con poco o ningún conocimiento sobre lenguajes textuales de especificación para la web. Las técnicas que se presentan en este trabajo de tesis están basadas en el uso de ontologías, una tendencia actualmente en auge en el campo de la web, así como en estrategias de programación mediante ejemplo, enfocadas al desarrollo por el usuario final. Este tipo de técnicas permiten interpretar intenciones implícitas de un usuario en un entorno de programación. Además, se trata de reconocer en las páginas HTML fragmentados de contenidos a partir de los cuales han sido generadas éstas. El uso de ontologías ayuda a caracterizar contenidos y separarlos de la presentación, a partir de la utilización de mecanismos de extracción y reconocimiento de estructuras en páginas HTML. Este conjunto de técnicas se materializan en una herramienta de autor denominada DESK, junto con otras auxiliares, como PEGASUS, encargada de la representación del conocimiento del dominio y de la generación dinámica de páginas web, PERSEUS para la autoría interactiva del conocimiento del dominio, y HADES que permite la gestión de módulos así como la integración de las distintas herramientas.

Autor: GONZÁLEZ ESCRIBANO ARTURO.
Año: 2002.
Universidad: VALLADOLID.
Centro de lectura: INFORMÁTICA.
Centro de realización: ESCUELA SUPERIOR DE INGENIERÍA INFORMÁTICA.