A Comparison of Two-Level and Multi-level Modelling for Cloud-Based Applications

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-21151-0_2The Cloud Modelling Framework (CloudMF) is an approach to apply model-driven engineering principles to the specification and execution of cloud-based applications. It comprises a domain-specific language to model the deployment topology of multi-cloud applications, along with a models@run-time environment to facilitate reasoning and adaptation of these applications at run-time. This paper reports on some challenges encountered during the design of CloudMF, related to the adoption of the two-level modelling approach and especially the type-instance pattern. Moreover, it proposes the adoption of an alternative, multi-level modelling approach to tackle these challenges, and provides a set of criteria to compare both approaches.The research leading to these results has received funding from the European Commission’s Seventh Framework Programme (FP7/2007-2013) under grant agreement numbers 317715 (PaaSage), 318392 (Broker@Cloud), and 611125 (MONDO), the Spanish Ministry under project Go Lite (TIN2011-24139), and the Madrid Region under project SICOMORO (S2013/ICE-3006)

A Contracting, Turbulent, Starless Core in the Serpens Cluster

We present combined single-dish and interferometric CS(2--1) and N2H+(1--0) observations of a compact core in the NW region of the Serpens molecular cloud. The core is starless according to observations from optical to millimeter wavelengths and its lines have turbulent widths and ``infall asymmetry''. Line profile modeling indicates supersonic inward motions v_in>0.34 km/s over an extended region L>12000AU. The high infall speed and large extent exceeds the predictions of most thermal ambipolar diffusion models and points to a more dynamical process for core formation. A short (dynamic) timescale, ~1e5 yr=L/v_in, is also suggested by the low N2H+ abundance ~1e-10.Comment: 11 pages including 2 figures. Accepted for publication in the Astrophysical Journal Letter

PT-symmetry from Lindblad dynamics in a linearized optomechanical system

We analyze a lossy linearized optomechanical system in the red-detuned regime under the rotating wave approximation. This so-called optomechanical state transfer protocol provides effective lossy frequency converter (quantum beam-splitter-like) dynamics where the strength of the coupling between the electromagnetic and mechanical modes is controlled by the optical steady-state amplitude. By restricting to a subspace with no losses, we argue that the transition from mode-hybridization in the strong coupling regime to the damped-dynamics in the weak coupling regime, is a signature of the passive parity-time (PT) symmetry breaking transition in the underlying non-Hermitian quantum dimer. We compare the dynamics generated by the quantum open system (Langevin or Lindblad) approach to that of the PT-symmetric Hamiltonian, to characterize the cases where the two are identical. Additionally, we numerically explore the evolution of separable and correlated number states at zero temperature as well as thermal initial state evolution at room temperature. Our results provide a pathway for realizing non-Hermitian Hamiltonians in optomechanical systems at a quantum level

Axial Multicentric Osteosarcoma in an English Cocker Spaniel

No abstract available

Rapid turnover of effector-memory CD4(+) T cells in healthy humans

Memory T cells can be divided into central-memory (T(CM)) and effector-memory (T(EM)) cells, which differ in their functional properties. Although both subpopulations can persist long term, it is not known whether they are maintained by similar mechanisms. We used in vivo labeling with deuterated glucose to measure the turnover of CD4(+) T cells in healthy humans. The CD45R0(+)CCR7(-) T(EM) subpopulation was shown to have a rapid proliferation rate of 4.7% per day compared with 1.5% per day for CD45R0(+)CCR7(+) T(CM) cells; these values are equivalent to average intermitotic (doubling) times of 15 and 48 d, respectively. In contrast, the CD45RA(+)CCR7(+) naive CD4(+) T cell population was found to be much longer lived, being labeled at a rate of only 0.2% per day (corresponding to an intermitotic time of approximately 1 yr). These data indicate that human CD4(+) T(EM) cells constitute a short-lived cell population that requires continuous replenishment in vivo

Ludo: A Case Study for Graph Transformation Tools

In this paper we describe the Ludo case, one of the case studies of the AGTIVE 2007 Tool Contest (see [22]). After summarising the case description, we give an overview of the submitted solutions. In particular, we propose a number of dimensions along which choices had to be made when solving the case, essentially setting up a solution space; we then plot the spectrum of solutions actually encountered into this solution space. In addition, there is a brief description of the special features of each of the submissions, to do justice to those aspects that are not distinguished in the general solution space

An expert system for checking the correctness of memory systems using simulation and metamorphic testing

During the last few years, computer performance has reached a turning point where computing power is no longer the only important concern. This way, the emphasis is shifting from an exclusive focus on the optimisation of the computing system to optimising other systems, like the memory system. Broadly speaking, testing memory systems entails two main challenges: the oracle problem and the reliable test set problem. The former consists in deciding if the outputs of a test suite are correct. The latter refers to providing an appropriate test suite for determining the correctness of the system under test. In this paper we propose an expert system for checking the correctness of memory systems. In order to face these challenges, our proposed system combines two orthogonal techniques – simulation and metamorphic testing – enabling the automatic generation of appropriate test cases and deciding if their outputs are correct. In contrast to conventional expert systems, our system includes a factual database containing the results of previous simulations, and a simulation platform for computing the behaviour of memory systems. The knowledge of the expert is represented in the form of metamorphic relations, which are properties of the analysed system involving multiple inputs and their outputs. Thus, the main contribution of this work is two-fold: a method to automatise the testing process of memory systems, and a novel expert system design focusing on increasing the overall performance of the testing process. To show the applicability of our system, we have performed a thorough evaluation using 500 memory configurations and 4 di erent memory management algorithms, which entailed the execution of more than one million of simulations. The evaluation used mutation testing, injecting faults in the memory management algorithms. The developed expert system was able to detect over 99% of the critical injected faults, hence obtaining very promising results, and outperforming other standard techniques like random testingThis work was supported by the Spanish Ministerio de Economía, Industria y Competitividad, Gobierno de España/FEDER (grant numbers DArDOS, TIN2015-65845-C3-1-R and FAME, RTI2018-093608-B-C31) and the Comunidad de Madrid project FORTE under Grant S2018/TCS-4314. The first author is also supported by the Universidad Complutense de Madrid - Santander Universidades grant (CT17/17-CT18/17

Parallel mutation testing for large scale systems

Mutation testing is a valuable technique for measuring the quality of test suites in terms of detecting faults. However, one of its main drawbacks is its high computational cost. For this purpose, several approaches have been recently proposed to speed-up the mutation testing process by exploiting computational resources in distributed systems. However, bottlenecks have been detected when those techniques are applied in large-scale systems. This work improves the performance of mutation testing using large-scale systems by proposing a new load distribution algorithm, and parallelising different steps of the process. To demonstrate the benefits of our approach, we report on a thorough empirical evaluation, which analyses and compares our proposal with existing solutions executed in large-scale systems. The results show that our proposal outperforms the state-of-the-art distribution algorithms up to 35% in three different scenarios, reaching a reduction of the execution time of—at best—up to 99.66%This work was supported by the Spanish MINECO/FEDER project under Grants PID2021- 122270OB-I00, TED2021-129381B-C21 and PID2019-108528RBC22, the Comunidad de Madrid project FORTE-CM under Grant S2018/TCS-4314, Project S2018/TCS-4339 (BLOQUES-CM) cofunded by EIE Funds of the European Union and Comunidad de Madrid and the Project HPC-EUROPA3 (INFRAIA-2016-1-730897), with the support of the EC Research Innovation Action under the H2020 Programm