Enabling the compatible evolution of services based on a cloud-enabled ESB solution

Software services are susceptible to changes because of the rapid growth and challenges in business environment. Business operations offered by service providers have to able to cope with various and countless service demands from service consumers. Such a case could also be experienced in cloud environment. As cloud platform, the Platform-as-a-Service (PaaS) platform allows application developers as tenants to deploy and configure their service artifacts in cloud infrastructure. A multi-tenant aware Enterprise Service Bus (ESB) as applications integrator is introduced to serve tenants in terms of management and administration. The purpose is to ensure data isolation between tenants. The goal of this diploma thesis is to extend an open source multi-tenant aware ESB with service version control management framework so that the ESB can facilitate the version management of service providers and consumers in a transparent manner, and ensure service compatibility among tenants. The extension can be further decomposed in terms of management and administration, as well as message flows in versions inside the multi-tenant ESB

Teacher Unionization and the Quality of Education in Peru: An Empirical Evaluation Using Survey Data

This paper analyzes the evolution and current profile of teacher unionization and estimate the impact of unionization on the quality of public education in Peru. The research uses data from a 1999 household survey (ENAHO) and from a recent evaluation of a public program oriented to improve the quality of Peruvian public education. Regarding the evolution of unionization, there is evidence compatible with the hypothesis that the rate of teacher unionization has dropped during the last three decades, but especially during the 1990s, due basically to the hiring of temporary teachers. With respect to the profile of unionization, it is found that unionized teachers are older and more experienced, and that males are more common in the union membership. There is no empirical evidence that unionized teachers enjoy better access to educational infrastructure at the polidocente (larger) schools, but they do have better access at the multigrado (intermediate) schools. For the impact of unionization on quality, Hoxby’s production function model was adapted to the Peruvian case, in which public education is centralized and in which teachers do not have major influence on the education budget at the school or district levels. The model is estimated to test whether unionization has an impact on teachers’ effort and student achievement, but there is no empirical support for these hypotheses. The data indicate that unionization does not currently seem to be a major factor affecting the quality of educational services in the Peruvian public education system.

Towards Flexible Distribution Systems : Future Adaptive Management Schemes

During the ongoing evolution of energy systems toward increasingly flexible, resilient, and digitalized distribution systems, many issues need to be developed. In general, a holistic multi-level systemic view is required on the future enabling technologies, control and management methods, operation and planning principles, regulation as well as market and business models. Increasing integration of intermittent renewable generation and electric vehicles, as well as industry electrification during the evolution, requires a huge amount of flexibility services at multiple time scales and from different voltage levels, resources, and sectors. Active use of distribution network-connected flexible energy resources for flexibility services provision through new marketplaces will also be needed. Therefore, increased collaboration between system operators in operation and planning of the future power system will also become essential during the evolution. In addition, use of integrated cyber-secure, resilient, cost-efficient, and advanced communication technologies and solutions will be of key importance. This paper describes a potential three-stage evolution path toward fully flexible, resilient, and digitalized electricity distribution networks. A special focus of this paper is the evolution and development of adaptive control and management methods as well as compatible collaborative market schemes that can enable the improved provision of flexibility services by distribution network-connected flexible energy resources for local (distribution system operator) and system-wide (transmission system operator) needs.© 2021 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).fi=vertaisarvioitu|en=peerReviewed

Robust Contract Evolution in a TypeSafe MicroServices Architecture

Microservices architectures allow for short deployment cycles and immediate effects but offer no safety mechanisms when service contracts need to be changed. Maintaining the soundness of microservice architectures is an error-prone task that is only accessible to the most disciplined development teams. We present a microservice management system that statically verifies service interfaces and supports the seamless evolution of compatible interfaces. We define a compatibility relation that captures real evolution patterns and embodies known good practices on the evolution of interfaces. Namely, we allow for the addition, removal, and renaming of data fields of a producer module without breaking or needing to upgrade consumer services. The evolution of interfaces is supported by runtime generated proxy components that dynamically adapt data exchanged between services to match with the statically checked service code.The model was instantiated in a core language whose semantics is defined by a labeled transition system and a type system that prevents breaking changes from being deployed. Standard soundness results for the core language entail the existence of adapters, hence the absence of adaptation errors and the correctness of the management model. This adaptive approach allows for gradual deployment of modules, without halting the whole system and avoiding losing or misinterpreting data exchanged between system nodes. Experimental data shows that an average of 69% of deployments that would require adaptation and recompilation are safe under our approach

A theory and model for the evolution of software services

Software services are subject to constant change and variation. To control service development, a service developer needs to know why a change was made, what are its implications and whether the change is complete. Typically, service clients do not perceive the upgraded service immediately. As a consequence, service-based applications may fail on the service client side due to changes carried out during a provider service upgrade. In order to manage changes in a meaningful and effective manner service clients must therefore be considered when service changes are introduced at the service provider's side. Otherwise such changes will most certainly result in severe application disruption. Eliminating spurious results and inconsistencies that may occur due to uncontrolled changes is therefore a necessary condition for the ability of services to evolve gracefully, ensure service stability, and handle variability in their behavior. Towards this goal, this work presents a model and a theoretical framework for the compatible evolution of services based on well-founded theories and techniques from a number of disparate fields.

International frontiers in agricultural information services

IDRC personnel. Paper on the role of agricultural information services and information centres, and especially of AGRIS in worldwide information exchange and information dissemination - discusses evolution, activities, and prospects of AGRIS with emphasis on the need for accrued national government support (especially the potential contribution of the USA) and the integrated use of fully compatible data banks; includes bibliographic notes

A theory and model for the evolution of software services.

Software services are subject to constant change and variation. To control service development, a service developer needs to know why a change was made, what are its implications and whether the change is complete. Typically, service clients do not perceive the upgraded service immediately. As a consequence, service-based applications may fail on the service client side due to changes carried out during a provider service upgrade. In order to manage changes in a meaningful and effective manner service clients must therefore be considered when service changes are introduced at the service provider's side. Otherwise such changes will most certainly result in severe application disruption. Eliminating spurious results and inconsistencies that may occur due to uncontrolled changes is therefore a necessary condition for the ability of services to evolve gracefully, ensure service stability, and handle variability in their behavior. Towards this goal, this work presents a model and a theoretical framework for the compatible evolution of services based on well-founded theories and techniques from a number of disparate fields.

Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability

One of the main open research issues in Service Oriented Computing is to propose automated techniques to analyse service interfaces. A first problem, called compatibility, aims at determining whether a set of services (two in this paper) can be composed together and interact with each other as expected. Another related problem is to check the substitutability of one service with another. These problems are especially difficult when behavioural descriptions (i.e., message calls and their ordering) are taken into account in service interfaces. Interfaces should capture as faithfully as possible the service behaviour to make their automated analysis possible while not exhibiting implementation details. In this position paper, we choose Labelled Transition Systems to specify the behavioural part of service interfaces. In particular, we show that internal behaviours (tau transitions) are necessary in these transition systems in order to detect subtle errors that may occur when composing a set of services together. We also show that tau transitions should be handled differently in the compatibility and substitutability problem: the former problem requires to check if the compatibility is preserved every time a tau transition is traversed in one interface, whereas the latter requires a precise analysis of tau branchings in order to make the substitution preserve the properties (e.g., a compatibility notion) which were ensured before replacement.Comment: In Proceedings WCSI 2010, arXiv:1010.233

Stationary distributions of the multi-type ASEP

We give a recursive construction of the stationary distribution of multi-type asymmetric simple exclusion processes on a finite ring or on the infinite line $Z$. The construction can be interpreted in terms of "multi-line diagrams" or systems of queues in tandem. Let $q$ be the asymmetry parameter of the system. The queueing construction generalises the one previously known for the totally asymmetric ($q=0$) case, by introducing queues in which each potential service is unused with probability $q^k$ when the queue-length is $k$. The analysis is based on the matrix product representation of Prolhac, Evans and Mallick. Consequences of the construction include: a simple method for sampling exactly from the stationary distribution for the system on a ring; results on common denominators of the stationary probabilities, expressed as rational functions of $q$ with non-negative integer coefficients; and probabilistic descriptions of "convoy formation" phenomena in large systems.Comment: 54 pages, 4 figure

Spectroscopic Analysis in the Virtual Observatory Environment with SPLAT-VO

SPLAT-VO is a powerful graphical tool for displaying, comparing, modifying and analyzing astronomical spectra, as well as searching and retrieving spectra from services around the world using Virtual Observatory (VO) protocols and services. The development of SPLAT-VO started in 1999, as part of the Starlink StarJava initiative, sometime before that of the VO, so initial support for the VO was necessarily added once VO standards and services became available. Further developments were supported by the Joint Astronomy Centre, Hawaii until 2009. Since end of 2011 development of SPLAT-VO has been continued by the German Astrophysical Virtual Observatory, and the Astronomical Institute of the Academy of Sciences of the Czech Republic. From this time several new features have been added, including support for the latest VO protocols, along with new visualization and spectra storing capabilities. This paper presents the history of SPLAT-VO, it's capabilities, recent additions and future plans, as well as a discussion on the motivations and lessons learned up to now.Comment: 15 pages, 6 figures, accepted for publication in Astronomy & Computin