Viewpoint consistency in Z and LOTOS: A case study

Specification by viewpoints is advocated as a suitable method of specifying complex systems. Each viewpoint describes the envisaged system from a particular perspective, using concepts and specification languages best suited for that perspective. Inherent in any viewpoint approach is the need to check or manage the consistency of viewpoints and to show that the different viewpoints do not impose contradictory requirements. In previous work we have described a range of techniques for consistency checking, refinement, and translation between viewpoint specifications, in particular for the languages LOTOS and Z. These two languages are advocated in a particular viewpoint model, viz. that of the Open Distributed Processing (ODP) reference model. In this paper we present a case study which demonstrates how all these techniques can be combined in order to show consistency between a viewpoint specified in LOTOS and one specified in Z. Keywords: Viewpoints; Consistency; Z; LOTOS; ODP

No Humanitarian Intervention in Asian Genocides: How Possible and Legitimate?

This paper addresses an important empirical puzzle: why has the United States, without exception, chosen not to intervene in the six humanitarian catastrophes in post-war Asia, namely in Indonesia, East Pakistan/Bangladesh, Cambodia, East Timor, Sri Lanka and Myanmar? We use an eclectic approach that blends arguments about the international normative structure and geostrategic interests to examine what has made the absence of humanitarian intervention in Asia by the US possible and legitimate. Specifically, we focus on the paradox between calls for humanitarian intervention and the historically and geographically contingent social construction of the norms of humanity, national sovereignty and UN-backed multilateralism in conjunction with US and Chinese concerns over their regional geostrategic interests. The normative narratives about race, ‘communists’, ‘terrorists’, international order and inclusive multilateral process, and geostrategic interests of the US and China combine to make non-intervention possible and legitimate

Measurement of the Bs0→J/ψηB_{s}^{0} \rightarrow J/\psi \eta lifetime

Using a data set corresponding to an integrated luminosity of $3 fb^{-1}$, collected by the LHCb experiment in $pp$ collisions at centre-of-mass energies of 7 and 8 TeV, the effective lifetime in the $B^0_s \rightarrow J/\psi \eta$ decay mode, $\tau_{\textrm{eff}}$, is measured to be $\tau_{\textrm{eff}} = 1.479 \pm 0.034~\textrm{(stat)} \pm 0.011 ~\textrm{(syst)}$ ps. Assuming $CP$ conservation, $\tau_{\textrm{eff}}$ corresponds to the lifetime of the light $B_s^0$ mass eigenstate. This is the first measurement of the effective lifetime in this decay mode.Comment: All figures and tables, along with any supplementary material and additional information, are available at https://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2016-017.htm

Measurement of the mass and lifetime of the Ωb−\Omega_b^- baryon

A proton-proton collision data sample, corresponding to an integrated luminosity of 3 fb$^{-1}$ collected by LHCb at $\sqrt{s}=7$ and 8 TeV, is used to reconstruct $63\pm9$ $\Omega_b^-\to\Omega_c^0\pi^-$, $\Omega_c^0\to pK^-K^-\pi^+$ decays. Using the $\Xi_b^-\to\Xi_c^0\pi^-$, $\Xi_c^0\to pK^-K^-\pi^+$ decay mode for calibration, the lifetime ratio and absolute lifetime of the $\Omega_b^-$ baryon are measured to be \begin{align*} \frac{\tau_{\Omega_b^-}}{\tau_{\Xi_b^-}} &= 1.11\pm0.16\pm0.03, \\ \tau_{\Omega_b^-} &= 1.78\pm0.26\pm0.05\pm0.06~{\rm ps}, \end{align*} where the uncertainties are statistical, systematic and from the calibration mode (for $\tau_{\Omega_b^-}$ only). A measurement is also made of the mass difference, $m_{\Omega_b^-}-m_{\Xi_b^-}$, and the corresponding $\Omega_b^-$ mass, which yields \begin{align*} m_{\Omega_b^-}-m_{\Xi_b^-} &= 247.4\pm3.2\pm0.5~{\rm MeV}/c^2, \\ m_{\Omega_b^-} &= 6045.1\pm3.2\pm 0.5\pm0.6~{\rm MeV}/c^2. \end{align*} These results are consistent with previous measurements.Comment: 11 pages, 5 figures, All figures and tables, along with any supplementary material and additional information, are available at https://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2016-008.htm

Study of WW boson production in association with beauty and charm

The associated production of a $W$ boson with a jet originating from either a light parton or heavy-flavor quark is studied in the forward region using proton-proton collisions. The analysis uses data corresponding to integrated luminosities of 1.0 and $2.0\,{\rm fb}^{-1}$ collected with the LHCb detector at center-of-mass energies of 7 and 8 TeV, respectively. The $W$ bosons are reconstructed using the $W\to\mu\nu$ decay and muons with a transverse momentum, $p_{\rm T}$, larger than 20 GeV in the pseudorapidity range $2.0 20$ GeV and $2.2 < \eta < 4.2$. The sum of the muon and jet momenta must satisfy $p_{\rm T} > 20$ GeV. The fraction of $W+$jet events that originate from beauty and charm quarks is measured, along with the charge asymmetries of the $W\!+\!b$ and $W\!+\!c$ production cross-sections. The ratio of the $W+$jet to $Z+$jet production cross-sections is also measured using the $Z\to\mu\mu$ decay. All results are in agreement with Standard Model predictions

Observation of J/ψpJ/\psi p resonances consistent with pentaquark states in Λb0→J/ψK−p{\Lambda_b^0\to J/\psi K^-p} decays

Observations of exotic structures in the $J/\psi p$ channel, that we refer to as pentaquark-charmonium states, in $\Lambda_b^0\to J/\psi K^- p$ decays are presented. The data sample corresponds to an integrated luminosity of 3/fb acquired with the LHCb detector from 7 and 8 TeV pp collisions. An amplitude analysis is performed on the three-body final-state that reproduces the two-body mass and angular distributions. To obtain a satisfactory fit of the structures seen in the $J/\psi p$ mass spectrum, it is necessary to include two Breit-Wigner amplitudes that each describe a resonant state. The significance of each of these resonances is more than 9 standard deviations. One has a mass of $4380\pm 8\pm 29$ MeV and a width of $205\pm 18\pm 86$ MeV, while the second is narrower, with a mass of $4449.8\pm 1.7\pm 2.5$ MeV and a width of $39\pm 5\pm 19$ MeV. The preferred $J^P$ assignments are of opposite parity, with one state having spin 3/2 and the other 5/2.Comment: 48 pages, 18 figures including the supplementary material, v2 after referee's comments, now 19 figure

Constraints on the unitarity triangle angle γ\gamma from Dalitz plot analysis of B0→DK+π−B^0 \to D K^+ \pi^- decays

The first study is presented of CP violation with an amplitude analysis of the Dalitz plot of $B^0 \to D K^+ \pi^-$ decays, with $D \to K^+ \pi^-$, $K^+ K^-$ and $\pi^+ \pi^-$. The analysis is based on a data sample corresponding to $3.0\,{\rm fb}^{-1}$ of $pp$ collisions collected with the LHCb detector. No significant CP violation effect is seen, and constraints are placed on the angle $\gamma$ of the unitarity triangle formed from elements of the Cabibbo-Kobayashi-Maskawa quark mixing matrix. Hadronic parameters associated with the $B^0 \to D K^*(892)^0$ decay are determined for the first time. These measurements can be used to improve the sensitivity to $\gamma$ of existing and future studies of the $B^0 \to D K^*(892)^0$ decay.Comment: All figures and tables, along with any supplementary material and additional information, are available at https://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2015-059.html; updated to correct figure 9 (numerical results unchanged

Search for the rare decays B0→J/ψγB^{0}\to J/\psi \gamma and Bs0→J/ψγB^{0}_{s} \to J/\psi \gamma

A search for the rare decay of a $B^{0}$ or $B^{0}_{s}$ meson into the final state $J/\psi\gamma$ is performed, using data collected by the LHCb experiment in $pp$ collisions at $\sqrt{s}=7$ and $8$ TeV, corresponding to an integrated luminosity of 3 fb$^{-1}$. The observed number of signal candidates is consistent with a background-only hypothesis. Branching fraction values larger than $1.7\times 10^{-6}$ for the $B^{0}\to J/\psi\gamma$ decay mode are excluded at 90% confidence level. For the $B^{0}_{s}\to J/\psi\gamma$ decay mode, branching fraction values larger than $7.4\times 10^{-6}$ are excluded at 90% confidence level, this is the first branching fraction limit for this decay.Comment: All figures and tables, along with any supplementary material and additional information, are available at https://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2015-044.htm

Search for hidden-sector bosons in B0 ⁣→K∗0μ+μ−B^0 \!\to K^{*0}\mu^+\mu^- decays

A search is presented for hidden-sector bosons, $\chi$, produced in the decay ${B^0\!\to K^*(892)^0\chi}$, with $K^*(892)^0\!\to K^{+}\pi^{-}$ and $\chi\!\to\mu^+\mu^-$. The search is performed using $pp$-collision data corresponding to 3.0 fb$^{-1}$ collected with the LHCb detector. No significant signal is observed in the accessible mass range $214 \leq m({\chi}) \leq 4350$ MeV, and upper limits are placed on the branching fraction product $\mathcal{B}(B^0\!\to K^*(892)^0\chi)\times\mathcal{B}(\chi\!\to\mu^+\mu^-)$ as a function of the mass and lifetime of the $\chi$ boson. These limits are of the order of $10^{-9}$ for $\chi$ lifetimes less than 100 ps over most of the $m(\chi)$ range, and place the most stringent constraints to date on many theories that predict the existence of additional low-mass bosons.Comment: All figures and tables, along with supplementary material, are available at https://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2015-036.htm