Bridging WebML to model-driven engineering: from document type definitions to meta object facility

Meta-models are a prerequisite for model-driven engineering (MDE) in general and consequently for model-driven web engineering in particular. Various web modelling languages, however, are not based on meta-models and standards, like object management group's prominent meta object facility (MOF). Instead they define proprietary languages rather focused on notational aspects. Thus, MDE techniques and tools cannot be deployed for such languages preventing to exploit the full potential of MDE in terms of standardised storage, exchange and transformation of models. The WebML web modelling language is one example that does not yet rely on an explicit meta-model in the sense of MDE. Instead, it is defined in terms of a document type definition (DTD), and implicitly within the accompanying tool. Code generation then has to rely on model-to-code transformations based of extensible stylesheet language transformations (XSLT). We propose a meta-model for WebML to bridge WebML to MDE. To establish such a meta-model, instead of remodelling WebML's meta-model from scratch, a semi-automatic approach is provided that allows generating MOF-based meta-models on the basis of DTDs. The meta-model for WebML accomplishes the following aims: first, it represents an initial step towards a transition to employ MDE techniques within the WebML design methodology. Second, the provision of a MOF-based meta-model ensures interoperability with other MDE tools. Third, it represents an important step towards a common meta-model for Web modelling in future.     

Formation of 4,4-dialkoxycyclohexa-2,5-dienone N-(thiol-S-yl)imine during reaction of 4-alkoxynitrosobenzenes with thiols in alcoholic solvents

During the interaction of nitrosoarenes with glutathione in aqueous media, intermediate generation of a highly resonance-stabilized sulfenamide cation has been repeatedly suggested. Most intermediates and end products could be explained by reactions of this sulfenamide cation with different nucleophiles such as excess thiol, solvent water, and metabolically produced arylamine. The present paper presents evidence for adduct formation of the sulfenamide cation with solvent alcohol at neutral pH. Sulfenamide cations generated from 4-nitrosophenetole and 4-nitrosoanisole, respectively, are strongly suggested to form the metastable ketals 4-ethoxy-4-methoxycyclohexa-2,5-dienone N-(glutathion-S-yl)imine and 4,4-dimethoxycyclohexa-2,5-dienone N-(glutathion-S-yl)imine, respectively, during reaction with solvent methanol. Reaction of the two sulfenamide cations in ethanol yielded 4,4-diethoxycyclohexa-2, 5-dienone N-(glutathion-S-yl)imine and 4-ethoxy-4-methoxycyclohexa-2, 5-dienone N-(glutathion-S-yl)imine, respectively. Although the metastability of the ketals did not allow isolation of pure solid material, chromatographic and chemical behavior as well as tandem MS fragmentation substantiate a ketal structure of these intermediates. To confirm the proposed structure, new compounds, 2, 6-dimethyl-4-nitrosophenetole, 2,6-dimethyl-4-nitrophenetole, 2, 6-dimethyl-4-phenetidine, and N-(glutathion-S-yl)-N-hydroxy-4-aminoacetophenone, were synthesized and included in supportive experiments. In summary, the detection of ketals corroborates once more the occurrence of a sulfenamide cation which obviously not only reacts with soft nucleophiles such as GSH but, to a limited extent, also reacts with hard nucleophiles. The toxicological significance of this result is discussed.     

Influence of non-uniform material properties and water cooling on current density and temperature profiles in arc furnace electrodes

The influence of the simplifying assumption of constant electrical conductivity on the modelling of current density and temperature profiles in arc furnace electrodes is investigated in comparison with calculations taking into account the complete interdependence of electrical and thermal effects. With respect to the accuracy of the calculated values for UHP arc furnace electrodes it is shown that the classical theory for the skin effect using the approximation of constant electrical conductivity is inferior to an exact numerical evaluation, especially concerning the current distribution. A two-dimensional thermal analysis is performed for combination electrodes consisting of a water cooling shank and a graphite wearing part, in order to demonstrate the cooling effect for the reduction of graphite consumption. In the electrodes considered here, the cooled region in the wearing part covers an axial distance in the order of one electrode diameter.     

Novel temperature dependent tensile test of freestanding copper thin film structures

The temperature dependent mechanical properties of the metallization of electronic power devices are studied in tensile tests on micron-sized freestanding copper beams at temperatures up to 400 °C. The experiments are performed in situ in a scanning electron microscope. This allows studying the micromechanical processes during the deformation and failure of the sample at different temperatures.     

Temporal Coherence Methods in Real‐Time Rendering

Nowadays, there is a strong trend towards rendering to higher‐resolution displays and at high frame rates. This development aims at delivering more detail and better accuracy, but it also comes at a significant cost. Although graphics cards continue to evolve with an ever‐increasing amount of computational power, the speed gain is easily counteracted by increasingly complex and sophisticated shading computations. For real‐time applications, the direct consequence is that image resolution and temporal resolution are often the first candidates to bow to the performance constraints (e.g. although full HD is possible, PS3 and XBox often render at lower resolutions). In order to achieve high‐quality rendering at a lower cost, one can exploit temporal coherence (TC). The underlying observation is that a higher resolution and frame rate do not necessarily imply a much higher workload, but a larger amount of redundancy and a higher potential for amortizing rendering over several frames. In this survey, we investigate methods that make use of this principle and provide practical and theoretical advice on how to exploit TC for performance optimization. These methods not only allow incorporating more computationally intensive shading effects into many existing applications, but also offer exciting opportunities for extending high‐end graphics applications to lower‐spec consumer‐level hardware. To this end, we first introduce the notion and main concepts of TC, including an overview of historical methods. We then describe a general approach, image‐space reprojection, with several implementation algorithms that facilitate reusing shading information across adjacent frames. We also discuss data‐reuse quality and performance related to reprojection techniques. Finally, in the second half of this survey, we demonstrate various applications that exploit TC in real‐time rendering.     

Guest editorial to the theme section on AI-enhanced model-driven engineering

Software and Systems Modeling - This theme section brings together the latest research at the intersection of artificial intelligence (AI) and model-driven engineering (MDE). Over the past years,...     

High‐Quality Screen‐Space Ambient Occlusion using Temporal Coherence

Ambient occlusion is a cheap but effective approximation of global illumination. Recently, screen‐space ambient occlusion (SSAO) methods, which sample the frame buffer as a discretization of the scene geometry, have become very popular for real‐time rendering. We present temporal SSAO (TSSAO), a new algorithm which exploits temporal coherence to produce high‐quality ambient occlusion in real time. Compared to conventional SSAO, our method reduces both noise as well as blurring artefacts due to strong spatial filtering, faithfully representing fine‐grained geometric structures. Our algorithm caches and reuses previously computed SSAO samples, and adaptively applies more samples and spatial filtering only in regions that do not yet have enough information available from previous frames. The method works well for both static and dynamic scenes.