Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.

Behavioral Types for Embedded Software - A Survey

At present, there is a variety of formalisms for modeling and analyzing the communication behavior of components. Due to a tremendous increase in size and complexity of embedded systems accompanied by shorter time to market cycles and cost reduction, so called behavioral type systems become more and more important. This chapter presents an overview and a taxonomy of behavioral types. The intentions of this taxonomy are to provide a guidance for software engineers and to form the basis for future research.

Who does not gain weight? Prevalence and predictors of weight maintenance in young women

OBJECTIVE: To investigate the prevalence and predictors of weight maintenance over time in a large sample of young Australian women. DESIGN: This population study examined baseline and 4y follow-up data from the cohort of young women participating in the Australian Longitudinal Study on Women's Health. SUBJECTS: A total of 8726 young women aged 18 - 23y at baseline. MEASURES: Height, weight and body mass index (BMI); physical activity; time spent sitting; selected eating behaviours (eg dieting, disordered eating, takeaway food consumption); cigarette smoking, alcohol consumption; parity; and socio-demographic characteristics. RESULTS: Only 44% of the women reported their BMI at follow-up to be within 5% of their baseline BMI (maintainers); 41% had gained weight and 15% had lost weight. Weight maintainers were more likely to be in managerial or professional occupations; to have never married; to be currently studying; and not to be mothers. Controlling for sociodemographic factors, weight maintainers were more likely to be in a healthy weight range at baseline, and to report that they spent less time sitting, and consumed less takeaway food, than women who gained weight. CONCLUSIONS: Fewer than half the young women in this community sample maintained their weight over this 4y period in their early twenties. Findings of widespread weight gain, particularly among those already overweight, suggest that early adulthood, which is a time of significant life changes for many women, may be an important time for implementing strategies to promote maintenance of healthy weight. Strategies which encourage decreased sitting time and less takeaway food consumption may be effective for encouraging weight maintenance at this life stage.

Towards a taxonomic revision of the genus Echinococcus

Echinococcus remains a significant public health problem worldwide and, in several regions, the aetiological agents of cystic hydatid disease/echinococcosis are extending their range. The taxonomy of Echinococcus has been a controversial issue for decades, but the outcome of recent molecular epidemiological studies has served to reinforce proposals made ten years ago to revise the taxonomy of Echinococcus. A formal nomenclature is essential for effective communication, and provides the stability that underpins epidemiological investigations. It will also serve to recognize the contribution of early taxonomists.

Telehealth responses to bio-terrorism and emerging infections

Emerging infectious diseases, such as severe acute respiratory syndrome (SARS), are of huge economic importance. They are difficult to predict. The World Health Organization has a Global Outbreak Alert and Response Network, which was involved at an early stage in the SARS outbreak in 2003. Three major lessons were learned as a result of the SARS epidemic in 2003, involving communication, evidence-based action and global partnerships. It is proposed that a series of broadband global response networks should be developed. At a technical level the networks are essentially in place, such as the Internet2 global network. Suitable peripheral devices also exist. What has not yet been created is the appropriate software to allow the use of these networks, although a number of commercial products are in the process of development.

Using a problem detection study (PDS) to identify and compare health care provider and consumer views of antihypertensive therapy

The objectives of this study were to ascertain consumer knowledge and behaviour about hypertension and treatment and to compare these with health care providers' perceptions (of 'most' consumers). The design for the study was a problem detection study (PDS): focus groups and then survey. Focus groups and survey participants were convenience samples of consumers, doctors, nurses and pharmacists. The main outcome measures were agreement on a 5-point Likert scale with statements about consumers' knowledge and behaviour about high blood pressure and medication. The survey identified areas of consensus and disagreement between consumers and health providers. While general knowledge and concordance with antihypertensive therapy among consumers was good, consequences such as eye and kidney disease, interactions with herbal medicines, and how to deal with missing a dose were less well known. Side effects were a problem for over one-quarter of participants, and cost was a problem in continuing therapy. Half the consumers had not received sufficient written information. Providers overall disagreed that most consumers have an adequate understanding of the condition. They agreed that most consumers adhere to therapy and can manage medicines; and about their own profession's role in information provision and condition management. Consumers confirmed positive provider behaviour, suggesting opportunities for greater communication between providers about actions taken with their consumers. In conclusion, the PDS methodology was useful in identifying consumer opinions. Differences between consumer and provider responses were marked, with consumers generally rating their knowledge and behaviour above providers' ratings of 'most' consumers. There are clear gaps to be targeted to improve the outcomes of hypertension therapy.