Leveraging the power of formal methods in the realm of enterprise modeling:On the example of extending the (meta) model verification possibilities of ADOxx with Alloy

peer reviewedVerification in the realm of enterprise modeling (EM) ensures both the consistency of EM language specifications (i.e., meta models and additional well-formedness constraints), as well as of enterprise models. The consistency of enterprise models, which integrate different perspectives on an enterprise, ensures that they contain the necessary, in line with domain-specific rules, information for carrying out a variety of model-driven enterprise analyses. Meta modeling platforms are instrumental in carrying out such verification, especially when multiple languages are applied in tandem, as is inherent to enterprise modeling. This paper reports on our practical experiences of using formal methods for verification in the context of EM. Motivated by the required verification capabilities, we show for one example platform, ADOxx, how it can be chained together with Alloy, an example of lightweight formal method, to capitalize on complementary platform strengths. Namely, ADOxx for language specification and use, and Alloy for verification capabilities. We show the verification, both, on the meta model level, in terms of checking the consistency of language specifications, and on the model level, in terms of checking models against well-formedness constraints. We illustrate the chaining of ADOxx and Alloy on the basis of consistency checks of two languages applied in tandem, namely the value modeling language e3value and the IT infrastructure modeling language, ITML. We also carry out experiments with three further languages to reflect upon the performance of Alloy, and its capability to uncover inconsistencies

Strategic Analysis in the Realm of Enterprise Modeling – On the Example of Blockchain-Based Initiatives for the Electricity Sector

This paper continues our previous work on modeling support for strategic analysis, by (1) extending a proposed modeling language for strategic analysis (called SAML), among others, with features proposed by business scholars to increase the expressiveness of the analysis, and (2) relating the extended SAML to a language for IT infrastructure analysis (called ITML). Thus, we explicitly contextualize strategic analyses by accounting for the role and impact of IT infrastructure. A scenario in the electricity industry is used to illustrate the analysis proposed

Impact of resonance decays on critical point signals in net-proton fluctuations

The non-monotonic beam energy dependence of the higher cumulants of net-proton fluctuations is a widely studied signature of the conjectured presence of a critical point in the QCD phase diagram. In this work we study the effect of resonance decays on critical fluctuations. We show that resonance effects reduce the signatures of critical fluctuations, but that for reasonable parameter choices critical effects in the net-proton cumulants survive. The relative role of resonance decays has a weak dependence on the order of the cumulants studied with a slightly stronger suppression of critical effects for higher-order cumulants

Discovery of six new class II methanol maser transitions, including the unambiguous detection of three torsionally excited lines toward G 358.931-0.030

We present the unambiguous discovery of six new class II methanol maser transitions, three of which are torsionally excited (vt = 1). The newly discovered 6.18 GHz 17−2 → 18−3 E (vt = 1), 7.68 GHz 124 → 133 A− (vt = 0), 7.83 GHz 124 → 133 A+ (vt = 0), 20.9 GHz 101 → 112 A+ (vt = 1), 44.9 GHz 20 → 31 E (vt = 1), and 45.8 GHz 93 → 102 E (vt = 0) methanol masers were detected toward G 358.931-0.030, where the known 6.68 GHz maser has recently been reported to be undergoing a period flaring. The detection of the vt = 1 torsionally excited lines corroborates one of the missing puzzle pieces in class II maser pumping, but the intensity of the detected emission provides an additional challenge, especially in the case of the very highly excited 6.18 GHz line. Together with the newly detected vt = 0 lines, these observations provide significant new information that can be utilized to improve class II methanol maser modeling. We additionally present detections of 6.68, 19.9, 23.1, and 37.7 GHz class II masers, as well as 36.2 and 44.1 GHz class I methanol masers, and provide upper limits for the 38.3 and 38.5 GHz class II lines. Near simultaneous Australia Telescope Compact Array observations confirm that all 10 of the class II methanol maser detections are co-spatial to ∼0.2 arcsec, which is within the uncertainty of the observations. We find significant levels of linearly polarized emission in the 6.18, 6.67, 7.68, 7.83, 20.9, 37.7, 44.9, and 45.8 GHz transitions, and low levels of circular polarization in the 6.68, 37.7, and 45.8 GHz transitions

Intermediate distance correlators in hot Yang-Mills theory

Lattice measurements of spatial correlation functions of the operators FF and FF-dual in thermal SU(3) gauge theory have revealed a clear difference between the two channels at "intermediate" distances, x ~ 1/(pi T). This is at odds with the AdS/CFT limit which predicts the results to coincide. On the other hand, an OPE analysis at short distances (x << 1/(pi T)) as well as effective theory methods at long distances (x >> 1/(pi T)) suggest differences. Here we study the situation at intermediate distances by determining the time-averaged spatial correlators through a 2-loop computation. We do find unequal results, however the numerical disparity is small. Apart from theoretical issues, a future comparison of our results with time-averaged lattice measurements might also be of phenomenological interest in that understanding the convergence of the weak-coupling series at intermediate distances may bear on studies of the thermal broadening of heavy quarkonium resonances.Comment: 31 page

The QCD phase diagram at nonzero quark density

We determine the phase diagram of QCD on the \mu-T plane for small to moderate chemical potentials. Two transition lines are defined with two quantities, the chiral condensate and the strange quark number susceptibility. The calculations are carried out on N_t =6,8 and 10 lattices generated with a Symanzik improved gauge and stout-link improved 2+1 flavor staggered fermion action using physical quark masses. After carrying out the continuum extrapolation we find that both quantities result in a similar curvature of the transition line. Furthermore, our results indicate that in leading order the width of the transition region remains essentially the same as the chemical potential is increased.Comment: 12 pages, 6 figure

Structure and phase stability of nanocrystalline Ce1−xLnxO2−x/2−δ (Ln = Yb, Lu) in oxidizing and reducing atmosphere

The structure and phase evolution of nanocrystalline Ce1−xLnxO2−x/2−δ (Ln = Yb, Lu, x = 0 − 1) oxides upon heating in H2 was studied for the first time. Up to 950 °C the samples were single-phase, with structure changing smoothly with x from fluorite type (F) to bixbyite type (C). For the Lu-doped samples heated at 1100 °C in the air and H2, phase separation into coexisting F- and C-type structures was observed for ~0.40 < x < ~0.70 and ~0.25 < x < ~0.70, respectively. It was found also that addition of Lu3+ and Yb3+ strongly hinders the crystallite growth of ceria during heat treatment at 800 and 950 °C in both atmospheres. Valency of Ce and Yb in Ce0.1Lu0.9O1.55−δ and Ce0.95Yb0.05O1.975−δ samples heated at 1100 °C was studied by XANES and magnetic measurements. In the former Ce was dominated by Ce4+, with small contribution of Ce3+ after heating in H2. In the latter, Yb existed exclusively as 3+ in both O2 and H2

Triad3a induces the degradation of early necrosome to limit RipK1-dependent cytokine production and necroptosis.

Understanding the molecular signaling in programmed cell death is vital to a practical understanding of inflammation and immune cell function. Here we identify a previously unrecognized mechanism that functions to downregulate the necrosome, a central signaling complex involved in inflammation and necroptosis. We show that RipK1 associates with RipK3 in an early necrosome, independent of RipK3 phosphorylation and MLKL-induced necroptotic death. We find that formation of the early necrosome activates K48-ubiquitin-dependent proteasomal degradation of RipK1, Caspase-8, and other necrosomal proteins. Our results reveal that the E3-ubiquitin ligase Triad3a promotes this negative feedback loop independently of typical RipK1 ubiquitin editing enzymes, cIAPs, A20, or CYLD. Finally, we show that Triad3a-dependent necrosomal degradation limits necroptosis and production of inflammatory cytokines. These results reveal a new mechanism of shutting off necrosome signaling and may pave the way to new strategies for therapeutic manipulation of inflammatory responses

The porin and the permeating antibiotic: A selective diffusion barrier in gram-negative bacteria

Gram-negative bacteria are responsible for a large proportion of antibiotic resistant bacterial diseases. These bacteria have a complex cell envelope that comprises an outer membrane and an inner membrane that delimit the periplasm. The outer membrane contains various protein channels, called porins, which are involved in the influx of various compounds, including several classes of antibiotics. Bacterial adaptation to reduce influx through porins is an increasing problem worldwide that contributes, together with efflux systems, to the emergence and dissemination of antibiotic resistance. An exciting challenge is to decipher the genetic and molecular basis of membrane impermeability as a bacterial resistance mechanism. This Review outlines the bacterial response towards antibiotic stress on altered membrane permeability and discusses recent advances in molecular approaches that are improving our knowledge of the physico-chemical parameters that govern the translocation of antibiotics through porin channel