Choreography Rehearsal ⋆

Abstract. We propose a methodology for statically predicting the possible interaction patterns of services within a given choreography. We focus on choreographies exploiting the event notification paradigm to manage service interactions. Control Flow Analysis techniques statically approximate which events can be delivered to match the choreography constraints and how the multicast groups can be optimised to handle event notification within the service choreography.

A criterion for separating process calculi

We introduce a new criterion, replacement freeness, to discern the relative expressiveness of process calculi. Intuitively, a calculus is strongly replacement free if replacing, within an enclosing context, a process that cannot perform any visible action by an arbitrary process never inhibits the capability of the resulting process to perform a visible action. We prove that there exists no compositional and interaction sensitive encoding of a not strongly replacement free calculus into any strongly replacement free one. We then define a weaker version of replacement freeness, by only considering replacement of closed processes, and prove that, if we additionally require the encoding to preserve name independence, it is not even possible to encode a non replacement free calculus into a weakly replacement free one. As a consequence of our encodability results, we get that many calculi equipped with priority are not replacement free and hence are not encodable into mainstream calculi like CCS and pi-calculus, that instead are strongly replacement free. We also prove that variants of pi-calculus with match among names, pattern matching or polyadic synchronization are only weakly replacement free, hence they are separated both from process calculi with priority and from mainstream calculi.Comment: In Proceedings EXPRESS'10, arXiv:1011.601

B Cells Directly Tolerize CD8+ T Cells

This report investigates the response of CD8+ T cells to antigens presented by B cells. When C57BL/6 mice were injected with syngeneic B cells coated with the Kb-restricted ovalbumin (OVA) determinant OVA257–264, OVA-specific cytotoxic T lymphocyte (CTL) tolerance was observed. To investigate the mechanism of tolerance induction, in vitro–activated CD8+ T cells from the Kb-restricted, OVA-specific T cell receptor transgenic line OT-I (OT-I cells) were cultured for 15 h with antigen-bearing B cells, and their survival was determined. Antigen recognition led to the killing of the B cells and, surprisingly, to the death of a large proportion of the OT-I CTLs. T cell death involved Fas (CD95), since OT-I cells deficient in CD95 molecules showed preferential survival after recognition of antigen on B cells. To investigate the tolerance mechanism in vivo, naive OT-I T cells were adoptively transferred into normal mice, and these mice were coinjected with antigen-bearing B cells. In this case, OT-I cells proliferated transiently and were then lost from the secondary lymphoid compartment. These data provide the first demonstration that B cells can directly tolerize CD8+ T cells, and suggest that this occurs via CD95-mediated, activation-induced deletion

Advanced mechanisms for service combination and transactions

Languages and models for service-oriented applications usually include primitives and constructs for exception and compensation handling. Exception handling is used to react to unexpected events while compensation handling is used to undo previously completed activities. In this chapter we investigate the impact of exception and compensation handling in message-based process calculi and the related theories developed within Sensoria

Measurement of the cross section for isolated-photon plus jet production in pp collisions at √s=13 TeV using the ATLAS detector

The dynamics of isolated-photon production in association with a jet in proton–proton collisions at a centre-of-mass energy of 13 TeV are studied with the ATLAS detector at the LHC using a dataset with an integrated luminosity of 3.2 fb−1. Photons are required to have transverse energies above 125 GeV. Jets are identified using the anti- algorithm with radius parameter and required to have transverse momenta above 100 GeV. Measurements of isolated-photon plus jet cross sections are presented as functions of the leading-photon transverse energy, the leading-jet transverse momentum, the azimuthal angular separation between the photon and the jet, the photon–jet invariant mass and the scattering angle in the photon–jet centre-of-mass system. Tree-level plus parton-shower predictions from Sherpa and Pythia as well as next-to-leading-order QCD predictions from Jetphox and Sherpa are compared to the measurements

Measurement of jet charge in dijet events from √s = 8 TeV pp collisions with the ATLAS detector

The momentum-weighted sum of the charges of tracks associated to a jet is sensitive to the charge of the initiating quark or gluon. This paper presents a measurement of the distribution of momentum-weighted sums, called jet charge, in dijet events using 20.3 fb−¹ of data recorded with the ATLAS detector at √s = 8 TeV in pp collisions at the LHC. The jet charge distribution is unfolded to remove distortions from detector effects and the resulting particle-level distribution is compared with several models. The pT dependence of the jet charge distribution average and standard deviation are compared to predictions obtained with several leading-order and next-to-leading-order parton distribution functions. The data are also compared to different Monte Carlo simulations of QCD dijet production using various settings of the free parameters within these models. The chosen value of the strong coupling constant used to calculate gluon radiation is found to have a significant impact on the predicted jet charge. There is evidence for a pT dependence of the jet charge distribution for a given jet flavor. In agreement with perturbative QCD predictions, the data show that the average jet charge of quark-initiated jets decreases in magnitude as the energy of the jet increases

Search for the production of single vector-like and excited quarks in the Wt final state in pp collisions at √s=8 TeV with the ATLAS detector

A search for vector-like quarks and excited quarks in events containing a top quark and a W boson in the final state is reported here. The search is based on 20.3 fb−1 of proton-proton collision data taken at the LHC at a centre-of-mass energy of 8 TeV recorded by the ATLAS detector. Events with one or two leptons, and one, two or three jets are selected with the additional requirement that at least one jet contains a b-quark. Single-lepton events are also required to contain at least one large-radius jet from the hadronic decay of a high-pTW boson or a top quark. No significant excess over the expected background is observed and upper limits on the cross-section times branching ratio for different vector-like quark and excited-quark model masses are derived. For the excited-quark production and decay to Wt with unit couplings, quarks with masses below 1500 GeV are excluded and coupling-dependent limits are set

A search for resonances decaying into a Higgs boson and a new particle X in the XH → qqbb final state with the ATLAS detector

A search for heavy resonances decaying into a Higgs boson (H) and a new particle (X) is reported, utilizing 36.1 fb−1 of proton–proton collision data at collected during 2015 and 2016 with the ATLAS detector at the CERN Large Hadron Collider. The particle X is assumed to decay to a pair of light quarks, and the fully hadronic final state is analysed. The search considers the regime of high XH resonance masses, where the X and H bosons are both highly Lorentz-boosted and are each reconstructed using a single jet with large radius parameter. A two-dimensional phase space of XH mass versus X mass is scanned for evidence of a signal, over a range of XH resonance mass values between 1 TeV and 4 TeV, and for X particles with masses from 50 GeV to 1000 GeV. All search results are consistent with the expectations for the background due to Standard Model processes, and 95% CL upper limits are set, as a function of XH and X masses, on the production cross-section of the resonance