UML approach to the generation of test sequences for Java-based concurrent systems

Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this specification, test sequences for validating an implementation of the system. The approach is to first extend the specification to create UML state machines that directly address those aspects of the system we wish to test. To be specific, the extended UML state machines can capture state information about the number of waiting threads or the number of threads blocked on a given object. Using the SAL model checker we can generate from the extended UML state machines sequences that cover all the various possibilities of events and states. These sequences can then be directly transformed into test sequences suitable for input into a testing tool such as ConAn. As an illustration, the methodology is applied to generate sequences for testing a Java implementation of the producer-consumer system. © 2005 IEEE

The inhibitory effects of free nitrous acid on the energy generation and growth processes of an enriched Nitrobacter culture

The inhibitory effects of nitrite (NO2-)/free nitrous acid (HNO2-FNA) on the metabolism of Nitrobacter were investigated using a method allowing the decoupling of the growth and energy generation processes. A lab-scale sequencing batch reactor was operated for the enrichment of a Nitrobacter culture. Fluorescent in situ hybridization (FISH) analysis showed that 73% of the bacterial population was Nitrobacter. Batch tests were carried out to assess the oxygen and nitrite consumption rates of the enriched culture at low and high nitrite levels, in the presence or absence of inorganic carbon. It was observed that in the absence of CO2, the Nitrobacter culture was able to oxidize nitrite at a rate that is 76% of that in the presence of CO2, with an oxygen consumption rate that is 85% of that measured in the presence of CO2. This enabled the impacts of nitrite/FNA on the catabolic and anabolic processes of Nitrobacter to be assessed separately. FNA rather than nitrite was likely the actual inhibitor to the Nitrobacter metabolism. It was revealed that FNA of up to 0.05 mg HNO2-N center dot L-1 (3.4 mu M), which was the highest FNA concentration used in this study, did not have any inhibitory effect on the catabolic processes of Nitrobacter. However, FNA initiated its inhibition to the anabolic processes of Nitrobacter at approximately 0.011 mg HNO2-N center dot L-1 (0.8 mu M), and completely stopped biomass synthesis at a concentration of approximately 0.023 mg HNO2-N center dot L-1 (1.6 mu M). The inhibitory effect could be described by an empirical inhibitory model proposed in this paper, but the underlying mechanisms remain to be revealed.

A genetically informed study of the processes underlying the association between parental marital instability and offspring adjustment

Parental divorce is associated with problematic offspring adjustment, but the relation may be due to shared genetic or environmental factors. One way to test for these confounds is to study offspring of twins discordant for divorce. The current analyses used this design to separate the mechanisms responsible for the association between parental divorce, experienced either before or after the age of 16, and offspring well-being. The results were consistent with a causal role of divorce in earlier initiation of sexual intercourse and emotional difficulties, in addition to a greater probability of educational problems, depressed mood, and suicidal ideation. In contrast, the increased risk for cohabitation and earlier initiation of drug use was explained by selection factors, including genetic confounds.

On compliance of business processes with business contracts

This paper addresses the problem of ensuring compliance of business processes, implemented within and across organisational boundaries, with the constraints stated in related business contracts. In order to deal with the complexity of this problem we propose two solutions that allow for a systematic and increasingly automated support for addressing two specific compliance issues. One solution provides a set of guidelines for progressively transforming contract conditions into business processes that are consistent with contract conditions thus avoiding violation of the rules in contract. Another solution compares rules in business contracts and rules in business processes to check for possible inconsistencies. Both approaches rely on a computer interpretable representation of contract conditions that embodies contract semantics. This semantics is described in terms of a logic based formalism allowing for the description of obligations, prohibitions, permissions and violations conditions in contracts. This semantics was based on an analysis of typical building blocks of many commercial, financial and government contracts. The study proved that our contract formalism provides a good foundation for describing key types of conditions in contracts, and has also given several insights into valuable transformation techniques and formalisms needed to establish better alignment between these two, traditionally separate areas of research and endeavour. The study also revealed a number of new areas of research, some of which we intend to address in near future.

Size of the first spring generation of Helicoverpa punctigera (Wallengren) (Lepidoptera : Noctuidae) and winter rain in central Australia

Serious infestations of Helicoverpa punctigera are experienced yearly in the eastern cropping regions of Australia. Regression analysis was used to determine whether the size of the first generation in spring (G(1)), which is comprised mostly of immigrants from inland Australia, was related to monthly rainfall in inland winter breeding areas. Data from two long series of light-trap catches at Narrabri in New South Wales (NSW) and Turretfield in South Australia (SA) were used in the analyses. The size of G1 at Narrabri in each year was significantly regressed on the amount of rainfall in western Queensland and NSW in May and June. The size of G1 at Turretfield each year was significantly regressed on the amount of rain in May, June and July in western Queensland and NSW and also in the desert of central Western Australia. Low r(2) values of the regressions suggest that rainfall data for more sites, as well as biological and other physical factors, such as temperature, evaporation, and prevailing wind systems, may need to be included to improve forecasts of the potential magnitude of the infestations in coastal cropping regions.

Increased generation of dendritic cells from myeloid progenitors in autoimmune-prone nonobese diabetic mice

Aberrant dendritic cell (DC) development and function may contribute to autoimmune disease susceptibility. To address this hypothesis at the level of myeloid lineage-derived DC we compared the development of DC from bone marrow progenitors in vitro and DC populations in vivo in autoimmune diabetes-prone nonbese diabetic (NOD) mice, recombinant congenic nonbese diabetes-resistant (NOR) mice, and unrelated BALB/c and C57BL/6 (BL/6) mice. In GM-CSF/IL-4-supplemented bone marrow cultures, DC developed in significantly greater numbers from NOD than from NOR, BALB/c, and BL/6 mice. Likewise, DC developed in greater numbers from sorted (lineage(-)IL-7Ralpha(-)SCA-1(-)c-kit(+)) NOD myeloid progenitors in either GM-CSF/IL-4 or GM-CSF/stem cell factor (SCF)/TNF-alpha. [H-3]TdR incorporation indicated that the increased generation of NOD DC was due to higher levels of myeloid progenitor proliferation. Generation of DC with the early-acting hematopoietic growth factor, flt3 ligand, revealed that while the increased DC-generative capacity of myeloid-committed progenitors was restricted to NOD cells, early lineage-uncommitted progenitors from both NOD and NOR had increased DC-gencrative capacity relative to BALB/c and BL/6. Consistent with these findings, NOD and NOR mice had increased numbers of DC in blood and thymus and NOD had an increased proportion of the putative myeloid DC (CD11c(+)CD11b(+)) subset within spleen. These findings demonstrate that diabetes-prone NOD mice exhibit a myeloid lineage-specific increase in DC generative capacity relative to diabetes-resistant recombinant congenic NOR mice. We propose that an imbalance favoring development of DC from myeloid-committed progenitors predisposes to autoimmune disease in NOD mice.

The generation of H-1-NMR-detectable mobile lipid in stimulated lymphocytes: Relationship ts cellular activation, the cell cycle, and phosphatidylcholine-specific phospholipase C

Mobile Lipids detected using H-1-NMR in stimulated lymphocytes were correlated with cell cycle phase, expression of the interleukin-2 receptor alpha and proliferation to assess the activation status of the lymphocytes. Mobile lipid levels, IL-2R alpha expression and proliferation increased after treatment with PMA and ionomycin. PMA or ionomycin stimulation alone induced increased IL-2R alpha expressiom but not proliferation, PMA- but not ionomycin-stimulation generated mobile lipid, Treatment with anti-CD3 antibody did not increase IL-2R alpha expression or proliferation but did generate increased amounts of mobile lipid, The cell cycle status of thymocytes treated with anti-CD3, PMA or ionomycin alone indicated an. accumulation of the cells in the G(1) phase of the cell cycle, The generation of mobile lipid was abrogated in anti-CD3 antibody-stimulated thymic lymphocytes but not in splenic lymphocytes, using a phosphatidylcholine-specific phospholipase C (PC-PLC) inhibitor which blocked cells in the G(1)/S phase of the cell cycle, This suggests that the H-1-NMR-detectable mobile Lipid may be generated in anti-CD3 antibody-stimulated thymic lymphocytes by the action of PC-PLC activity via the catabolism of PC, in the absence of classical signs of activation. (C) 1997 Academic Press.

Generation of eigenstates using the phase-estimation algorithm

The phase estimation algorithm is so named because it allows an estimation of the eigenvalues associated with an operator. However, it has been proposed that the algorithm can also be used to generate eigenstates. Here we extend this proposal for small quantum systems, identifying the conditions under which the phase-estimation algorithm can successfully generate eigenstates. We then propose an implementation scheme based on an ion trap quantum computer. This scheme allows us to illustrate two simple examples, one in which the algorithm effectively generates eigenstates, and one in which it does not.

Investigations of growth processes in Y-Ba-Cu-O materials by microstructural examination of quenched samples

Y-Ba-Cu-O samples with additions of Y2O3 and CeO2 were quenched during seeded isothermal melt processing and examined by optical microscopy and scanning electron microscopy. Large YBa2Cu3O7-y (Y123) particles in the starting powder were found to form a distinct type of melt during heating, which was unaffected by the Y2O3 or CeO2 additives. This type of melt later formed regions with a low concentration of Y2BaCuO5 (Y211) particles in the Y123 matrix. The maximum growth rate of Y123 that could be sustained in the sample was found to be lower in the melt formed from large Y123 particles, and this may lead to growth accidents and subgrains in some samples.

Development of a novel titration and off-gas analysis (TOGA) sensor for study of biological processes in wastewater treatment systems

The development of the new TOGA (titration and off-gas analysis) sensor for the detailed study of biological processes in wastewater treatment systems is outlined. The main innovation of the sensor is the amalgamation of titrimetric and off-gas measurement techniques. The resulting measured signals are: hydrogen ion production rate (HPR), oxygen transfer rate (OTR), nitrogen transfer rate (NTR), and carbon dioxide transfer rate (CTR). While OTR and NTR are applicable to aerobic and anoxic conditions, respectively, HPR and CTR are useful signals under all of the conditions found in biological wastewater treatment systems, namely, aerobic, anoxic and anaerobic. The sensor is therefore a powerful tool for studying the key biological processes under all these conditions. A major benefit from the integration of the titrimetric and off-gas analysis methods is that the acid/base buffering systems, in particular the bicarbonate system, are properly accounted for. Experimental data resulting from the TOGA sensor in aerobic, anoxic, and anaerobic conditions demonstrates the strength of the new sensor. In the aerobic environment, carbon oxidation (using acetate as an example carbon source) and nitrification are studied. Both the carbon and ammonia removal rates measured by the sensor compare very well with those obtained from off-line chemical analysis. Further, the aerobic acetate removal process is examined at a fundamental level using the metabolic pathway and stoichiometry established in the literature, whereby the rate of formation of storage products is identified. Under anoxic conditions, the denitrification process is monitored and, again, the measured rate of nitrogen gas transfer (NTR) matches well with the removal of the oxidised nitrogen compounds (measured chemically). In the anaerobic environment, the enhanced biological phosphorus process was investigated. In this case, the measured sensor signals (HPR and CTR) resulting from acetate uptake were used to determine the ratio of the rates of carbon dioxide production by competing groups of microorganisms, which consequently is a measure of the activity of these organisms. The sensor involves the use of expensive equipment such as a mass spectrometer and requires special gases to operate, thus incurring significant capital and operational costs. This makes the sensor more an advanced laboratory tool than an on-line sensor. (C) 2003 Wiley Periodicals, Inc.