Static Analysis of Aspect Interaction and Composition in Component Models

International audienceComponent based software engineering and aspect orientation are claimed to be two complementary approaches. While the former ensures the modularity and the reusability of software entities, the latter enables the modularity of crosscutting concerns that cannot be modularized by regular components. Nowadays, several approaches and frameworks are dedicated to integrate aspects into component models. However, when several aspects are woven, interferences may appear which results on undesirable behaviors. The contribution of this paper is twofold. First, we show how aspectualized component models can be formally modeled in Uppaal model checker in order to detect potential interferences among aspects. Second, we provide an extendible catalog of composition operators used for aspect composition. We illustrate our general approach with an airport Internet service example

Preparation and Instability of Nanocrystalline Cuprous Nitride

Low-dimensional cuprous nitride (Cu3N) was synthesized by nitridation (ammonolysis) of cuprous oxide (Cu2O) nanocrystals using either ammonia (NH3) or urea (H2NCONH2) as the nitrogen source. The resulting nanocrystalline Cu3N spontaneously decomposes to nanocrystalline CuO in the presence of both water and oxygen from air at room temperature. Ammonia was produced in 60% chemical yield during Cu3N decomposition, as measured using the colorimetric indophenol method. Because Cu3N decomposition requires H2O and produces substoichiometric amounts of NH3\u3e, we conclude that this reaction proceeds through a complex stoichiometry that involves the concomitant release of both N2 and NH3. This is a thermodynamically unfavorable outcome, strongly indicating that H2O (and thus NH3 production) facilitate the kinetics of the reaction by lowering the energy barrier for Cu3N decomposition. The three different Cu2O, Cu3N, and CuO nanocrystalline phases were characterized by a combination of optical absorption, powder X-ray diffraction, transmission electron microscopy, and electronic density of states obtained from electronic structure calculations on the bulk solids. The relative ease of interconversion between these interesting and inexpensive materials bears possible implications for catalytic and optoelectronic applications

Model exploration and analysis for quantitative safety refinement in probabilistic B

The role played by counterexamples in standard system analysis is well known; but less common is a notion of counterexample in probabilistic systems refinement. In this paper we extend previous work using counterexamples to inductive invariant properties of probabilistic systems, demonstrating how they can be used to extend the technique of bounded model checking-style analysis for the refinement of quantitative safety specifications in the probabilistic B language. In particular, we show how the method can be adapted to cope with refinements incorporating probabilistic loops. Finally, we demonstrate the technique on pB models summarising a one-step refinement of a randomised algorithm for finding the minimum cut of undirected graphs, and that for the dependability analysis of a controller design.Comment: In Proceedings Refine 2011, arXiv:1106.348

Metabolic Effects of n-3 PUFA as Phospholipids Are Superior to Triglycerides in Mice Fed a High-Fat Diet: Possible Role of Endocannabinoids

Background n-3 polyunsaturated fatty acids, namely docosahexaenoic acid (DHA) and eicosapentaenoic acid (EPA), reduce the risk of cardiovascular disease and can ameliorate many of obesity-associated disorders. We hypothesised that the latter effect will be more pronounced when DHA/EPA is supplemented as phospholipids rather than as triglycerides. Methodology/Principal Findings In a ‘prevention study’, C57BL/6J mice were fed for 9 weeks on either a corn oil-based high-fat obesogenic diet (cHF; lipids ~35% wt/wt), or cHF-based diets in which corn oil was partially replaced by DHA/EPA, admixed either as phospholipids or triglycerides from marine fish. The reversal of obesity was studied in mice subjected to the preceding cHF-feeding for 4 months. DHA/EPA administered as phospholipids prevented glucose intolerance and tended to reduce obesity better than triglycerides. Lipemia and hepatosteatosis were suppressed more in response to dietary phospholipids, in correlation with better bioavailability of DHA and EPA, and a higher DHA accumulation in the liver, white adipose tissue (WAT), and muscle phospholipids. In dietary obese mice, both DHA/EPA concentrates prevented a further weight gain, reduced plasma lipid levels to a similar extent, and tended to improve glucose tolerance. Importantly, only the phospholipid form reduced plasma insulin and adipocyte hypertrophy, while being more effective in reducing hepatic steatosis and low-grade inflammation of WAT. These beneficial effects were correlated with changes of endocannabinoid metabolome in WAT, where phospholipids reduced 2-arachidonoylglycerol, and were more effective in increasing anti-inflammatory lipids such as N-docosahexaenoylethanolamine. Conclusions/Significance Compared with triglycerides, dietary DHA/EPA administered as phospholipids are superior in preserving a healthy metabolic profile under obesogenic conditions, possibly reflecting better bioavalability and improved modulation of the endocannabinoid system activity in WA

Chronic Activation of γ2 AMPK Induces Obesity and Reduces β Cell Function.

Despite significant advances in our understanding of the biology determining systemic energy homeostasis, the treatment of obesity remains a medical challenge. Activation of AMP-activated protein kinase (AMPK) has been proposed as an attractive strategy for the treatment of obesity and its complications. AMPK is a conserved, ubiquitously expressed, heterotrimeric serine/threonine kinase whose short-term activation has multiple beneficial metabolic effects. Whether these translate into long-term benefits for obesity and its complications is unknown. Here, we observe that mice with chronic AMPK activation, resulting from mutation of the AMPK γ2 subunit, exhibit ghrelin signaling-dependent hyperphagia, obesity, and impaired pancreatic islet insulin secretion. Humans bearing the homologous mutation manifest a congruent phenotype. Our studies highlight that long-term AMPK activation throughout all tissues can have adverse metabolic consequences, with implications for pharmacological strategies seeking to chronically activate AMPK systemically to treat metabolic disease

Anisotropic nanomaterials: structure, growth, assembly, and functions

Comprehensive knowledge over the shape of nanomaterials is a critical factor in designing devices with desired functions. Due to this reason, systematic efforts have been made to synthesize materials of diverse shape in the nanoscale regime. Anisotropic nanomaterials are a class of materials in which their properties are direction-dependent and more than one structural parameter is needed to describe them. Their unique and fine-tuned physical and chemical properties make them ideal candidates for devising new applications. In addition, the assembly of ordered one-dimensional (1D), two-dimensional (2D), and three-dimensional (3D) arrays of anisotropic nanoparticles brings novel properties into the resulting system, which would be entirely different from the properties of individual nanoparticles. This review presents an overview of current research in the area of anisotropic nanomaterials in general and noble metal nanoparticles in particular. We begin with an introduction to the advancements in this area followed by general aspects of the growth of anisotropic nanoparticles. Then we describe several important synthetic protocols for making anisotropic nanomaterials, followed by a summary of their assemblies, and conclude with major applications

Thermodynamic Aspects of Supercritical Fluids Processing: Applications of Polymers and Wastes Treatment

Supercritical fluid processes are of increasing interest for many fields : in supercritical fluid separation (petroleum-chemistry separation and purification, food industry) and supercritical fluid chromatography (analytical and preparative separation, determination of physicochemical properties); as reaction media with continuously adjustable properties from gas to liquid (low-density polyethylene, waste destruction, polymer recycling); in geology and mineralogy (volcanoes, geothermal energy, hydrothermal synthesis); in particle, fibber and substrate formations (pharmaceuticals, explosives, coatings); in drying materials (gels). This paper presents the unusual physicochemical properties of supercritical fluids in relation to their engineering applications. After a short report of fundamental concepts of critical behavior in pure fluids, we develop in more details the tunable physicochemical properties of fluid in the supercritical domain. The second part of this paper describes the engineering applications of supercritical fluids relevant of chemical reactions and polymer processing. Each application presentation is divided in two parts : the first one recalls the basic concepts including general background, physicochemical properties and the second one develops the engineering applications relevant of the advocated domain