Manifesto - Model Engineering for Complex Systems

Complex systems are hard to define. Nevertheless they are more and more frequently encountered. Examples include a worldwide airline traffic management system, a global telecommunication or energy infrastructure or even the whole legacy portfolio accumulated for more than thirty years in a large insurance company. There are currently few engineering methods and tools to deal with them in practice. The purpose of this Dagstuhl Perspectives Workshop on Model Engineering for Complex Systems was to study the applicability of Model Driven Engineering (MDE) to the development and management of complex systems. MDE is a software engineering field based on few simple and sound principles. Its power stems from the assumption of considering everything - engineering artefacts, manipulations of artefacts, etc - as a model. Our intuition was that MDE may provide the right level of abstraction to move the study of complex systems from an informal goal to more concrete grounds. In order to provide first evidence in support of this intuition, the workshop studied different visions and different approaches to the development and management of different kinds of complex systems. This note presents the summary of the discussions

Exciton and trion dynamics in atomically thin MoSe2 and WSe2: effect of localization

We present a detailed investigation of the exciton and trion dynamics in naturally doped MoSe2 and WSe2 single atomic layers as a function of temperature in the range 10-300K under above band-gap laser excitation. By combining time-integrated and time-resolved photoluminescence (PL) spectroscopy we show the importance of exciton and trion localization in both materials at low temperatures. We also reveal the transition to delocalized exciton complexes at higher temperatures where the exciton and trion thermal energy exceeds the typical localization energy. This is accompanied with strong changes in PL including suppression of the trion PL and decrease of the trion PL life-time, as well as significant changes for neutral excitons in the temperature dependence of the PL intensity and appearance of a pronounced slow PL decay component. In MoSe2 and WSe2 studied here, the temperatures where such strong changes occur are observed at around 100 and 200 K, respectively, in agreement with their inhomogeneous PL linewidth of 8 and 20 meV at T~10K. The observed behavior is a result of a complex interplay between influences of the specific energy ordering of bright and dark excitons in MoSe2 and WSe2, sample doping, trion and exciton localization and various temperature-dependent non-radiative processes

Photon extrabunching in ultrabright twin beams measured by two-photon counting in a semiconductor

For many years twin beams originating from parametric down-converted light beams have aroused great interest and attention in the photonics community. One particular aspect of the twin beams is their peculiar intensity correlation functions, which are related to the coincidence rate of photon pairs. Here we take advantage of the huge bandwidth offered by two-photon absorption in a semiconductor to quantitatively determine correlation functions of twin beams generated by spontaneous parametric down-conversion. Compared with classical incoherent sources, photon extrabunching is unambiguously and precisely measured, originating from exact coincidence between down-converted pairs of photons, travelling in unison. These results strongly establish that two-photon counting in semiconductors is a powerful tool for the absolute measurement of light beam photon correlations at ultrashort timescales

Theoretical study of peculiarities of unstable longitudinal shear crack growth in sub-Rayleigh and supershear regimes

In the paper we present the results of the theoretical study of some fundamental aspects of mode II crack propagation in conventional sub-Rayleigh regime and transition to intersonic regime. It is shown that development of a sub-Rayleigh shear crack is determined in many respects by elastic vortex traveling ahead of the crack tip at a shear wave velocity. Formation of such a vortex helps to better understand the well-known phenomenon of acceleration of a shear crack towards the longitudinal wave velocity. Simulation results have shown that due to self-similarity of shear crack propagation the conditions of sub-Rayleigh to intersonic transition depend on dimensionless material and crack parameters. Two key dimensionless parameters are proposed

Microservice Transition and its Granularity Problem: A Systematic Mapping Study

Microservices have gained wide recognition and acceptance in software industries as an emerging architectural style for autonomic, scalable, and more reliable computing. The transition to microservices has been highly motivated by the need for better alignment of technical design decisions with improving value potentials of architectures. Despite microservices' popularity, research still lacks disciplined understanding of transition and consensus on the principles and activities underlying "micro-ing" architectures. In this paper, we report on a systematic mapping study that consolidates various views, approaches and activities that commonly assist in the transition to microservices. The study aims to provide a better understanding of the transition; it also contributes a working definition of the transition and technical activities underlying it. We term the transition and technical activities leading to microservice architectures as microservitization. We then shed light on a fundamental problem of microservitization: microservice granularity and reasoning about its adaptation as first-class entities. This study reviews state-of-the-art and -practice related to reasoning about microservice granularity; it reviews modelling approaches, aspects considered, guidelines and processes used to reason about microservice granularity. This study identifies opportunities for future research and development related to reasoning about microservice granularity.Comment: 36 pages including references, 6 figures, and 3 table

Extreme variations of pCO2 and pH in a macrophyte meadow of the Baltic Sea in summer: evidence of the effect of photosynthesis and local upwelling

The impact of ocean acidification on benthic habitats is a major preoccupation of the scientific community. However, the natural variability of pCO2 and pH in those habitats remains understudied, especially in temperate areas. In this study we investigated temporal variations of the carbonate system in nearshore macrophyte meadows of the western Baltic Sea. These are key benthic ecosystems, providing spawning and nursery areas as well as food to numerous commercially important species. In situ pCO2, pH (total scale), salinity and PAR irradiance were measured with a continuous recording sensor package dropped in a shallow macrophyte meadow (Eckernförde bay, western Baltic Sea) during three different weeks in July (pCO2 and PAR only), August and September 2011.The mean (± SD) pCO2 in July was 383±117 µatm. The mean (± SD) pCO2 and pHtot in August were 239±20 µatm and 8.22±0.1, respectively. The mean (± SD) pCO2 and pHtot in September were 1082±711 µatm and 7.83±0.40, respectively. Daily variations of pCO2 due to photosynthesis and respiration (difference between daily maximum and minimum) were of the same order of magnitude: 281±88 µatm, 219±89 μatm and 1488±574 µatm in July, August and September respectively. The observed variations of pCO2 were explained through a statistical model considering wind direction and speed together with PAR irradiance. At a time scale of days to weeks, local upwelling of elevated pCO2 water masses with offshore winds drives the variation. Within days, primary production is responsible. The results demonstrate the high variability of the carbonate system in nearshore macrophyte meadows depending on meteorology and biological activities. We highlight the need to incorporate these variations in future pCO2 scenarios and experimental designs for nearshore habitats

Conceptual design report for the LUXE experiment

This Conceptual Design Report describes LUXE (Laser Und XFEL Experiment), an experimental campaign that aims to combine the high-quality and high-energy electron beam of the European XFEL with a powerful laser to explore the uncharted terrain of quantum electrodynamics characterised by both high energy and high intensity. We will reach this hitherto inaccessible regime of quantum physics by analysing high-energy electron-photon and photon-photon interactions in the extreme environment provided by an intense laser focus. The physics background and its relevance are presented in the science case which in turn leads to, and justifies, the ensuing plan for all aspects of the experiment: Our choice of experimental parameters allows (i) field strengths to be probed where the coupling to charges becomes non-perturbative and (ii) a precision to be achieved that permits a detailed comparison of the measured data with calculations. In addition, the high photon flux predicted will enable a sensitive search for new physics beyond the Standard Model. The initial phase of the experiment will employ an existing 40 TW laser, whereas the second phase will utilise an upgraded laser power of 350 TW. All expectations regarding the performance of the experimental set-up as well as the expected physics results are based on detailed numerical simulations throughout

Pep1, a Secreted Effector Protein of Ustilago maydis, Is Required for Successful Invasion of Plant Cells

The basidiomycete Ustilago maydis causes smut disease in maize. Colonization of the host plant is initiated by direct penetration of cuticle and cell wall of maize epidermis cells. The invading hyphae are surrounded by the plant plasma membrane and proliferate within the plant tissue. We identified a novel secreted protein, termed Pep1, that is essential for penetration. Disruption mutants of pep1 are not affected in saprophytic growth and develop normal infection structures. However, Δpep1 mutants arrest during penetration of the epidermal cell and elicit a strong plant defense response. Using Affymetrix maize arrays, we identified 116 plant genes which are differentially regulated in Δpep1 compared to wild type infections. Most of these genes are related to plant defense. By in vivo immunolocalization, live-cell imaging and plasmolysis approaches, we detected Pep1 in the apoplastic space as well as its accumulation at sites of cell-to-cell passages. Site-directed mutagenesis identified two of the four cysteine residues in Pep1 as essential for function, suggesting that the formation of disulfide bridges is crucial for proper protein folding. The barley covered smut fungus Ustilago hordei contains an ortholog of pep1 which is needed for penetration of barley and which is able to complement the U. maydis Δpep1 mutant. Based on these results, we conclude that Pep1 has a conserved function essential for establishing compatibility that is not restricted to the U. maydis / maize interaction