A framework and tool support for the systematic testing of model-based specifications

Formal specifications can precisely and unambiguously define the required behavior of a software system or component. However, formal specifications are complex artifacts that need to be verified to ensure that they are consistent, complete, and validated against the requirements. Specification testing or animation tools exist to assist with this by allowing the specifier to interpret or execute the specification. However, currently little is known about how to do this effectively. This article presents a framework and tool support for the systematic testing of formal, model-based specifications. Several important generic properties that should be satisfied by model-based specifications are first identified. Following the idea of mutation analysis, we then use variants or mutants of the specification to check that these properties are satisfied. The framework also allows the specifier to test application-specific properties. All properties are tested for a range of states that are defined by the tester in the form of a testgraph, which is a directed graph that partially models the states and transitions of the specification being tested. Tool support is provided for the generation of the mutants, for automatically traversing the testgraph and executing the test cases, and for reporting any errors. The framework is demonstrated on a small specification and its application to three larger specifications is discussed. Experience indicates that the framework can be used effectively to test small to medium-sized specifications and that it can reveal a significant number of problems in these specifications.

Use of complementary and alternative medicine and quality of life: changes at the end of life

The purpose of this study was to compare the physical, psychological and social dimensions associated with quality-of-life outcomes over the last year of life, between advanced cancer users and nonusers of complementary and alternative medicine. One hundred and eleven patients were identified through Queensland Cancer Registry records, and followed up every four to six weeks until close to death using standardized protocols. Outcome measures were symptom burden, psychological distress, subjective wellbeing, satisfaction with conventional medicine and need for control over treatment decisions. At the initial interview, 36 (32%) participants had used complementary/ alternative medicine the previous week; mainly vitamins, minerals and tonics and herbal remedies. Among all participants, 53 (48%) used at least one form of complementary/ alternative medicine over the study period. Only six (11%) visited alternative practitioners on a regular basis. Overall, complementary/ alternative medicine users reported higher levels of anxiety and pain, less satisfaction with conventional medicine and lower need for control over treatment decisions compared with nonusers. These differences tend to change as death approaches. A more rigorous assessment of complementary/ alternative medicine use, psychological distress, pain and subjective wellbeing among patients with advanced cancer is needed in the clinical setting.

Electronic patient records: Achieving best practice in information transfer between hospital and community providers - an integration success story

Effective healthcare integration is underpinned by clinical information transfer that is timely, legible and relevant. The aim of this study was to describe and evaluate a method for best practice information exchange. This was achieved based on the generic Mater integration methodology. Using this model the Mater Health Services have increased effective community fax discharge from 34% in 1999 to 86% in 2002. These results were predicated on applied information technology excellence involving the development of the Mater Electronic Health Referral Summary and effective change management methodology, which included addressing issues around patient consent, engaging clinicians, provision of timely and appropriate education and training, executive leadership and commitment and adequate resourcing. The challenge in achieving best practice information transfer is not solely in the technology but also in implementing the change process and engaging clinicians. General practitioners valued the intervention highly. Hospital and community providers now have an inexpensive, effective product for critical information exchange in a timely and relevant manner, enhancing the quality and safety of patient care.

Transmission electron microscopy sample preparation technique for sintered alloys

Powder metallurgy alloys are typically inhomogeneous with a significant amount of porosity. This complicates conventional transmission electron microscopy sample preparation. However, the use of focused ion beam milling allows site specific transmission electron microscopy samples to be prepared in a short amount of time. This paper presents a method that can be used to produce transmission electron microscopy samples from an Al-Cu-Mg PM alloy. (C) 2003 IoM Communications Ltd. Published by Maney for the Institute of Materials, Minerals and Mining.

Comparison of rural and urban attitudes to the conservation of Asian elephants in Sri Lanka: empirical evidence

There has been little study of economic and general attitudes towards the conservation of the Asian elephant. This paper reports and analyses results from surveys conducted in Sri Lanka of attitudes of urban dwellers and farmers towards nature conservation in general and the elephant conservation in particular. The analyses are based on urban and a rural sample. Contingent valuation techniques are used as survey instruments. Multivariate logit regression analysis is used to analyse the respondents' attitudes towards conservation of elephants. It is found that, although some variations occurred between the samples, the majority of the respondents (both rural and urban) have positive attitudes towards nature conservation in general. However, marked differences in attitudes toward elephant conservation are evident between these two samples: the majority of urban respondents were in favour of elephant conservation; rural respondents expressed a mixture of positive and negative attitudes. Overall, considerable unrecorded and as yet unutilised economic support for conservation of wild elephants exists in Sri Lanka. (C) 2002 Elsevier Science Ltd. All rights reserved.

The effect of iron on liquid film migration and sintering of an Al-Cu-Mg alloy

Analytical transmission electron microscopy indicates that liquid film migration occurs during sintering of an Al-Cu-Mg alloy, that intragranular liquid pools develop from migrating films and that iron segregates to these pools. It is suggested that a high localised iron concentration retards the liquid film migration rate by reducing the coherency strain in the retreating grain, causing a region of the film to detach from the boundary, thus forming an intragranular pool in the advancing grain. Alloys with low iron levels develop few intragranular pools and have high sintered densities. (C) 2003 Acta Materialia Inc. Published by Elsevier Science Ltd. All rights reserved.

The effect of resin type on the sintering of freeformed maraging steel

The role of the resin type on the sintering of maraging steel with boron additions has been investigated. Two different resins were added to the steel mixture and their subsequent debinding was evaluated and sintering responses compared with that of a resin-free alloy. The two resins used, nylon and a mixture of phenolic resin and synthetic wax, possessed different debinding behaviour, with the latter causing significant carbon contamination of the parts. This caused the formation of a Ti-Mo carbide, depleting the matrix of these elements. Consequently, the microstructure consisted of the equilibrium Fe-Fe2B eutectic, as well as a Mo-rich boride. The liquid phase also appeared to contain significant amounts of carbon, which lowered the temperature at which the liquid formed, resulting in high density occurring at a much lower temperature. When nylon was used as the binder, a similar sintering response to the resin-free alloy was observed. (C) 2002 Published by Elsevier Science B.V.

On the sintering of uncompacted, pre-alloyed Al powder alloys

The effect of the addition of elemental Mg, Sri and Pb on the sintering of impressed prealloyed 2124 and 6061 powder has been investigated. Despite being sintered at a temperature that resulted in similar to20 vol.% liquid phase, high density was possible only upon the addition of similar to1% elemental Mg as well as trace amounts of Sri or Pb. Additions of Mg facilitated oxide disruption, while Sri and Pb segregated to the liquid phase, where they reduced the liquid's surface tension, thus improving sintering. (C) 2002 Elsevier Science B.V. All rights reserved.

Nonfatal heroin overdoses in Queensland, Australia: an analysis of ambulance data

In the past decade, the utilization of ambulance data to inform the prevalence of nonfatal heroin overdose has increased. These data can assist public health policymakers, law enforcement agencies, and health providers in planning and allocating resources. This study examined the 672 ambulance attendances at nonfatal heroin overdoses in Queensland, Australia, in 2000. Gender distribution showed a typical 70/30 male-to-female ratio. An equal number of persons with nonfatal heroin overdose were between 15 and 24 years of age and 25 and 34 years of age. Police were present in only 1 of 6 cases, and 28.1% of patients reported using drugs alone. Ambulance data are proving to be a valuable population-based resource for describing the incidence and characteristics of nonfatal heroin overdose episodes. Future studies could focus on the differences between nonfatal heroin overdose and fatal heroin overdose samples.

All's fair in love and war - but not contract

Changes to Queensland's unfair terms in consumer contracts expected - nature of the changes outlined - protections given to consumers, with respect to unfair contracts, in Victoria and the United Kingdom.

On the role of magnesium and nitrogen in the infiltration of aluminium by aluminium for rapid prototyping applications

Selective laser sintering has been used to fabricate an aluminium alloy powder preform which is subsequently debound and infiltrated with a second aluminium alloy. This represents a new rapid manufacturing system for aluminium that can be used to fabricate large, intricate parts. The base powder is an alloy such as AA6061. The infiltrant is a binary or higher-order eutectic based on either Al-Cu or At-Si. To ensure that infiltration occurs without loss of dimensional precision, it is important that a rigid skeleton forms prior to infiltration. This can be achieved by the partial transformation of the aluminium to aluminium nitride. In order for this to occur throughout the component, magnesium powder must be added to the alumina support powder which surrounds the part in the furnace. The magnesium scavenges the oxygen and thereby creates a microclimate in which aluminium nitride can form. The replacement of the ionocovalent Al2O3 with the covalent AlN on the surface of the aluminium powders also facilitates wetting and thus spontaneous and complete infiltration. (C) 2004 Acta Materialia Inc. Published by Elsevier Ltd. All rights reserved.