Medida de distancia semántica en grafos UNL

El trabajo que se presenta a continuación desarrolla un modelo para calcular la distancia semántica entre dos oraciones representadas por grafos UNL. Este problema se plantea en el contexto de la traducción automática donde diferentes traductores pueden generar oraciones ligeramente diferentes partiendo del mismo original. La medida de distancia que se propone tiene como objetivo proporcionar una evaluación objetiva sobre la calidad del proceso de generación del texto. El autor realiza una exploración del estado del arte sobre esta materia, reuniendo en un único trabajo los modelos propuestos de distancia semántica entre conceptos, los modelos de comparación de grafos y las pocas propuestas realizadas para calcular distancias entre grafos conceptuales. También evalúa los pocos recursos disponibles para poder experimentar el modelo y plantea una metodología para generar los conjuntos de datos que permitirían aplicar la propuesta con el rigor científico necesario y desarrollar la experimentación. Utilizando las piezas anteriores se propone un modelo novedoso de comparación entre grafos conceptuales que permite utilizar diferentes algoritmos de distancia entre conceptos y establecer umbrales de tolerancia para permitir una comparación flexible entre las oraciones. Este modelo se programa utilizando C++, se alimenta con los recursos a los que se ha hecho referencia anteriormente, y se experimenta con un conjunto de oraciones creado por el autor ante la falta de otros recursos disponibles. Los resultados del modelo muestran que la metodología y la implementación pueden conducir a la obtención de una medida de distancia entre grafos UNL con aplicación en sistemas de traducción automática, sin embargo, la carencia de recursos y de datos etiquetados con los que validar el algoritmo requieren un esfuerzo previo importante antes de poder ofrecer resultados concluyentes.---ABSTRACT---The work presented here develops a model to calculate the semantic distance between two sentences represented by their UNL graphs. This problem arises in the context of machine translation where different translators can generate slightly different sentences from the same original. The distance measure that is proposed aims to provide an objective evaluation on the quality of the process involved in the generation of text. The author carries out an exploration of the state of the art on this subject, bringing together in a single work the proposed models of semantic distance between concepts, models for comparison of graphs and the few proposals made to calculate distances between conceptual graphs. It also assesses the few resources available to experience the model and presents a methodology to generate the datasets that would be needed to develop the proposal with the scientific rigor required and to carry out the experimentation. Using the previous parts a new model is proposed to compute differences between conceptual graphs; this model allows the use of different algorithms of distance between concepts and is parametrized in order to be able to perform a flexible comparison between the resulting sentences. This model is implemented in C++ programming language, it is powered with the resources referenced above and is experienced with a set of sentences created by the author due to the lack of other available resources. The results of the model show that the methodology and the implementation can lead to the achievement of a measure of distance between UNL graphs with application in machine translation systems, however, lack of resources and of labeled data to validate the algorithm requires an important effort to be done first in order to be able to provide conclusive results.

Estudio y re-asentamiento de la población en el barrio de extensión de Joal Fadiouth, Senegal

El trabajo se centra en la mejora del barrio de extensión I Darou Salaam, perteneciente al municipio de Joal-Fadiouth, en Thies, Senegal. Tras un estudio detallado de las actividades productivas, topografía, densidades de ocupación e inundaciones, la propuesta plantea proporcionar a la población medidas de carácter paliativo. ¿Cuál es el riesgo mayor existente en la zona? Las inundaciones. Por ello se plantean una serie de sistemas en varias fases, para tratar de convivir con el agua con condiciones de Habitabilidad Básica. Se proponen un nuevo sistema de canalización que servirá como mobiliario urbano en las épocas de sequía. Como media extrema, para aquellas viviendas que no se aseguran contar con condiciones de Habitabilidad Básica, se diseña un nuevo asentamiento con una parcelación eficiente y óptima

Edición semántica inteligente de entornos virtuales

Tradicionalmente, los entornos virtuales se han relacionado o vinculado de forma muy estrecha con campos como el diseño de escenarios tridimensionales o los videojuegos; dejando poco margen a poder pensar en sus aplicaciones en otros ámbitos. Sin embargo, estas tendencias pueden cambiar en tanto se demuestre que las aplicaciones y ventajas de estas facilidades software, se pueden extrapolar a su uso en el ámbito de la enseñanza y el aprendizaje. Estas aplicaciones son los conocidos como Entornos Virtuales Inteligentes (EVI); los cuales, tratan de usar un entorno virtual para llevar a cabo labores de enseñanza y tutoría, aportando ventajas como simulación de entornos peligrosos o tutorización personalizada; cosa que no podemos encontrar en la mayoría de los casos de las situaciones de enseñanza reales. Este trabajo trata de dar solución a una de las problemáticas que se plantean a la hora de trabajar con cualquier entorno virtual con el que nos encontremos y prepararlo para su cometido, sobre todo en aquellos enfocados a la enseñanza: dotar de forma automática e inteligente de una semántica propia a cada uno de los objetos que se encuentran en un entorno virtual y almacenar esta información para su posterior consulta o uso para otras tareas. Esto quiere decir que el objetivo principal de este trabajo, es el proceso de recolección de información que se considera importante de los objetos de los entornos virtuales, como pueden ser sus aspectos de la forma, tamaño o color. Aspectos que, por otra parte, son realmente importantes para poder caracterizar los objetos y hacerlos únicos en un entorno virtual donde, a priori, todos los objetos son los mismos a ojos de un ordenador. Este trabajo que puede parecer trivial en un principio, no lo es tanto; y servirá de sustento fundamental para que otras aplicaciones futuras o ya existentes puedan realizar sus tareas. Una de estas tareas pudiera ser la generación de indicaciones en lenguaje natural para guiar a usuarios a localizar objetos en un entorno virtual, como es el caso del proyecto LORO sobre el que se engloba este trabajo. Algunos ejemplos de uso de esta tarea pueden ser desde ayudar a cualquier usuario a encontrar sus llaves en su propia casa a ayudar a un cirujano a localizar cierta herramienta en un quirófano. Para ello, es indispensable conocer la semántica e información relevante de cada uno de los objetos que se presentan en la escena y diferenciarlos claramente del resto. La solución propuesta se trata de una completa aplicación integrada en el motor de videojuegos y escenarios 3D de mayor soporte del mundo como es Unity 3D, el cual se interrelaciona con ontologías para poder guardar la información de los objetos de cada escena. Esto hace que la aplicación tenga una potencial difusión, gracias a las herramientas antes mencionadas para su desarrollo y a que está pensada para tanto el usuario experto como el usuario común.---ABSTRACT---Traditionally, virtual environments have been related to tridimensional design and videogames; leaving a little margin to think about its applications in other fields. However, this tendencies can be changed as soon as it is proven that the applications and advantages of this software can be taken to the learning and teaching environment. This applications are known as intelligent virtual environments, these use the virtual environment to perform teaching and tutoring tasks; tasks we cannot find in most real life teaching situations. This project aims to give a solution to one of the problematics that appears when someone works with any virtual environments we may encounter and prepare it for its duty, mainly those environments dedicated to teaching: automatically and intelligently give its own semantic to the objects that are in any virtual environment and save this information for its posterior query or use in other tasks. The main purpose of this project is the information recollection process that considers the different important facts about the objects that are in the virtual environments, such as their shape, size or color. Facts that are very important for characterizing the objects; to make them unique in the environment where the objects are all the same to the computer’s eye. This project may seem banal in the beginning, but it is not, it will be the fundamental base for future applications. One of this applications may be a natural language indicator generator for guiding users to locate objects in a virtual environment, such as the LORO project, where this project is included. Some examples of the use of this task are: helping any user to find the keys of his house, helping a surgeon to find a tool in an operation room… For this goals, it is very important to know the semantics and the relevant information of each object of the scenario and differentiate each one of them from the rest. The solution for this proposal is a fully integrated application in the videogame and Unity 3D engine that is related to ontologies so it can save the object’s information in every scenario. The previously mentioned tools, as well as the idea that this application is made for an expert user as well as for a common user, make the application more spreadable.

Análisis de una cartera de extensión agrícola para el cultivo de maíz en el estado Portuguesa, Venezuela

Con el fin de evaluar el rendimiento y riesgo que presenta el cultivo de maíz de la cartera de fincas adscritas al Programa de Extensión Agrícola Italven S.A. (PEAISA), se muestrearon 127 fincas localizadas en dos municipios del estado Portuguesa (Venezuela), donde se sembró maíz en época de lluvias durante el ciclo 2006. Se consideró el rendimiento y riesgo función de las variables municipio, área cosechada e híbridos cultivados. Se utilizaron las pruebas de t, análisis de varianza y de homogeneidad de varianzas. Entre los resultados más importantes destacan: 1) la cartera de productores, conformada por siembras pequeñas y medianas, con un promedio de 15,1 ha por finca, no presentó riesgo de concentración en determinados rangos de superficie, 2) el rendimiento del maíz (4.202,0 kg/ha) superó la media nacional, y 3) tanto el rendimiento como el riesgo de producción de maíz fueron similares en los municipios San Genaro y Guanare

Análisis de una cartera de extensión agrícola para sorgo (Sorghum bicolor L. Moench) en los estados Barinas y Portuguesa, Venezuela.

La presente investigación tuvo como objetivo evaluar el rendimiento y riesgo que presenta la cartera de fincas productoras de sorgo, en los estados Portuguesa y Barinas (Venezuela), adscritas al Programa de Extensión Agrícola Italven S. A. (PEAISA). La muestra fue conformada por 39 fincas localizadas en tres municipios del estado Portuguesa y 72 fincas ubicadas en siete municipios del estado Barinas. En todas se produjo sorgo, a la salida de lluvias, durante 2006. Se consideraron las variables estado, municipio, área cosechada, híbridos cultivados, rendimiento y coeficiente de variación (riesgo). Se empleó distribución de frecuencias de la superficie cosechada de sorgo por finca para medir la concentración de la cartera y se realizaron comparaciones de promedio de rendimiento con las pruebas de t de student y de Tukey, además se utilizó la curva normal para determinar probabilidades de rendimiento. Entre los resultados más importantes destacan: 1) La cartera del PEAISA, conformada por fincas pequeñas y medianas, no presenta riesgo de concentración en un determinado segmento de tamaño, pero la producción total está concentrada (81,2%) en el estado Barinas, 2) Aunque se ubicó en la media nacional, se logró un mayor rendimiento promedio/ha de sorgo en el estado Barinas en comparación con Portuguesa, con riesgo de explotación similar en ambos estados, 3) El híbrido de sorgo Tecsen 120 igualó al Chaguarama VII, pero superó en rendimiento al Himeca 101, híbrido que pudiera ser descartado de la cartera por su bajo rendimiento y mayor riesgo de explotación. Esta información se analizó adicionalmente con una matriz denominada productividad-riesgo, que fue un desarrollo original de este trabajo.

Modelado y Comparación de Colecciones en la Web Semántica

En esta tesis se estudia la representación, modelado y comparación de colecciones mediante el uso de ontologías en el ámbito de la Web Semántica. Las colecciones, entendidas como agrupaciones de objetos o elementos con entidad propia, son construcciones que aparecen frecuentemente en prácticamente todos los dominios del mundo real, y por tanto, es imprescindible disponer de conceptualizaciones de estas estructuras abstractas y de representaciones de estas conceptualizaciones en los sistemas informáticos, que definan adecuadamente su semántica. Mientras que en muchos ámbitos de la Informática y la Inteligencia Artificial, como por ejemplo la programación, las bases de datos o la recuperación de información, las colecciones han sido ampliamente estudiadas y se han desarrollado representaciones que responden a multitud de conceptualizaciones, en el ámbito de la Web Semántica, sin embargo, su estudio ha sido bastante limitado. De hecho hasta la fecha existen pocas propuestas de representación de colecciones mediante ontologías, y las que hay sólo cubren algunos tipos de colecciones y presentan importantes limitaciones. Esto impide la representación adecuada de colecciones y dificulta otras tareas comunes como la comparación de colecciones, algo crítico en operaciones habituales como las búsquedas semánticas o el enlazado de datos en la Web Semántica. Para solventar este problema esta tesis hace una propuesta de modelización de colecciones basada en una nueva clasificación de colecciones de acuerdo a sus características estructurales (homogeneidad, unicidad, orden y cardinalidad). Esta clasificación permite definir una taxonomía con hasta 16 tipos de colecciones distintas. Entre otras ventajas, esta nueva clasificación permite aprovechar la semántica de las propiedades estructurales de cada tipo de colección para realizar comparaciones utilizando las funciones de similitud y disimilitud más apropiadas. De este modo, la tesis desarrolla además un nuevo catálogo de funciones de similitud para las distintas colecciones, donde se han recogido las funciones de (di)similitud más conocidas y también algunas nuevas. Esta propuesta se ha implementado mediante dos ontologías paralelas, la ontología E-Collections, que representa los distintos tipos de colecciones de la taxonomía y su axiomática, y la ontología SIMEON (Similarity Measures Ontology) que representa los tipos de funciones de (di)similitud para cada tipo de colección. Gracias a estas ontologías, para comparar dos colecciones, una vez representadas como instancias de la clase más apropiada de la ontología E-Collections, automáticamente se sabe qué funciones de (di)similitud de la ontología SIMEON pueden utilizarse para su comparación. Abstract This thesis studies the representation, modeling and comparison of collections in the Semantic Web using ontologies. Collections, understood as groups of objects or elements with their own identities, are constructions that appear frequently in almost all areas of the real world. Therefore, it is essential to have conceptualizations of these abstract structures and representations of these conceptualizations in computer systems, that define their semantic properly. While in many areas of Computer Science and Artificial Intelligence, such as Programming, Databases or Information Retrieval, the collections have been extensively studied and there are representations that match many conceptualizations, in the field Semantic Web, however, their study has been quite limited. In fact, there are few representations of collections using ontologies so far, and they only cover some types of collections and have important limitations. This hinders a proper representation of collections and other common tasks like comparing collections, something critical in usual operations such as semantic search or linking data on the Semantic Web. To solve this problem this thesis makes a proposal for modelling collections based on a new classification of collections according to their structural characteristics (homogeneity, uniqueness, order and cardinality). This classification allows to define a taxonomy with up to 16 different types of collections. Among other advantages, this new classification can leverage the semantics of the structural properties of each type of collection to make comparisons using the most appropriate (dis)similarity functions. Thus, the thesis also develops a new catalog of similarity functions for the different types of collections. This catalog contains the most common (dis)similarity functions as well as new ones. This proposal is implemented through two parallel ontologies, the E-Collections ontology that represents the different types of collections in the taxonomy and their axiomatic, and the SIMEON ontology (Similarity Measures Ontology) that represents the types of (dis)similarity functions for each type of collection. Thanks to these ontologies, to compare two collections, once represented as instances of the appropriate class of E-Collections ontology, we can know automatically which (dis)similarity functions of the SIMEON ontology are suitable for the comparison. Finally, the feasibility and usefulness of this modeling and comparison of collections proposal is proved in the field of oenology, applying both E-Collections and SIMEON ontologies to the representation and comparison of wines with the E-Baco ontology.

Aplicación Android para el aprendizaje de inglés nivel B2 : extensión del ILLLab

Desde el inicio de la globalización, el aprendizaje de la lengua inglesa se ha instaurado como una necesidad. Hoy en día, con la adopción del Espacio Europeo de Educación Superior este lenguaje no sólo se impone como un requisito para los estudiantes sino que se exige un nivel B2, lo cual significa un esfuerzo mayor tanto como para el alumno como para el profesor a la hora de hacer de este ejercicio un hábito y lograr la evaluación continua de los mismos. Este proyecto intenta extender las funcionalidades de una aplicación existente llamada Illlab con ejercicios que se adapten al nivel B2 y permitan la interacción entre alumnos durante la realización de estos ejercicios. El objetivo de esta aplicación es el de desarrollar ejercicios extra en la aplicación Illlab que añadan complejidad para el aprendizaje de inglés de un nivel B2 y que además se puedan realizar actividades entre los alumnos. La idea es hacer una aplicación de preguntas y respuestas “multiple choice” con cuatro opciones por pregunta. El fuerte de este juego está en presentar material variado sobre uso de la lengua y además permitir el juego entre varios alumnos. La extensión de ILLLab se plantea como un proyecto para desarrollar interfaces y funcionalidades adicionales en la antigua aplicación. La principal funcionalidad que se añade es un juego de preguntas y respuestas con opciones múltiples para un nivel B2 y las interfaces responden a necesidades de intercambio y manejo de contenido por Internet mediante estándares aceptados en el mundo del aprendizaje digital tales como Common Cartridge o SCORM. Este proyecto simplemente adapta la aplicación para su uso en un entorno de evaluación de actividades en el cual el profesor tiene acceso a las actividades que realizan los alumnos de un curso para su posterior evaluación. Antiguamente ILLLab sólo contenía ejercicios que se llevaban a cabo en el dispositivo móvil por lo que el control de estas actividades no era posible. La mejora se presenta como una interfaz Common Cartridge para el manejo del contenido, una interfaz de comunicación sobre servicios web tipo REST y el manejo de base de datos mediante Hibernate que agrupa una serie de librerías Java para la persistencia de objetos de la base de datos. ABSTRACT. Since the onset of globalization, the learning of the English language has become as a necessity. Today, with the adoption of the European Higher Education Area this language is not only imposed as a requirement for students but a B2 level is required, which means a greater effort both to the student and teacher when it comes to make the learning exercise a habit and achieve continuous evaluation of students. This project aims to extend the functionality of an existing application called Illlab with an exercise that suits the B2 level and allow interaction between students while performing these exercises. The purpose of this application is to develop an additional exercise in the application Illlab that adds complexity for learning English at B2 level and also enables the interaction among students. The main idea is to make an application in multiple choices style with four options. The strength of this game is to present varied material on use of Enlgish and also allow play between two students. ILLLab extension is conceived as a project to develop interfaces and additional functionalities in the old application. The main functionalities added are a game of questions and answers with multiple choices for a B2 level and interfaces that meet information exchange requirements and content management over the Internet using standards adopted in the world of digital learning such as Common Cartridge or SCORM. This project simply adapts the application for its use in an activities evaluation environment in which the teacher has access to the activities performed by students in a course for further evaluation. The former versión of ILLLab contained only exercises that were carried out on the mobile device so that the evaluation of these activities was not possible. The improvement comes as a Common Cartridge interface for content management, a communication interface with REST web services and a database access using Hibernate which groups a number of Java libraries for object persistence in the database.

El reto de la extensión agraria en el Perú: de la transferencia de tecnologías a un trabajo integrado sobre el territorio. Aplicación en la provincia de Aymaraes

La extensión agraria entendida como transferencia de tecnología que tuvo su auge en la llamada Revolución Verde, con el paso del tiempo empezó a mostrar serias deficiencias en su objetivo de lograr que los agricultores asumieran las nuevas tecnologías, esto motivo un continuo trabajo de investigación en el área que ha generado una serie de modelos y enfoques. Sin embargo, a pesar que mucho ha cambiado, aún no se logra responder adecuadamente a la necesidad de cambio e innovación que tienen los pequeños productores de los países en desarrollo. El presente trabajo tiene como objetivo proponer un modelo para el desarrollo de la producción agrícola en el marco de un trabajo integrado sobre el territorio. Para esto se ha analizado los cambios referentes a los procesos de desarrollo rural y como éstos han impactado directamente en la forma en la que se concibe la extensión. En este recorrido podemos ver con claridad cómo los procesos de desarrollo que partían de un modelo exógeno, van cediendo a procesos endógenos y neo-endógenos, en donde el territorio tiene un valor fundamental. Se plantea que tanto la globalización como el Cambio Climático constituyen nuevos desafíos para el desarrollo rural. Posteriormente, en el análisis de la extensión agropecuaria en el mundo, se ha podido observar como la extensión ha ido cambiando hacia procesos más participativos y horizontales, introduciéndose en ella también los conceptos de innovación y de sistemas, como la posibilidad de comprender su complejidad. Al hacer el recorrido de la Extensión Agraria en el Perú se puede visualizar como, al igual que en el mundo, tuo un periodo de apogeo pero seguido de un periodo de crisis que terminó por eliminarla del espacio público. Actualmente los servicios de extensión en el Perú se manejan por entidades privadas, gobiernos locales y proyectos especiales, pero ninguno de ellos llega realmente al pequeño productor, que constituye la población más importante en países como el Perú. Este trabajo plantea un modelo para responder a este contexto, el cual se basa en tres enfoques de diferentes ámbitos: el Desarrollo Económico Local, El metamodelo WWP (Working with people) y los sistemas de innovación agrícolas. El modelo plantea un trabajo en cuatro componentes a señalar: (1) Planificación basada en herramientas técnicas y entendida como aprendizaje social, (2) Fortalecimiento del Capital Social ya existente, (3) Servicios de extensión con nuevas tecnologías y (4) Acompañamiento a los productores en el mercado. En este modelo, una consideración muy especial la tiene la entidad articuladora o bróker del presente sistema, el cual es una entidad que se encarga de activar y mantener el sistema, tomando en consideración la importancia del fortalecimiento de las redes sobre el territorio. La aplicación de este modelo se realizó en cuatro distritos de la provincia de Aymaraes (Región Apurimac) que se encuentran formando parte de la cuenca del Río Pachachaca. Para verificar la idoneidad del modelo en el fortalecimiento de las actividades agropecuarias, se realizó un análisis de una línea de base y de una línea de salida, estableciendo una serie de indicadores. Se realizó también un análisis ex – post para determinar las posibilidades de sostenibilidad del modelo. Se concluyó luego de la aplicación que el modelo tiene una serie de condiciones importantes para la eficacia y la sostenibilidad de los procesos de desarrollo de las actividades agropecuarias, aunque es necesario establecer algunos requisitos básicos para el funcionamiento de la propuesta, tales como la presencia de un actor que pueda actuar como articulador y la necesidad de trabajar a un nivel provincial en lugar de local. ABSTRACT Throughout time, agricultural extension, understood as technology transfer, that had its peak during the Green Revolution, began to show serious deficiencies in its goal of making farmers assume the new technologies. This created continuous research in the area that has generated a number of models and approaches. However, although much has changed, yet it fails to respond adequately to the need for change and innovation that small producers of developing countries have. This study aims to propose a model for the development of agricultural production in the framework of an integrated work on the territory. For this purpose, this research analyzed the changes related to rural development processes and how they have directly impacted on how the extension is conceived. On this tour it can be clearly seen how the development processes that started from an exogenous model, are giving way to neo-endogenous and endogenous processes, where the territory has a fundamental value. It is proposed that both globalization and climate change pose new challenges for rural development. Later in the analysis of agricultural extension in the world, it has been observed how the extension has been changing towards more participatory and horizontal processes, also introducing in it the innovative and systems concepts, as well as the ability to understand its complexity. When making the path of the agricultural extension in Peru, it can be seen how, same as it happened in the world, it had peak period that was followed by a crisis that eventually eliminated it from the public space. Currently, the extension services in Peru are managed by private entities, local governments and special projects, but none of them actually reach the small producer, who represents the most important population in countries like Peru. This paper proposes a model to respond to this context, which is based on three approaches of different areas: Local Economic Development, WWP metamodel (Working with people) and the agricultural innovation systems. The model presents a work in four parts to note: (1) Planning based in technical tools and understood as social learning, (2) Strengthening of the existing social capital, (3) Extension services with new technologies and (4) Support of producers in the market. In this model, special consideration is given to the coordinating entity or broker of this system, which is an entity that is responsible for activating and maintaining the system, taking into account the importance of strengthening networks in the territory. The application of this model was conducted in four districts of the Aymaraes province (Apurimac Region) which are part of the Rio Pachachaca watershed. To verify the suitability of the model in strengthening agricultural activities, an analysis of a baseline and a starting line was made, establishing a series of indicators. An analysis ex-post was also performed to determine the possibilities of sustainability of the model. After the application it was concluded that the model has a number of important conditions for the effectiveness and sustainability of development processes of agricultural activities, although it is necessary to establish some basic requirements for the operation of the proposal, such as the presence of an actor who can act as an articulator and the need to work at a provincial level rather than locally.

História semântica de um conceito : a influência inglesa do século XVII e norte-americana do século XVIII na construção do sentido de Constituição como paramount law

Inclui notas explicativas e bibliografia.

Pex1, a pollen-specific gene with an extensin-like domain.

We report here the identification of a pollen-specific gene from Zea mays that contains multiple Ser-(Pro)n repeats, the motif found in the cell wall-associated extensins. Sequence analysis reveals that the encoded protein has a putative globular domain at the N terminus and an extensin-like domain at the C terminus. The Pex1 (pollen extensin-like) gene is expressed exclusively in pollen, not in vegetative or female tissues, and is not induced in leaves upon wounding. We propose that the encoded protein may have a role in reproduction, either as a structural element deposited in the pollen tube wall during its rapid growth or as a sexual recognition molecule that interacts with partner molecules in the pistil.

Semántica de simulación para relaciones de conformidad

Esta tesis trata de las llamadas relaciones de conformidad que pueden darse entre dos sistemas cualesquiera, especificación e implementación. Como novedad introduce el uso de técnicas coinductivas para la definición de iocos, una relación de conformidad capaz de distinguir el contexto local de ejecución de un proceso. Al constituir iocos la parte central de una nueva teoría de Model Based Testing (MBT), se precisa de una descripción formal de los sistemas en juego; esto se lleva a cabo en primera instancia mediante sistemas de transiciones etiquetadas y posteriormente mediante un enfoque más abstracto, un álgebra de procesos. Las teorías de testing tienen por objeto confirmar las relaciones de conformidad mediante la ejecución de un conjunto de tests sobre un sistema –la implementación– cuya estructura interna se desconoce. Particularmente los beneficios de un enfoque MBT son inmediatos, ya que la generación de los tests puede abordarse de manera sistemática una vez se disponga de un modelo formal de la especificación, lo que contribuye a eliminar el error imputable al factor humano; esto se logra dando un algoritmo generador de tests que toma cono entrada una especificación y produce un conjunto de tests, posiblemente infinito, suficientemente representativo para asegurar la relación de conformidad. Este enfoque inicial, conocido como testing offline o testing estático, es mejorado para ganar en eficiencia evitando un alto consumo en recursos tanto de tiempo como de memoria mediante la técnica de testing online o testing dinámico, donde ambos pasos de generación y ejecución se ejecutan de manera alternada...