Domain Specific Languages for Managing Feature Models: Advances and Challenges

International audienceManaging multiple and complex feature models is a tedious and error-prone activity in software product line engineering. Despite many advances in formal methods and analysis techniques, the supporting tools and APIs are not easily usable together, nor unified. In this paper, we report on the development and evolution of the Familiar Domain-Specific Language (DSL). Its toolset is dedicated to the large scale management of feature models through a good support for separating concerns, composing feature models and scripting manipulations. We overview various applications of Familiar and discuss both advantages and identified drawbacks. We then devise salient challenges to improve such DSL support in the near future

A generalization of Snoek's law to ferromagnetic films and composites

The present paper establishes characteristics of the relative magnetic permeability spectrum $\mu$(f) of magnetic materials at microwave frequencies. The integral of the imaginary part of $\mu$(f) multiplied with the frequency f gives remarkable properties. A generalisation of Snoek's law consists in this quantity being bounded by the square of the saturation magnetization multiplied with a constant. While previous results have been obtained in the case of non-conductive materials, this work is a generalization to ferromagnetic materials and ferromagnetic-based composites with significant skin effect. The influence of truncating the summation to finite upper frequencies is investigated, and estimates associated to the finite summation are provided. It is established that, in practice, the integral does not depend on the damping model under consideration. Numerical experiments are performed in the exactly solvable case of ferromagnetic thin films with uniform magnetization, and these numerical experiments are found to confirm our theoretical results. Microwave permeability measurements on soft amorphous films are reported. The relation between the integral and the saturation magnetization is verified experimentally, and some practical applications of the theoretical results are introduced. The integral can be used to determine the average magnetization orientation in materials with complex configurations of the magnetization, and furthermore to demonstrate the accuracy of microwave measurement systems. For certain applications, such as electromagnetic compatibility or radar absorbing materials, the relations established herein provide useful indications for the design of efficient materials, and simple figures of merit to compare the properties measured on various materials

The Effect of Interface Texture on Exchange Biasing in Ni80Fe20/Ir20Mn80System

Exchange-biasing phenomenon can induce an evident unidirectional hysteresis loop shift by spin coupling effect in the ferromagnetic (FM)/antiferromagnetic (AFM) interface which can be applied in magnetoresistance random access memory (MRAM) and recording-head applications. However, magnetic properties are the most important to AFM texturing. In this work, top-configuration exchange-biasing NiFe/IrMn(x Å) systems have been investigated with three different conditions. From the high-resolution cross-sectional transmission electron microscopy (HR X-TEM) and X-ray diffraction results, we conclude that the IrMn (111) texture plays an important role in exchange-biasing field (Hex) and interfacial exchange energy (Jk).HexandJktend to saturate when the IrMn thickness increases. Moreover, the coercivity (Hc) dependence on IrMn thickness is explained based on the coupling or decoupling effect between the spins of the NiFe and IrMn layers near the NiFe/IrMn interface. In this work, the optimal values forHexandJkare 115 Oe and 0.062 erg/cm2, respectively

Nematic liquid crystal alignment on chemical patterns

Patterned Self-Assembled Monolayers (SAMs) promoting both homeotropic and planar degenerate alignment of 6CB and 9CB in their nematic phase, were created using microcontact printing of functionalised organothiols on gold films. The effects of a range of different pattern geometries and sizes were investigated, including stripes, circles and checkerboards. EvanescentWave Ellipsometry was used to study the orientation of the liquid crystal (LC) on these patterned surfaces during the isotropic-nematic phase transition. Pretransitional growth of a homeotropic layer was observed on 1 ¹m homeotropic aligning stripes, followed by a homeotropic mono-domain state prior to the bulk phase transition. Accompanying Monte-Carlo simulations of LCs aligned on nano-patterned surfaces were also performed. These simulations also showed the presence of the homeotropic mono-domain state prior to the transition.</p

Photodynamic Antimicrobial Chemotherapy in Aquaculture: Photoinactivation Studies of Vibrio fischeri

BACKGROUND: Photodynamic antimicrobial chemotherapy (PACT) combines light, a light-absorbing molecule that initiates a photochemical or photophysical reaction, and oxygen. The combined action of these three components originates reactive oxygen species that lead to microorganisms' destruction. The aim was to evaluate the efficiency of PACT on Vibrio fischeri: 1) with buffer solution, varying temperature, pH, salinity and oxygen concentration values; 2) with aquaculture water, to reproduce photoinactivation (PI) conditions in situ. METHODOLOGY/PRINCIPAL FINDINGS: To monitor the PI kinetics, the bioluminescence of V. fischeri was measured during the experiments. A tricationic meso-substituted porphyrin (Tri-Py(+)-Me-PF) was used as photosensitizer (5 µM in the studies with buffer solution and 10-50 µM in the studies with aquaculture water); artificial white light (4 mW cm(-2)) and solar irradiation (40 mW cm(-2)) were used as light sources; and the bacterial concentration used for all experiments was ≈10(7) CFU mL(-1) (corresponding to a bioluminescence level of 10(5) relative light units--RLU). The variations in pH (6.5-8.5), temperature (10-25°C), salinity (20-40 g L(-1)) and oxygen concentration did not significantly affect the PI of V. fischeri, once in all tested conditions the bioluminescent signal decreased to the detection limit of the method (≈7 log reduction). The assays using aquaculture water showed that the efficiency of the process is affected by the suspended matter. Total PI of V. fischeri in aquaculture water was achieved under solar light in the presence of 20 µM of Tri-Py(+)-Me-PF. CONCLUSIONS/SIGNIFICANCE: If PACT is to be used in environmental applications, the matrix containing target microbial communities should be previously characterized in order to establish an efficient protocol having into account the photosensitizer concentration, the light source and the total light dose delivered. The possibility of using solar light in PACT to treat aquaculture water makes this technology cost-effective and attractive

Factors associated with spontaneous stone passage in a contemporary cohort of patients presenting with acute ureteric colic. Results from the MIMIC Study (A Multi-centre cohort study evaluating the role of Inflammatory Markers in patients presenting with acute ureteric Colic)

Objectives There is conflicting data on the role of white blood cell count (WBC) and other inflammatory markers in spontaneous stone passage in patients with acute ureteric colic. The aim of the study was to assess the relationship of WBC and other routinely collected inflammatory and clinical markers including stone size, stone position and Medically Expulsive Therapy use (MET) with spontaneous stone passage (SSP) in a large contemporary cohort of patients with acute ureteric colic. Subjects and Methods Multi‐centre retrospective cohort study coordinated by the British Urology Researchers in Surgical Training (BURST) Research Collaborative at 71 secondary care hospitals across 4 countries (United Kingdom, Republic of Ireland, Australia and New Zealand). 4170 patients presented with acute ureteric colic and a computer tomography confirmed single ureteric stone. Our primary outcome measure was SSP as defined by the absence of need for intervention to assist stone passage. Multivariable mixed effects logistic regression was used to explore the relationship between key patient factors and SSP. Results 2518 patients were discharged with conservative management and had further follow up with a SSP rate of 74% (n = 1874/2518). Sepsis after discharge with conservative management was reported in 0.6% (n = 16/2518). On multivariable analysis neither WBC, Neutrophils or CRP were seen to predict SSP, with an adjusted OR of 0.97 [95% CI 0.91 to 1.04, p = 0.38], 1.06 [95% CI 0.99 to 1.13, p = 0.1] and 1.00 [95% CI 0.99 to 1.00, p = 0.17], respectively. Medical expulsive therapy (MET) also did not predict SSP [adjusted OR 1.11 [95% CI 0.76 to 1.61]). However, stone size and stone position were significant predictors. SSP for stones 7mm. For stones in the upper ureter the SSP rate was 52% [95% CI 48 to 56], middle ureter was 70% [95% CI 64 to 76], and lower ureter was 83% [95% CI 81 to 85]. Conclusion In contrast to the previously published literature, we found that in patients with acute ureteric colic who are discharged with initial conservative management, neither WBC, Neutrophil count or CRP help determine the likelihood of spontaneous stone passage. We also found no overall benefit from the use of MET. Stone size and position are important predictors and our findings represent the most comprehensive stone passage rates for each mm increase in stone size from a large contemporary cohort adjusting for key potential confounders. We anticipate that these data will aid clinicians managing patients with acute ureteric colic and help guide management decisions and the need for intervention

Elective Cancer Surgery in COVID-19-Free Surgical Pathways During the SARS-CoV-2 Pandemic: An International, Multicenter, Comparative Cohort Study.

PURPOSE: As cancer surgery restarts after the first COVID-19 wave, health care providers urgently require data to determine where elective surgery is best performed. This study aimed to determine whether COVID-19-free surgical pathways were associated with lower postoperative pulmonary complication rates compared with hospitals with no defined pathway. PATIENTS AND METHODS: This international, multicenter cohort study included patients who underwent elective surgery for 10 solid cancer types without preoperative suspicion of SARS-CoV-2. Participating hospitals included patients from local emergence of SARS-CoV-2 until April 19, 2020. At the time of surgery, hospitals were defined as having a COVID-19-free surgical pathway (complete segregation of the operating theater, critical care, and inpatient ward areas) or no defined pathway (incomplete or no segregation, areas shared with patients with COVID-19). The primary outcome was 30-day postoperative pulmonary complications (pneumonia, acute respiratory distress syndrome, unexpected ventilation). RESULTS: Of 9,171 patients from 447 hospitals in 55 countries, 2,481 were operated on in COVID-19-free surgical pathways. Patients who underwent surgery within COVID-19-free surgical pathways were younger with fewer comorbidities than those in hospitals with no defined pathway but with similar proportions of major surgery. After adjustment, pulmonary complication rates were lower with COVID-19-free surgical pathways (2.2% v 4.9%; adjusted odds ratio [aOR], 0.62; 95% CI, 0.44 to 0.86). This was consistent in sensitivity analyses for low-risk patients (American Society of Anesthesiologists grade 1/2), propensity score-matched models, and patients with negative SARS-CoV-2 preoperative tests. The postoperative SARS-CoV-2 infection rate was also lower in COVID-19-free surgical pathways (2.1% v 3.6%; aOR, 0.53; 95% CI, 0.36 to 0.76). CONCLUSION: Within available resources, dedicated COVID-19-free surgical pathways should be established to provide safe elective cancer surgery during current and before future SARS-CoV-2 outbreaks

Elective cancer surgery in COVID-19-free surgical pathways during the SARS-CoV-2 pandemic: An international, multicenter, comparative cohort study

PURPOSE As cancer surgery restarts after the first COVID-19 wave, health care providers urgently require data to determine where elective surgery is best performed. This study aimed to determine whether COVID-19–free surgical pathways were associated with lower postoperative pulmonary complication rates compared with hospitals with no defined pathway. PATIENTS AND METHODS This international, multicenter cohort study included patients who underwent elective surgery for 10 solid cancer types without preoperative suspicion of SARS-CoV-2. Participating hospitals included patients from local emergence of SARS-CoV-2 until April 19, 2020. At the time of surgery, hospitals were defined as having a COVID-19–free surgical pathway (complete segregation of the operating theater, critical care, and inpatient ward areas) or no defined pathway (incomplete or no segregation, areas shared with patients with COVID-19). The primary outcome was 30-day postoperative pulmonary complications (pneumonia, acute respiratory distress syndrome, unexpected ventilation). RESULTS Of 9,171 patients from 447 hospitals in 55 countries, 2,481 were operated on in COVID-19–free surgical pathways. Patients who underwent surgery within COVID-19–free surgical pathways were younger with fewer comorbidities than those in hospitals with no defined pathway but with similar proportions of major surgery. After adjustment, pulmonary complication rates were lower with COVID-19–free surgical pathways (2.2% v 4.9%; adjusted odds ratio [aOR], 0.62; 95% CI, 0.44 to 0.86). This was consistent in sensitivity analyses for low-risk patients (American Society of Anesthesiologists grade 1/2), propensity score–matched models, and patients with negative SARS-CoV-2 preoperative tests. The postoperative SARS-CoV-2 infection rate was also lower in COVID-19–free surgical pathways (2.1% v 3.6%; aOR, 0.53; 95% CI, 0.36 to 0.76). CONCLUSION Within available resources, dedicated COVID-19–free surgical pathways should be established to provide safe elective cancer surgery during current and before future SARS-CoV-2 outbreaks

Outcomes from elective colorectal cancer surgery during the SARS-CoV-2 pandemic

This study aimed to describe the change in surgical practice and the impact of SARS-CoV-2 on mortality after surgical resection of colorectal cancer during the initial phases of the SARS-CoV-2 pandemic