A lightweight BPMN extension for business process-oriented requirements engineering

Process-oriented requirements engineering approaches are often required to deal with the effective adaptation of existing processes in order to easily introduce new or updated requirements. Such approaches are based on the adoption of widely used notations, such as the one introduced by the Business Process Model and Notation (BPMN) standard. However, BPMN models do not convey enough information on the involved entities and how they interact with process activities, thus leading to ambiguities, as well as to incomplete and inconsistent requirements definitions. This paper proposes an approach that allows stakeholders and software analysts to easily merge and integrate behavioral and data properties in a BPMN model, so as to fully exploit the potential of BPMN without incurring into the aforementioned limitation. The proposed approach introduces a lightweight BPMN extension that specifically addresses the annotation of data properties in terms of constraints, i.e., pre- and post-conditions that the different process activities must satisfy. The visual representation of the annotated model conveys all the information required both by stakeholders, to understand and validate requirements, and by software analysts and developers, to easily map these updates to the corresponding software implementation. The presented approach is illustrated by use of two running examples, which have also been used to carry out a preliminary validation activity

Process-oriented requirements definition and analysis of software components in critical systems

Requirements management is a key aspect in the development of software components, since complex systems are often subject to frequent updates due to continuously changing requirements. This is especially true in critical systems, i.e., systems whose failure or malfunctioning may lead to severe consequences. This paper proposes a three-step approach that incrementally refines a critical system specification, from a lightweight high-level model targeted to stakeholders, down to a formal standard model that links requirements, processes and data. The resulting model provides the requirements specification used to feed the subsequent development, verification and maintenance activities, and can also be seen as a first step towards the development of a digital twin of the physical system

Asymmetric Organocatalysis Accelerated via Self-Assembled Minimal Structures

Self-assembling minimalistic peptides embedded with an organocatalytic moiety were designed. By controlling the formation of fibrils via external intervention, it was shown that the activation is accelerated when the organocatalyst is in its supramolecular state. The effect of the accelerated catalysis was demonstrated in a Michael benchmark reaction

Continuous measurement of global difference coupling using a phase-locked-loop tune meter in the Relativistic Heavy Ion Collider

We present a new technique to continuously measure and compensate the global difference coupling coefficient through the continuous measurements of eigenmode projection parameters, using a high resolution phase-locked-loop tune meter. First, four eigenmode projection parameters are defined as the observables for weak difference coupling. Then, their analytical expressions are obtained using the strict matrix treatment and the Hamiltonian perturbation theory of linear coupling. From these parameters, the complex global coupling coefficient can be fully determined and compensated. This method was successfully demonstrated in the Relativistic Heavy Ion Collider (RHIC) 2006 run

Fast room temperature very low field-magnetic resonance imaging system compatible with MagnetoEncephaloGraphy environment

In recent years, ultra-low field (ULF)-MRI is being given more and more attention, due to the possibility of integrating ULF-MRI and Magnetoencephalography (MEG) in the same device. Despite the signal-to-noise ratio (SNR) reduction, there are several advantages to operating at ULF, including increased tissue contrast, reduced cost and weight of the scanners, the potential to image patients that are not compatible with clinical scanners, and the opportunity to integrate different imaging modalities. The majority of ULF-MRI systems are based, until now, on magnetic field pulsed techniques for increasing SNR, using SQUID based detectors with Larmor frequencies in the kHz range. Although promising results were recently obtained with such systems, it is an open question whether similar SNR and reduced acquisition time can be achieved with simpler devices. In this work a room-temperature, MEG-compatible very-low field (VLF)-MRI device working in the range of several hundred kHz without sample pre-polarization is presented. This preserves many advantages of ULF-MRI, but for equivalent imaging conditions and SNR we achieve reduced imaging time based on preliminary results using phantoms and ex-vivo rabbits heads

Simultaneous tune and coupling feedback in the Relativistic Heavy Ion Collider, and possible implications for the Large Hadron Collider commissioning

Simultaneous tune and coupling feedback were successfully implemented during RHIC run 6. In this paper we describe the measurement and control hardware and software used to accomplish this, present some of the results, discuss areas that require further investigation, and finally offer a few comments on possible implications of these results for LHC commissioning

Beta* and beta-waist measurement and control at RHIC

During the course of last RHIC runs the beta-functions at the collision points ({beta}*) have been reduced gradually to 0.7m. In order to maximize the collision luminosity and ensure the agreement of the actual machine optics with the design one, more precise measurements and control of {beta}* value and {beta}-waist location became necessary. The paper presents the results of the implementation of the technique applied in last two RHIC runs. The technique is based on well-known relation between the tune shift and the beta function and involves precise betatron tune measurements using BBQ system as well as specially developed knobs for {beta}-waist location control

A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software

Many Control Systems are indeed Software Based Control Systems, i.e. control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for automatic synthesis of control software. Available algorithms and tools (e.g., QKS) may require weeks or even months of computation to synthesize control software for large-size systems. This motivates search for parallel algorithms for control software synthesis. In this paper, we present a Map-Reduce style parallel algorithm for control software synthesis when the controlled system (plant) is modeled as discrete time linear hybrid system. Furthermore we present an MPI-based implementation PQKS of our algorithm. To the best of our knowledge, this is the first parallel approach for control software synthesis. We experimentally show effectiveness of PQKS on two classical control synthesis problems: the inverted pendulum and the multi-input buck DC/DC converter. Experiments show that PQKS efficiency is above 65%. As an example, PQKS requires about 16 hours to complete the synthesis of control software for the pendulum on a cluster with 60 processors, instead of the 25 days needed by the sequential algorithm in QKS.Comment: To be submitted to TACAS 2013. arXiv admin note: substantial text overlap with arXiv:1207.4474, arXiv:1207.409

Acute sodium overload produces renal tubulointerstitial inflammation in normal rats

The aim of the present study was to determine whether acute sodium overload could trigger an inflammatory reaction in the tubulointerstitial (TI) compartment in normal rats. Four groups of Sprague-Dawley rats received increasing NaCl concentrations by intravenous infusion. Control (C): Na + 0.15M; G1: Na+ 0.5M; G2: Na+ 1.0M; and G3: Na+ 1.5M. Creatinine clearance, mean arterial pressure (MAP), renal blood flow (RBF), and sodium fractional excretion were determined. Transforming growth factor β1 (TGF-β1), α-smooth muscle actin (α-SMA), RANTES, transcription factor nuclear factor-kappa B (NF-κB), and angiotensin II (ANG II) were evaluated in kidneys by immunohistochemistry. Animals with NaCl overload showed normal glomerular function without MAP and RBF modifications and exhibited a concentration-dependent natriuretic response. Plasmatic sodium increased in G2 (P G2>C group. These results suggest that an acute sodium overload is able 'per se' to initiate TI endothelial inflammatory reaction (glomerular and peritubular) and incipient fibrosis in normal rats, independently of hemodynamic modifications. Furthermore, these findings are consistent with the possibility that activation of NF-κB and local ANG II may be involved in the pathway of this inflammatory process.Fil: Roson, Maria Ines. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Cavallero, Carmen Susana. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Della Penna, Silvana. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica; ArgentinaFil: Cao, Gabriel Fernando. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Hospital Alemán; ArgentinaFil: Gorzalczany, Susana Beatriz. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica; ArgentinaFil: Pandolfo, Marcela. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica; ArgentinaFil: Kuprewicz, A.. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica; ArgentinaFil: Canessa, O.. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica; ArgentinaFil: Toblli, Jorge Eduardo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Hospital Alemán; ArgentinaFil: Fernandez, Belisario Enrique. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica; Argentin