Managing Quality Properties of Web Service Compositions

Web services from different partners can be combined to applications that realize a more complex business goal. Such applications built as Web service compositions define how interactions between Web services take place in order to implement the business logic. Web service compositions not only have to provide the desired functionality but also have to comply with certain Quality of Service (QoS) levels. Maximizing the users' satisfaction, also reflected as Quality of Experience (QoE), is a primary goal to be achieved in a Service-Oriented Architecture (SOA). Unfortunately, in a dynamic environment like SOA unforeseen situations might appear like services not being available or not responding in the desired time frame. In such situations, appropriate actions need to be triggered in order to avoid the violation of QoS and QoE constraints. In this thesis, proper solutions are developed to manage Web services and Web service compositions with regard to QoS and QoE requirements. The Business Process Rules Language (BPRules) was developed to manage Web service compositions when undesired QoS or QoE values are detected. BPRules provides a rich set of management actions that may be triggered for controlling the service composition and for improving its quality behavior. Regarding the quality properties, BPRules allows to distinguish between the QoS values as they are promised by the service providers, QoE values that were assigned by end-users, the monitored QoS as measured by our BPR framework, and the predicted QoS and QoE values. BPRules facilitates the specification of certain user groups characterized by different context properties and allows triggering a personalized, context-aware service selection tailored for the specified user groups. In a service market where a multitude of services with the same functionality and different quality values are available, the right services need to be selected for realizing the service composition. We developed new and efficient heuristic algorithms that are applied to choose high quality services for the composition. BPRules offers the possibility to integrate multiple service selection algorithms. The selection algorithms are applicable also for non-linear objective functions and constraints. The BPR framework includes new approaches for context-aware service selection and quality property predictions. We consider the location information of users and services as context dimension for the prediction of response time and throughput. The BPR framework combines all new features and contributions to a comprehensive management solution. Furthermore, it facilitates flexible monitoring of QoS properties without having to modify the description of the service composition. We show how the different modules of the BPR framework work together in order to execute the management rules. We evaluate how our selection algorithms outperform a genetic algorithm from related research. The evaluation reveals how context data can be used for a personalized prediction of response time and throughput.

Framework for middleware executed on mobile devices

Die ubiquitäre Datenverarbeitung ist ein attraktives Forschungsgebiet des vergangenen und aktuellen Jahrzehnts. Es handelt von unaufdringlicher Unterstützung von Menschen in ihren alltäglichen Aufgaben durch Rechner. Diese Unterstützung wird durch die Allgegenwärtigkeit von Rechnern ermöglicht die sich spontan zu verteilten Kommunikationsnetzwerken zusammen finden, um Informationen auszutauschen und zu verarbeiten. Umgebende Intelligenz ist eine Anwendung der ubiquitären Datenverarbeitung und eine strategische Forschungsrichtung der Information Society Technology der Europäischen Union. Das Ziel der umbebenden Intelligenz ist komfortableres und sichereres Leben. Verteilte Kommunikationsnetzwerke für die ubiquitäre Datenverarbeitung charakterisieren sich durch Heterogenität der verwendeten Rechner. Diese reichen von Kleinstrechnern, eingebettet in Gegenstände des täglichen Gebrauchs, bis hin zu leistungsfähigen Großrechnern. Die Rechner verbinden sich spontan über kabellose Netzwerktechnologien wie wireless local area networks (WLAN), Bluetooth, oder UMTS. Die Heterogenität verkompliziert die Entwicklung und den Aufbau von verteilten Kommunikationsnetzwerken. Middleware ist eine Software Technologie um Komplexität durch Abstraktion zu einer homogenen Schicht zu reduzieren. Middleware bietet eine einheitliche Sicht auf die durch sie abstrahierten Ressourcen, Funktionalitäten, und Rechner. Verteilte Kommunikationsnetzwerke für die ubiquitäre Datenverarbeitung sind durch die spontane Verbindung von Rechnern gekennzeichnet. Klassische Middleware geht davon aus, dass Rechner dauerhaft miteinander in Kommunikationsbeziehungen stehen. Das Konzept der dienstorienterten Architektur ermöglicht die Entwicklung von Middleware die auch spontane Verbindungen zwischen Rechnern erlaubt. Die Funktionalität von Middleware ist dabei durch Dienste realisiert, die unabhängige Software-Einheiten darstellen. Das Wireless World Research Forum beschreibt Dienste die zukünftige Middleware beinhalten sollte. Diese Dienste werden von einer Ausführungsumgebung beherbergt. Jedoch gibt es noch keine Definitionen wie sich eine solche Ausführungsumgebung ausprägen und welchen Funktionsumfang sie haben muss. Diese Arbeit trägt zu Aspekten der Middleware-Entwicklung für verteilte Kommunikationsnetzwerke in der ubiquitären Datenverarbeitung bei. Der Schwerpunkt liegt auf Middleware und Grundlagentechnologien. Die Beiträge liegen als Konzepte und Ideen für die Entwicklung von Middleware vor. Sie decken die Bereiche Dienstfindung, Dienstaktualisierung, sowie Verträge zwischen Diensten ab. Sie sind in einem Rahmenwerk bereit gestellt, welches auf die Entwicklung von Middleware optimiert ist. Dieses Rahmenwerk, Framework for Applications in Mobile Environments (FAME²) genannt, beinhaltet Richtlinien, eine Definition einer Ausführungsumgebung, sowie Unterstützung für verschiedene Zugriffskontrollmechanismen um Middleware vor unerlaubter Benutzung zu schützen. Das Leistungsspektrum der Ausführungsumgebung von FAME² umfasst: • minimale Ressourcenbenutzung, um auch auf Rechnern mit wenigen Ressourcen, wie z.B. Mobiltelefone und Kleinstrechnern, nutzbar zu sein • Unterstützung für die Anpassung von Middleware durch Änderung der enthaltenen Dienste während die Middleware ausgeführt wird • eine offene Schnittstelle um praktisch jede existierende Lösung für das Finden von Diensten zu verwenden • und eine Möglichkeit der Aktualisierung von Diensten zu deren Laufzeit um damit Fehlerbereinigende, optimierende, und anpassende Wartungsarbeiten an Diensten durchführen zu können Eine begleitende Arbeit ist das Extensible Constraint Framework (ECF), welches Design by Contract (DbC) im Rahmen von FAME² nutzbar macht. DbC ist eine Technologie um Verträge zwischen Diensten zu formulieren und damit die Qualität von Software zu erhöhen. ECF erlaubt das aushandeln sowie die Optimierung von solchen Verträgen.

Design, implementation and application of a generic framework for integrated regional land-use modeling

Land use is a crucial link between human activities and the natural environment and one of the main driving forces of global environmental change. Large parts of the terrestrial land surface are used for agriculture, forestry, settlements and infrastructure. Given the importance of land use, it is essential to understand the multitude of influential factors and resulting land use patterns. An essential methodology to study and quantify such interactions is provided by the adoption of land-use models. By the application of land-use models, it is possible to analyze the complex structure of linkages and feedbacks and to also determine the relevance of driving forces. Modeling land use and land use changes has a long-term tradition. In particular on the regional scale, a variety of models for different regions and research questions has been created. Modeling capabilities grow with steady advances in computer technology, which on the one hand are driven by increasing computing power on the other hand by new methods in software development, e.g. object- and component-oriented architectures. In this thesis, SITE (Simulation of Terrestrial Environments), a novel framework for integrated regional sland-use modeling, will be introduced and discussed. Particular features of SITE are the notably extended capability to integrate models and the strict separation of application and implementation. These features enable efficient development, test and usage of integrated land-use models. On its system side, SITE provides generic data structures (grid, grid cells, attributes etc.) and takes over the responsibility for their administration. By means of a scripting language (Python) that has been extended by language features specific for land-use modeling, these data structures can be utilized and manipulated by modeling applications. The scripting language interpreter is embedded in SITE. The integration of sub models can be achieved via the scripting language or by usage of a generic interface provided by SITE. Furthermore, functionalities important for land-use modeling like model calibration, model tests and analysis support of simulation results have been integrated into the generic framework. During the implementation of SITE, specific emphasis was laid on expandability, maintainability and usability. Along with the modeling framework a land use model for the analysis of the stability of tropical rainforest margins was developed in the context of the collaborative research project STORMA (SFB 552). In a research area in Central Sulawesi, Indonesia, socio-environmental impacts of land-use changes were examined. SITE was used to simulate land-use dynamics in the historical period of 1981 to 2002. Analogous to that, a scenario that did not consider migration in the population dynamics, was analyzed. For the calculation of crop yields and trace gas emissions, the DAYCENT agro-ecosystem model was integrated. In this case study, it could be shown that land-use changes in the Indonesian research area could mainly be characterized by the expansion of agricultural areas at the expense of natural forest. For this reason, the situation had to be interpreted as unsustainable even though increased agricultural use implied economic improvements and higher farmers' incomes. Due to the importance of model calibration, it was explicitly addressed in the SITE architecture through the introduction of a specific component. The calibration functionality can be used by all SITE applications and enables largely automated model calibration. Calibration in SITE is understood as a process that finds an optimal or at least adequate solution for a set of arbitrarily selectable model parameters with respect to an objective function. In SITE, an objective function typically is a map comparison algorithm capable of comparing a simulation result to a reference map. Several map optimization and map comparison methodologies are available and can be combined. The STORMA land-use model was calibrated using a genetic algorithm for optimization and the figure of merit map comparison measure as objective function. The time period for the calibration ranged from 1981 to 2002. For this period, respective reference land-use maps were compiled. It could be shown, that an efficient automated model calibration with SITE is possible. Nevertheless, the selection of the calibration parameters required detailed knowledge about the underlying land-use model and cannot be automated. In another case study decreases in crop yields and resulting losses in income from coffee cultivation were analyzed and quantified under the assumption of four different deforestation scenarios. For this task, an empirical model, describing the dependence of bee pollination and resulting coffee fruit set from the distance to the closest natural forest, was integrated. Land-use simulations showed, that depending on the magnitude and location of ongoing forest conversion, pollination services are expected to decline continuously. This results in a reduction of coffee yields of up to 18% and a loss of net revenues per hectare of up to 14%. However, the study also showed that ecological and economic values can be preserved if patches of natural vegetation are conservated in the agricultural landscape. -----------------------------------------------------------------------

The social dimension: a neglected policy item in the Bologna Process

Since its beginning in 1999, the Bologna Process has influenced various aspects of higher education in its member countries, e.g., degree structures, mobility, lifelong learning, social dimension and quality assurance. The social dimension creates the focus of this research. The social dimension entered the Bologna Process agenda in 2001. Despite a decade of reforms, it somehow remained as a vague element and received low scholarly attention. This research addresses to this gap. Firstly, different meanings of the social dimension according to the major European policy actors are analysed. Unfolding the understandings of the actors revealed that the social dimension is mostly understood in terms reflecting the diversity of population on the student body accessing to, progressing in and completing higher education, with a special concern on the underrepresented groups. However, it is not possible to observe a similar commonality concerning the actual policy measures to achieve this goal. Divergence occurs with respect to the addressed underrepresented groups, i.e., all underrepresented groups or people without formal qualifications and mature learners, and the values and institutional interests traditionally promoted by these actors. Secondly, the dissertation discusses the reflection of this social dimension understanding at the national level by looking at cases of Finland, Germany and Turkey. The in-depth analyses show an awareness of the social dimension among most of the national Bologna Process actors and a common understanding of the social dimension goals. However, this understanding has not triggered action in any of the countries. The countries acted on areas which they defined problematic before the Bologna Process. Finally, based on these findings the dissertation discusses the social dimension as a policy item that managed to get into the Bologna Process agenda, but neither grew into an implementable policy, nor drop out of it. To this aim, it makes use of the multiple streams framework and explains the low agenda status social dimension with: i. the lack of a pressing problem definition: the lack of clearly defined indicators and a comprehensive monitoring system, ii. the lack of a viable solution alternative: the proposal of developing national strategies and action plans closed the way to develop generic guidelines for the social dimension to be translated into national policy processes, iii. low political perceptivity: the recent trends opt for increasing efficiency, excellence and exclusiveness discourses rather than ensuring equality and inclusiveness iv. high constraints: the social dimension by definition requires more public funding which is less appreciated and strategic constraints of the actors in allocating their resources v. the type of policy entrepreneur: the social dimension is promoted by an international stakeholder, the European Students’ Union, instead of the ministers responsible for higher education The social dimension remains a policy item in the Bologna Process which is noble enough to agree but not urgent enough to act on.

Kohärente transiente und effiziente Endzustandskontrolle in Atomen und Molekülen

Es ist ein lang gehegter Traum in der Chemie, den Ablauf einer chemischen Reaktion zu kontrollieren und das Aufbrechen und Bilden chemischer Bindungen zu steuern. Diesem Ziel verschreibt sich auch das Forschungsgebiet der Femtochemie. Hier werden Femtosekunden Laserpulse eingesetzt um auf dem Quantenlevel molekulare Dynamiken auf ihren intrinsischen Zeitskalen zu kontrollieren und das System selektiv und effizient von einem Anfangs- in einen Zielzustand zu überführen. Der Wunsch, mit geformten Femtosekunden Laserpulsen Kontrolle über transiente Dynamiken und finale Populationen auszuüben, zu beobachten und zu verstehen, bildet auch die Motivation für diese Arbeit. Hierzu wurden mit Hilfe der Photoelektronenspektroskopie Untersuchungen zur Wechselwirkung atomarer und molekularer Prototypsysteme mit intensiven, geformten Femtosekunden Laserpulsen durchgeführt. Die Verwendung von Modelsystemen ermöglicht es, grundlegende Mechanismen der kohärenten Kontrolle in intensiven Laserfeldern zu analysieren, ohne dass sie durch komplexe Wechselwirkungen verschleiert werden. Zunächst wurde die Wechselwirkung von Kaliumatomen mit gechirpten Femtosekunden Laserpulsen untersucht. In den Experimenten wurden sowohl transiente Dynamiken als auch die Endbesetzungen der elektronischen Zustände abgebildet. In den folgenden Experimenten wurde das Quantenkontrollszenario SPODS auf die gekoppelte Elektronen-Kern-Dynamik in Molekülen übertragen. Die Kontrolle basiert auf der Erzeugung und Manipulation von Ladungsoszillationen durch Pulssequenzen. Der letzte Teil widmet sich der Entwicklung adiabatischer Kontrollmechanismen in Molekülen. Bei den Experimenten wurden gechirpte Airypulse eingesetzt um robuste Starkfeldanregung in molekularen Systemen zu induzieren. In Zukunft wird die Erforschung immer komplexerer Moleküle im Rahmen der transienten Kontrolle im Fokus stehen. Dabei werden nicht nur die effiziente Besetzung gebundener Zustände von Interesse sein, sondern auch die gezielte Dissoziation in spezifische Fragmente, photoinduzierte Isomerisierungsreaktionen oder die Kontrolle über transiente Dynamiken, die Einfluss auf andere molekulare Eigenschaften haben. Vor dem Hintergrund dieses übergeordneten Wunsches, photochemische Reaktionen immer komplexerer Moleküle, bis hin zu großen, biologisch relevanten Molekülen, zu kontrollieren, ist es umso wichtiger, die zugrundeliegenden Anregungsmechanismen in einfachen Systemen nachzuvollziehen. In den hier präsentierten Experimenten wurde gezeigt, wie die simultane Beobachtung der bekleideten und der stationären Zustände in atomaren Systemen zu einem umfassenden Bild der lichtinduzierte Dynamiken führen kann. Die gewonnenen Erkenntnisse können auf die Steuerung gekoppelter Dynamiken übertragen werden, durch die Kontrolle auch in molekularen Systemen möglich wird.