FORMAL SPECIFICATIONS AND COMMAND MODELING IN SOFTWARE SYSTEMS WITH A COMPLEX COMMAND STRUCTURE

Commands are an important part of large scale industrial software specifications, especially where the specification is separated from its implementation as in open software standards. Commands can be complex because of large numbers of parameters, dependencies among parameters, subtle side effects, and lack of abstraction. We present a formal approach for command modeling and apply it to IBM\u27s Distributed Data Management Architecture (DDM), a complex, large scale specification of data access on remote and heterogeneous IBM systems. Our approach consists of three parts: a declarative, executable command specification language, an incremental specification technique, and automated reasoning tools. The command specification language provides a formal interpretation of the structural (input-output) and behavioral properties (state constraints/change) of commands. To manage the details of complex commands with numerous inter-dependent arguments, a novel incremental specification technique and several tools for incremental definition and browsing are presented. Two forms of automated reasoning are also demonstrated: type checking to ensure well-typed expressions and target system tracing to simulate command execution. Lessons learned from our experience with the DDM are also discussed

Association between serum Mg2+ concentrations and cardiovascular organ damage in a cohort of adult subjects

Magnesium (Mg2+) levels are associated with insulin resistance, hypertension, atherosclerosis, and type 2 diabetes (T2DM). We evaluated the clinical utility of physiological Mg2+ in assessing subclinical cardiovascular organ damage including increased carotid artery intima-media thickness (c-IMT) and left ventricular mass index (LVMI) in a cohort of well-characterized adult non-diabetic individuals. Age-and gender-adjusted correlations between Mg2+ and metabolic parameters showed that Mg2+ circulating levels were correlated negatively with body mass index (BMI), fasting glucose, and 2h-oral glucose tolerance test (OGTT) glucose. Similarly, Mg2+ levels were significantly and negatively related to c-IMT and LVMI. A multivariate regression analysis revealed that age (β = 0.440; p < 0.0001), BMI (β = 0.225; p < 0.0001), and Mg2+ concentration (β = −0.122; p < 0.01) were independently associated with c-IMT. Age (β = 0.244; p = 0.012), Mg2+ (β = −0.177; p = 0.019), and diastolic blood pressure (β = 0.184; p = 0.038) were significantly associated with LVMI in women, while age (β = 0.211; p = 0.019), Mg2+ (β = −0.171; p = 0.038) and the homeostasis model assessment index of insulin resistance (HOMA-IR) (β = −0.211; p = 0.041) were the sole variables associated with LVMI in men. In conclusion, our data support the hypothesis that the assessment of Mg2+ as part of the initial work-up might help unravel the presence of subclinical organ damage in subjects at increased risk of cardiovascular complications

Physicochemical, Nutraceutical and Sensory Traits of Six Papaya (Carica papaya L.) Cultivars Grown in Greenhouse Conditions in the Mediterranean Climate

Six papaya (Carica papaya L.) cultivars, grown in a Mediterranean climate under greenhouse conditions, were screened for physicochemical properties, antioxidant capacity, nutritional and sensory characteristics. The fruits, harvested with more than 50% of yellow surface (between 60% and 77%) were tested for carotenoids content, phenolic content, reducing activity (ABTS) and cellular antioxidant activity (CAA50). The physicochemical traits were measured in terms of the titratable acidity and soluble content whereas proximal composition along with moisture, fats, total sugar, ash, vitamin A, C and E content. Moreover, the sensory profile was analyzed by a semi-trained panel. Although the six analyzed cultivars reached qualitative characteristics to satisfy market needs, significant differences among them were found in a genotype-dependent manner. In particular, Cartagena and Maradol cultivars evidenced the highest values of minerals and vitamins, carotenoids, polyphenols, ABTS and CAA50 and reached the best commercial requisites (size, total soluble solids content/titratable acidity ratio). As for sensory analysis, we observed significate differences only for sweetness, juiciness, odor and flavor of peach and exotic fruits whereas descriptors related to unpleasant defects or sensations always have very low scores in all the observed cultivars. These results highlight the possibility of obtaining quality papaya fruits in a Mediterranean climate using greenhouse growing

Pomological, sensorial, nutritional and nutraceutical profile of seven cultivars of Cherimoya (Annona cherimola Mill)

In this work, the food quality of four international (Campas, Chaffey, Fino de Jete and White) and three local (Daniela, Torre1 and Torre2) cultivars of Cherimoya (Annona cherimola Mill) was investigated. With this aim, pomological traits, sensorial attributes, physiochemical parameters (pH, total soluble content and total acidity), nutritional composition (macro- and micro-nutrients) and nutraceutical values (bioactive compounds, radical scavenging and antioxidant properties) were evaluated. Among the seven observed cultivars, Fino de Jete was identified as the best, not only for its commercial attributes such as pomological traits and physiochemical values, but also for its nutritional composition. On the other hand, Chaffey and Daniela were the cultivars with the highest content of polyphenols, proanthocyanidins, and with the strongest antioxidant capacity. Concerning the two local ecotypes, Torre1 and Torre2, they displayed a balanced nutritional profile that, if combined with their discrete nutraceutical, physicochemical and pomological values, may result in a reassessment of their commercial impact. In conclusion, our data provide interesting information about the pomological, nutritional, and nutraceutical properties of cherimoya fruits. Our results, in addition to promoting the commercial impact of local cultivars, may increase the use of individual cultivars in breeding programs

A biostimulant based on seaweed (Ascophyllum Nodosum and Laminaria digitata) and yeast extracts mitigateswater stress effects on tomato (Solanum lycopersicum l.)

Water deficit is one of the most problematic stressors worldwide. In this context, the use of biostimulants represents an increasingly ecological practice aimed to improve crop tolerance and mitigate the negative effects on the productivity. Here, the effect derived from the foliar application of ERANTHIS®®, a biostimulant based on seaweed (Ascophyllum nodosum and Laminaria digitata) and yeast extracts, was tested on tomato plants grown under mild water-stress conditions. The potential stress mitigation action was evaluated by monitoring morphometric (fresh weight and dry matter content), physiological (stem water potential) and biochemical (ROS scavenger enzymes activity, proline, abscisic acid, hydrogen peroxide and photosynthetic pigment content) parameters closely related to the occurrence and response to stress at both flowering and fruit-set timing. In general, we observed that plants grown under drought conditions and treated with the biostimulant had a lower amount of ABA, and MDA and proline correlated to a lower activity of ROS scavenger enzymes compared to untreated plants. These data, together with the higher stem water potential and photosynthetic pigment levels recorded for the treated plants, suggest that ERANTHIS®® may mitigate water stress effects on tomato

Food quality and nutraceutical value of nine cultivars of mango (Mangifera indica L.) fruits grown in Mediterranean subtropical environment

Mango (Mangifera indica L.) quality is strongly influenced by genotype but individuating the most appropriate harvesting time is essential to obtain high quality fruits. In this trial we studied the influences of the ripening stage at harvest (mature-ripe or green-ripe) on quality of ready to eat mango fruits from nine cultivars (Carrie, Keitt, Glenn, Manzanillo, Maya, Rosa, Osteen, Tommy Atkins and Kensington Pride) grown in the Mediterranean subtropical climate through physicochemical, nutraceutical, and sensory analysis. Our results show a large variability among the different observed genotypes and in dependence of the ripening stage at harvest. With the exception of Rosa, mature-ripe fruits are well-colored, sweet and aromatic, and better suited for short supply chains. On the other hand, post-harvest ripened fruits are firmer, frequently (Carrie, Glenn, Keitt, Manzanillo, Maya) possess interesting nutraceutical value and, in the case of Glenn, Maya, Osteen, and Kensington Pride, they can reach market standard quality