Improved Flexibility and Scalability by Interpreting Story Diagrams

In this paper, we present an interpreter for Story Diagrams working on Eclipse Modeling Framework (EMF) models. The interpreter provides a more flexible and, under certain circumstances, a more scalable solution than the compiled Java code generated from Story Diagrams by Fujaba. of Dynamic EMF even allows the evolution of meta models at runtime. Story Diagrams can now be modeled and executed within Eclipse. They can be modified and re-executed by the Story Diagram interpreter immediately without recompiling the source code and restarting the application. Our implementation also supports higher-order transformations by using Story Diagrams to modify other Story Diagrams. generation is not applicable, like running systems. While interpretation obviously results in performance drawbacks, we demonstrate that the Story Diagram interpreter is able to improve the performance in certain worst-case situations compared to the average generated code. This is achieved by a dynamic ordering of the matching process, which considers the actual number of elements in an association at runtime. Such a dynamic ordering can minimize the matching effort considerably. In contrast, Fujaba generated code uses a static matching strategy. Whereas the Fujaba Story Diagrams have potentially high performance fluctuations, the performance of the Story Diagram interpreter is steadier and more scalable compared to the generated Java code

Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case

When describing bidirectional model transformations in a declarative (relational) way, the relation between structures in source and target models is specified. But not only structural correspondences between source and target models need to be described. Another important aspect is the specification of the relation between attribute values of elements in source and target models. However, most existing approaches either do not allow such a relational kind of specification for attributes or allow it only in a restricted way.We consider the challenge of bridging the gap between a flexible declarative attribute specification and its operationalization for the triple graph grammar (TGG) specification technique as an important representative for describing bidirectional model transformations in a relational way. First, we present a formal way to specify attributes in TGG rules in a purely declarative (relational) way. Then, we give an overview of characteristic barriers that bidirectional model transformation tool developers are confronted with when operationalizing relational attribute constraints for different TGG application scenarios. Moreover, we present pragmatic solutions to overcome the operationalization barriers for different TGG application scenarios in our own TGG implementation

Integration of Triple Graph Grammars and Constraints

Metamodels are often augmented with additional constraints that must be satisfied by valid instances of these metamodels. Such constraints express complex conditions that cannot be expressed in the metamodel itself. Model transformations have to take such constraints of the source and target metamodels into account. Given a valid source model, which satisfies the source constraints, a model transformation is expected to return a valid target model (forward validity). However, in current model transformation definition and tool support, such an integration with source and target constraints including validation mechanisms is often ignored or not satisfactory yet.In this paper, we describe how the integration with source and target constraints can be achieved for the special case of model transformations defined by Triple Graph Grammars (TGGs). First, we extend the relational model transformation definition for TGGs and integrate it with source and target constraints. Moreover, we describe how forward/backward validity of TGGs with constraints can be automatically checked, either by static analysis using an invariant checker, or by generating and validating metamodel instances. Finally, we describe how to integrate constraints into our TGG-based model transformation implementation and automatic conformance testing framework

A Comparison of Incremental Triple Graph Grammar Tools

Triple Graph Grammars (TGGs) are a graph-based and visual technique for specifying bidirectional model transformation. TGGs can be used to transform models from scratch (in the batch mode), but the real potential of TGGs lies in propagating updates incrementally. Existing TGG tools differ considerably in their incremental mode concerning underlying algorithms, user-oriented aspects, incremental update capabilities, and formal properties. Indeed, the different foci, strengths, and weaknesses of current TGG tools in the incremental mode are difficult to discern, especially for non-developers. In this paper, we close this gap by (i) identifying a set of criteria for a qualitative comparison of TGG tools in the incremental mode, (ii) comparing three prominent incremental TGG tools with regard to these criteria, and (iii) conducting a quantitative comparison by means of runtime measurements

Navigating Across Non-Navigable Ecore References via OCL

The Eclipse Modeling Framework (EMF) and its meta-meta model Ecore support uni-directional and bi-directional references. It is quite common that references are defined uni-directionally only because of saving storage space or separating meta models, which is problematic when implementing Object Constraint Language (OCL) constraints that require navigation against the direction of uni-directional references. This is essential for certain approaches, e.g., incremental evaluation of OCL constraints on models shown by Altenhofen et al. that is used in SAP's Modeling Infrastructure (MOIN). In this paper, we present an approach that overcomes the aforementioned issue by providing navigation across non-navigable Ecore references via OCL. We further discuss different alternative solutions and briefly describe the realization that was outcome of a project in cooperation with the SAP AG

Allogeneic Non-Adherent Bone Marrow Cells Facilitate Hematopoietic Recovery but Do Not Lead to Allogeneic Engraftment

Background Non adherent bone marrow derived cells (NA-BMCs) have recently been described to give rise to multiple mesenchymal phenotypes and have an impact in tissue regeneration. Therefore, the effects of murine bone marrow derived NA-BMCs were investigated with regard to engraftment capacities in allogeneic and syngeneic stem cell transplantation using transgenic, human CD4+, murine CD4?/?, HLA-DR3+ mice. Methodology/Principal Findings Bone marrow cells were harvested from C57Bl/6 and Balb/c wild-type mice, expanded to NA-BMCs for 4 days and characterized by flow cytometry before transplantation in lethally irradiated recipient mice. Chimerism was detected using flow cytometry for MHC-I (H-2D[b], H-2K[d]), mu/huCD4, and huHLA-DR3). Culturing of bone marrow cells in a dexamethasone containing DMEM medium induced expansion of non adherent cells expressing CD11b, CD45, and CD90. Analysis of the CD45+ showed depletion of CD4+, CD8+, CD19+, and CD117+ cells. Expanded syngeneic and allogeneic NA-BMCs were transplanted into triple transgenic mice. Syngeneic NA-BMCs protected 83% of mice from death (n = 8, CD4+ donor chimerism of 5.8±2.4% [day 40], P<.001). Allogeneic NA-BMCs preserved 62.5% (n = 8) of mice from death without detectable hematopoietic donor chimerism. Transplantation of syngeneic bone marrow cells preserved 100%, transplantation of allogeneic bone marrow cells 33% of mice from death. Conclusions/Significance NA-BMCs triggered endogenous hematopoiesis and induced faster recovery compared to bone marrow controls. These findings may be of relevance in the refinement of strategies in the treatment of hematological malignancies

Interaction of Staphylococcus aureus and Host Cells upon Infection of Bronchial Epithelium during Different Stages of Regeneration

The primary barrier that protects our lungs against infection by pathogens is a tightly sealed layer of epithelial cells. When the integrity of this barrier is disrupted as a consequence of chronic pulmonary diseases or viral insults, bacterial pathogens will gain access to underlying tissues. A major pathogen that can take advantage of such conditions is Staphylococcus aureus, thereby causing severe pneumonia. In this study, we investigated how S. aureus responds to different conditions of the human epithelium, especially nonpolarization and fibrogenesis during regeneration using an in vitro infection model. The infective process was monitored by quantification of the epithelial cell and bacterial populations, fluorescence microscopy, and mass spectrometry. The results uncover differences in bacterial internalization and population dynamics that correlate with the outcome of infection. Protein profiling reveals that, irrespective of the polarization state of the epithelial cells, the invading bacteria mount similar responses to adapt to the intracellular milieu. Remarkably, a bacterial adaptation that was associated with the regeneration state of the epithelial cells concerned the early upregulation of proteins controlled by the redox-responsive regulator Rex when bacteria were confronted with a polarized cell layer. This is indicative of the modulation of the bacterial cytoplasmic redox state to maintain homeostasis early during infection even before internalization. Our present observations provide a deeper insight into how S. aureus can take advantage of a breached epithelial barrier and show that infected epithelial cells have limited ability to respond adequately to staphylococcal insults

High-resolution drought simulations and comparison to soil moisture observations in Germany

Germany\u27s 2018–2020 consecutive drought events resulted in multiple sectors – including agriculture, forestry, water management, energy production, and transport – being impacted. High-resolution information systems are key to preparedness for such extreme drought events. This study evaluates the new setup of the one-kilometer German drought monitor (GDM), which is based on daily soil moisture (SM) simulations from the mesoscale hydrological model (mHM). The simulated SM is compared against a set of diverse observations from single profile measurements, spatially distributed sensor networks, cosmic-ray neutron stations, and lysimeters at 40 sites in Germany. Our results show that the agreement of simulated and observed SM dynamics in the upper soil (0–25 cm) are especially high in the vegetative active period (0.84 median correlation R) and lower in winter (0.59 median R). The lower agreement in winter results from methodological uncertainties in both simulations and observations. Moderate but significant improvements between the coarser 4 km resolution setup and the ≈ 1.2 km resolution GDM in the agreement to observed SM dynamics is observed in autumn (+0.07 median R) and winter (+0.12 median R). Both model setups display similar correlations to observations in the dry anomaly spectrum, with higher overall agreement of simulations to observations with a larger spatial footprint. The higher resolution of the second GDM version allows for a more detailed representation of the spatial variability of SM, which is particularly beneficial for local risk assessments. Furthermore, the results underline that nationwide drought information systems depend both on appropriate simulations of the water cycle and a broad, high-quality, observational soil moisture database