Evolving Distributed Algorithms with Genetic Programming

Distributed systems are one of the most vital components of the economy. The most prominent example is probably the internet, a constituent element of our knowledge society. During the recent years, the number of novel network types has steadily increased. Amongst others, sensor networks, distributed systems composed of tiny computational devices with scarce resources, have emerged. The further development and heterogeneous connection of such systems imposes new requirements on the software development process. Mobile and wireless networks, for instance, have to organize themselves autonomously and must be able to react to changes in the environment and to failing nodes alike. Researching new approaches for the design of distributed algorithms may lead to methods with which these requirements can be met efficiently. In this thesis, one such method is developed, tested, and discussed in respect of its practical utility. Our new design approach for distributed algorithms is based on Genetic Programming, a member of the family of evolutionary algorithms. Evolutionary algorithms are metaheuristic optimization methods which copy principles from natural evolution. They use a population of solution candidates which they try to refine step by step in order to attain optimal values for predefined objective functions. The synthesis of an algorithm with our approach starts with an analysis step in which the wanted global behavior of the distributed system is specified. From this specification, objective functions are derived which steer a Genetic Programming process where the solution candidates are distributed programs. The objective functions rate how close these programs approximate the goal behavior in multiple randomized network simulations. The evolutionary process step by step selects the most promising solution candidates and modifies and combines them with mutation and crossover operators. This way, a description of the global behavior of a distributed system is translated automatically to programs which, if executed locally on the nodes of the system, exhibit this behavior. In our work, we test six different ways for representing distributed programs, comprising adaptations and extensions of well-known Genetic Programming methods (SGP, eSGP, and LGP), one bio-inspired approach (Fraglets), and two new program representations called Rule-based Genetic Programming (RBGP, eRBGP) designed by us. We breed programs in these representations for three well-known example problems in distributed systems: election algorithms, the distributed mutual exclusion at a critical section, and the distributed computation of the greatest common divisor of a set of numbers. Synthesizing distributed programs the evolutionary way does not necessarily lead to the envisaged results. In a detailed analysis, we discuss the problematic features which make this form of Genetic Programming particularly hard. The two Rule-based Genetic Programming approaches have been developed especially in order to mitigate these difficulties. In our experiments, at least one of them (eRBGP) turned out to be a very efficient approach and in most cases, was superior to the other representations.

Automatische Dienstvermittlung in dienstorientierten Architekturen in Aktion (ADDOaction)

In diesem Bericht werden die Ergebnisse und Fortschritte des Forschungsprojekts ADDOaction vorgestellt. Durch die Entwicklung in den letzten Jahrzehnten wurde das Internet zu einer wichtigen Infrastruktur für Geschäftsprozesse. Beliebige Anwendungen können als Dienste angeboten und übers Internet den Kunden online zur Verfügung gestellt werden. Eine flexible Dienstarchitektur ist dabei durch einen gewissen Grad an Dynamik gekennzeichnet, wo Dienste angepasst, ausgetauscht oder entfernt werden können und eventuell gleichzeitig von verschiedenen Anbietern bereitgestellt werden können. Dienste müssen dabei sowohl die funktionalen als auch die nicht-funktionalen Quality of Service (QoS) Anforderungen der Klienten erfüllen, um Kundenzufriedenheit garantieren zu können. Die Vielzahl der angebotenen Dienste und die unterschiedlichen Anforderungen der Klienten machen eine manuelle Entdeckung und ein manuelles Management der Dienste praktisch unmöglich. ADDOaction adressiert genau diese Probleme einer dienstorientierten Architektur und liefert innovative Lösungen von der automatischen Entdeckung von Diensten bis hin zur Überwachung und zum Management von Diensten zur Laufzeit.

The DIADEM Software Development Methodology extended to Multimedia Interfaces

DIADEM, created by THOMSON-CSF, is a methodology for specifying and developing user interfaces. It improves productivity of the interface development process as well as quality of the interface. The method provides support to user interface development in three aspects. (1) DIADEM defines roles of people involved and their tasks and organises the sequence of activities. (2) It provides graphical formalisms supporting information exchange between people. (3) It offers a basic set of rules for optimum human-machine interfaces. The use of DIADEM in three areas (process control, sales support, and multimedia presentation) was observed and evaluated by our laboratory in the European project DIAMANTA (ESPRIT P20507). The method provides an open procedure that leaves room for adaptation to a specific application and environment. This paper gives an overview of DIADEM and shows how to extend formalisms for developing multimedia interfaces.

Fujaba Days 2011

Fujaba is an Open Source UML CASE tool project started at the software engineering group of Paderborn University in 1997. In 2002 Fujaba has been redesigned and became the Fujaba Tool Suite with a plug-in architecture allowing developers to add functionality easily while retaining full control over their contributions. Multiple Application Domains Fujaba followed the model-driven development philosophy right from its beginning in 1997. At the early days, Fujaba had a special focus on code generation from UML diagrams resulting in a visual programming language with a special emphasis on object structure manipulating rules. Today, at least six rather independent tool versions are under development in Paderborn, Kassel, and Darmstadt for supporting (1) reengineering, (2) embedded real-time systems, (3) education, (4) specification of distributed control systems, (5) integration with the ECLIPSE platform, and (6) MOF-based integration of system (re-) engineering tools. International Community According to our knowledge, quite a number of research groups have also chosen Fujaba as a platform for UML and MDA related research activities. In addition, quite a number of Fujaba users send requests for more functionality and extensions. Therefore, the 8th International Fujaba Days aimed at bringing together Fujaba develop- ers and Fujaba users from all over the world to present their ideas and projects and to discuss them with each other and with the Fujaba core development team.

Context as a Service

In the vision of Mark Weiser on ubiquitous computing, computers are disappearing from the focus of the users and are seamlessly interacting with other computers and users in order to provide information and services. This shift of computers away from direct computer interaction requires another way of applications to interact without bothering the user. Context is the information which can be used to characterize the situation of persons, locations, or other objects relevant for the applications. Context-aware applications are capable of monitoring and exploiting knowledge about external operating conditions. These applications can adapt their behaviour based on the retrieved information and thus to replace (at least a certain amount) the missing user interactions. Context awareness can be assumed to be an important ingredient for applications in ubiquitous computing environments. However, context management in ubiquitous computing environments must reflect the specific characteristics of these environments, for example distribution, mobility, resource-constrained devices, and heterogeneity of context sources. Modern mobile devices are equipped with fast processors, sufficient memory, and with several sensors, like Global Positioning System (GPS) sensor, light sensor, or accelerometer. Since many applications in ubiquitous computing environments can exploit context information for enhancing their service to the user, these devices are highly useful for context-aware applications in ubiquitous computing environments. Additionally, context reasoners and external context providers can be incorporated. It is possible that several context sensors, reasoners and context providers offer the same type of information. However, the information providers can differ in quality levels (e.g. accuracy), representations (e.g. position represented in coordinates and as an address) of the offered information, and costs (like battery consumption) for providing the information. In order to simplify the development of context-aware applications, the developers should be able to transparently access context information without bothering with underlying context accessing techniques and distribution aspects. They should rather be able to express which kind of information they require, which quality criteria this information should fulfil, and how much the provision of this information should cost (not only monetary cost but also energy or performance usage). For this purpose, application developers as well as developers of context providers need a common language and vocabulary to specify which information they require respectively they provide. These descriptions respectively criteria have to be matched. For a matching of these descriptions, it is likely that a transformation of the provided information is needed to fulfil the criteria of the context-aware application. As it is possible that more than one provider fulfils the criteria, a selection process is required. In this process the system has to trade off the provided quality of context and required costs of the context provider against the quality of context requested by the context consumer. This selection allows to turn on context sources only if required. Explicitly selecting context services and thereby dynamically activating and deactivating the local context provider has the advantage that also the resource consumption is reduced as especially unused context sensors are deactivated. One promising solution is a middleware providing appropriate support in consideration of the principles of service-oriented computing like loose coupling, abstraction, reusability, or discoverability of context providers. This allows us to abstract context sensors, context reasoners and also external context providers as context services. In this thesis we present our solution consisting of a context model and ontology, a context offer and query language, a comprehensive matching and mediation process and a selection service. Especially the matching and mediation process and the selection service differ from the existing works. The matching and mediation process allows an autonomous establishment of mediation processes in order to transfer information from an offered representation into a requested representation. In difference to other approaches, the selection service selects not only a service for a service request, it rather selects a set of services in order to fulfil all requests which also facilitates the sharing of services. The approach is extensively reviewed regarding the different requirements and a set of demonstrators shows its usability in real-world scenarios.

The Human in the Loop: User Participation in Self-Adaptive Software

Self-adaptive software provides a profound solution for adapting applications to changing contexts in dynamic and heterogeneous environments. Having emerged from Autonomic Computing, it incorporates fully autonomous decision making based on predefined structural and behavioural models. The most common approach for architectural runtime adaptation is the MAPE-K adaptation loop implementing an external adaptation manager without manual user control. However, it has turned out that adaptation behaviour lacks acceptance if it does not correspond to a user’s expectations – particularly for Ubiquitous Computing scenarios with user interaction. Adaptations can be irritating and distracting if they are not appropriate for a certain situation. In general, uncertainty during development and at run-time causes problems with users being outside the adaptation loop. In a literature study, we analyse publications about self-adaptive software research. The results show a discrepancy between the motivated application domains, the maturity of examples, and the quality of evaluations on the one hand and the provided solutions on the other hand. Only few publications analysed the impact of their work on the user, but many employ user-oriented examples for motivation and demonstration. To incorporate the user within the adaptation loop and to deal with uncertainty, our proposed solutions enable user participation for interactive selfadaptive software while at the same time maintaining the benefits of intelligent autonomous behaviour. We define three dimensions of user participation, namely temporal, behavioural, and structural user participation. This dissertation contributes solutions for user participation in the temporal and behavioural dimension. The temporal dimension addresses the moment of adaptation which is classically determined by the self-adaptive system. We provide mechanisms allowing users to influence or to define the moment of adaptation. With our solution, users can have full control over the moment of adaptation or the self-adaptive software considers the user’s situation more appropriately. The behavioural dimension addresses the actual adaptation logic and the resulting run-time behaviour. Application behaviour is established during development and does not necessarily match the run-time expectations. Our contributions are three distinct solutions which allow users to make changes to the application’s runtime behaviour: dynamic utility functions, fuzzy-based reasoning, and learning-based reasoning. The foundation of our work is a notification and feedback solution that improves intelligibility and controllability of self-adaptive applications by implementing a bi-directional communication between self-adaptive software and the user. The different mechanisms from the temporal and behavioural participation dimension require the notification and feedback solution to inform users on adaptation actions and to provide a mechanism to influence adaptations. Case studies show the feasibility of the developed solutions. Moreover, an extensive user study with 62 participants was conducted to evaluate the impact of notifications before and after adaptations. Although the study revealed that there is no preference for a particular notification design, participants clearly appreciated intelligibility and controllability over autonomous adaptations.

La investigación en el aula : un ejemplo sobre expresión creativa.

Tratar las causas originadoras de ineficacia de la investigación en el campo educativo, aportando de forma simultánea y paralela diversas estrategias que pueden solucionar y evitar el estado de la cuestión. Las estrategias se basan en el estudio de la creatividad y el grado en que la poseen los alumnos, para adoptar así, medidas tendentes a estimular el logro de sus máximas posibilidades. 4 grupos de niños de 8 a 9 años integrados en tercer curso de EGB pertenecientes al Colegio Caja de Ahorros de Granada. La muestra total es de 151 alumnos. Se pasan diferentes tests a los alumnos para comprobar su grado de creatividad, que son posteriormente corregidos por los investigadores, haciéndose análisis comparativos entre los distintos grupos. Test de creatividad de Jose María Martínez Beltrán en cinco apartados: sub-test C1, de creatividad lúdica-instrumental; sub-test C2, test de causas imposibles; sub-test C3, test de LSO-círculos; sub-test C4, test de creatividad instrumental; sub-test C5, test de las fábulas. Técnica del test-retest; escala de intervalos; puntuaciones centiles; gráficas; análisis de varianza. De los 4 grupos de alumnos en que se divide la investigación se sacan como resultados: 1. Las diferencias entre los grupos A y B no son significativas, siendo los dos grupos prácticamente iguales en cuanto a creatividad. 2. Entre los grupos A y C, sí existen diferencias; los sujetos del grupo A, son más creativos que los del grupo C. 3. También existen diferencias entre los sujetos de los grupos A y D; los del grupo A, son más creativos que los del grupo D. 4. Los sujetos del grupo B son más creativos que los del grupo C y D. 5. Los sujetos del grupo C y D son igualmente creativos. 1. La diferencia es verdadera y significativa entre los grupos A y C, A y D, B y C, B y D. 2. Sería interesante y necesario buscar las causas de estas diferencias para potenciar aquellas que sean positivas, generadoras de creatividad y eliminar las que la contrarresten. 3. Habría que averiguar si en la actualidad se utilizan métodos distintos en los diversos grupos y su posible incidencia. 4. Averiguar cómo puede influir la actitud del profesorado ante la creatividad.

An??lisis de un programa inform??tico para estimular la atenci??n en personas mayores

Resumen tomado de la publicaci??n

Factores de riesgo asociados al diagnostico de asfixia perinatal en el Hospital Universitario Mayor Méderi, Bogota, 2010-2011.

Objetivo: Determinar los factores de riesgo de anteparto, intraparto y fetales asociados a asfixia perinatal en los recién nacidos del servicio de neonatología del Hospital Universitario Mayor Méderi de Bogotá, 2010-2011. Materiales y métodos: Estudio de casos y controles pareado por fecha de nacimiento, con una relación 1:5(51:306). Las asociaciones se evaluaron con la prueba de ji-cuadrado de Mantel y Haenszel o Test de Fisher para datos pareados, con OR e intervalo de confianza del 95%, el análisis multivariado con un modelo de regresión logística condicional. Resultados: Los factores de riesgo con asociación significativa fueron: - Ante parto: Antecedentes patológicos maternos (OR=6.00,IC95%:1.55-23.19,p=0.013), primigestación (OR=1.91,IC95%:1.02-3.56,p=0,090), -Intraparto: Abruptio de placenta (OR=25,00,IC95%:2.92-213.99,p=0.001), hemorragia del tercer trimestre (OR=12.50,IC95%:2.43-64.43,p=0.001), Oligohidramnios(OR=6.25,IC95%:1.68-23.28,p=0.001), taquicardia fetal (OR=7.66,IC95%:1.67-35.04,p=0.011), monitoreo fetal intraparto anormal (OR=10.33,IC95%:4.38-24.34,p=0.001), expulsivo prolongado(OR=13.00,IC95%:4.63-36.46,p=0.001), fiebre materna(p<0.001), corioamnionitis(p<0.001), convulsiones maternas(p<0.001), bradicardia fetal (p=<0.001), -Fetales: Género masculino(OR=1.87,IC95%:1.02-3.44,p=0.026), edad gestacional por BALLARD igual ó <36semanas(OR=4.78(IC95%:2.21-10.35,p=0.001), vía del nacimiento instrumentado(OR=18,80,IC95%:3.69-39.55,p=0.001), líquido amniótico hemorrágico o teñido de meconio(OR= 9.00,IC95%:3.01-26.85,p=0.001), circular de cordón(OR=9.00,IC95%:3.59-22.52,p=0.001), peso al nacer igual ó <2500 gramos (OR=8.88,IC95%:3.73-21.15,p=0.001). Los subrayados y el síndrome hipertensivo asociado al embarazo se encontraron significativos en análisis multivariado. Conclusiones: Los factores de riesgo para asfixia perinatal fueron: antecedentes patológicos maternos, primigestación, abruptio de placenta, hemorragia del tercer trimestre, oligohidramnios, monitoreo fetal intraparto anormal, taquicardia y bradicardia fetal, expulsivo prolongado, corioamnionitis, fiebre materna, convulsiones maternas, género masculino, edad gestacional por BALLARD igual ó <36 semanas, vía del nacimiento instrumentado, líquido amniótico hemorrágico o teñido de meconio, circular de cordón, peso al nacer igual ó <2500 gramos.

La doctrina de la empresa criminal conjunta en los tribunales ad hoc y su ámbito de aplicación en el Estatuto de Roma

El primer fallo de la Corte Penal Internacional ha confirmado que el Artículo 25(3) del Estatuto de Roma se basa en la teoría del dominio del hecho para hacer la distinción entre autoría y participación. Por el contrario, desde 2003, la jurisprudencia de los tribunales ad hoc construye el concepto de coautoría con base en la doctrina de la empresa criminal conjunta y emplea un criterio subjetivo de autor. En el presente texto analizaremos primero los problemas planteados por esta línea jurisprudencial de los tribunales ad hoc,para proseguir con el análisis del artículo del Estatuto de Roma que más parece asemejarse a la doctrina de la empresa criminal conjunta :el Artículo 25 (3) (d). El documento concluye que ninguna de las categorías de la empresa criminal conjunta tiene cabida en dicha disposición.

Una revisión cuantitativa sobre los tratamientos psicológicos de la fobia a la oscuridad aplicados en un entorno natural.

Resumen tomado de la publicación

Una revisión cuantitativa del tratamiento psicológico de la fobia social en niños y adolescentes medida a través del SPAI y SPAI-C.

Resumen tomado de la publicación

Normativa Educación : de 1 de septiembre a 7 de diciembre de 2004.

Listado de las ordenes y resoluciones relacionadas con la educación publicadas en el Documento Oficial de Castilla-La Mancha (DOCM), desde el 01-09-2004 hasta el 07-12-2004.

How well does the ECMWF Ensemble Prediction System predict blocking?

Forecasting atmospheric blocking is one of the main problems facing medium-range weather forecasters in the extratropics. The European Centre for Medium-Range Weather Forecasts (ECMWF) Ensemble Prediction System (EPS) provides an excellent basis for medium-range forecasting as it provides a number of different possible realizations of the meteorological future. This ensemble of forecasts attempts to account for uncertainties in both the initial conditions and the model formulation. Since 18 July 2000, routine output from the EPS has included the field of potential temperature on the potential vorticity (PV) D 2 PV units (PVU) surface, the dynamical tropopause. This has enabled the objective identification of blocking using an index based on the reversal of the meridional potential-temperature gradient. A year of EPS probability forecasts of Euro-Atlantic and Pacific blocking have been produced and are assessed in this paper, concentrating on the Euro-Atlantic sector. Standard verification techniques such as Brier scores, Relative Operating Characteristic (ROC) curves and reliability diagrams are used. It is shown that Euro-Atlantic sector-blocking forecasts are skilful relative to climatology out to 10 days, and are more skilful than the deterministic control forecast at all lead times. The EPS is also more skilful than a probabilistic version of this deterministic forecast, though the difference is smaller. In addition, it is shown that the onset of a sector-blocking episode is less well predicted than its decay. As the lead time increases, the probability forecasts tend towards a model climatology with slightly less blocking than is seen in the real atmosphere. This small under-forecasting bias in the blocking forecasts is possibly related to a westerly bias in the ECMWF model. Copyright © 2003 Royal Meteorological Society