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.

New alkaloids from Pandanus amaryllifolius

Three new alkaloids, the two pyrrolidine type alkaloids (1 and 2) and 6E-pandanamine (3), together with five known alkaloids (4-8), were isolated from the leaves of Pandanus amaryllifolius collected in West Java, Indonesia. All the new alkaloids have two alpha-methyl alpha,beta-unsaturated gamma-lactone moieties, while compound 2 also has an additional seven-membered ring, which has not been encountered before in Pandanus alkaloids. Two different extraction methods, namely, a solvent partitioning extraction and acid-base treatment, were tested, giving secondary and tertiary amines, respectively. Spectroscopic and chemical studies showed that the tertiary amines isolated from the acid-base treatment were artifacts formed during the extraction process. This finding suggests that the use of conventional acid-base treatment in isolating Pandanus alkaloids should be reviewed since it can introduce artifacts.

Hybrid 'Sinta' papaya exhibits unique ACC synthase 1 cDNA isoforms

Five ripening-related ACC synthase cDNA isoforms were cloned from 80% ripe papaya cv. 'Sinta' by reverse transcription-PCR using gene-specific primers. Clone 2 had the longest transcript and contained all common exons and three alternative exons. Clones 3 and 4 contained common exons and one alternative exon each, while clone 1, the most common transcript, contained only the common exons. Clone 5 could be due to cloning artifacts and might not be a unique cDNA fragment. Thus, there are only four isoforms of ACC synthase mRNA. Southern blot analysis indicates that all five clones came from only one gene existing as a single copy in the 'Sinta' papaya genome. Multiple sequence alignment indicates that the four isoforms arise from a single gene, possibly through alternative splicing mechanisms. All the putative alternative exons were present at the 5'-end of the gene comprising the N-terminal region of the protein. 'Sinta' ACC synthase cDNAs were of the capacs 1 type and are most closely related to a 1.4 kb capacs 1-type DNA (AJ277160) from Eksotika papaya. No capacs 2-type cDNAs were cloned from 'Sinta' by RT-PCR. This is the first report of possible alternative splicing mechanism in ripening-related ACC synthase genes in hybrid papaya, possibly to modulate or fine-tune gene expression relevant to fruit ripening.

Use of pulse transit time to distinguish respiratory events from tidal breathing in sleeping children

Study objectives: Currently, esophageal pressure monitoring is the "gold standard" measure for inspiratory efforts, hut its invasive nature necessitates a better tolerated and noninvasive method to be used on children. Pulse transit time (PTT) has demonstrated its potential as a noninvasive surrogate marker for inspiratory efforts. The principle velocity determinant of PTT is the change in stiffness of the arterial wall and is inversely correlated to BP. Moreover, PTT has been shown to identify changes in inspiratory effort via the BP fluctuations induced by negative pleural pressure swings. In this study, the capability of PTT to classify respiratory, events during sleep as either central or obstructive in nature was investigated. Setting and participants: PTT measure was used in adjunct to routine overnight polysomnographic studies performed on 33 children (26 boys and 7 girls; mean +/- SD age, 6.7 +/- 3.9 years). The accuracy of PTT measurements was then evaluated against scored corresponding respiratory events in the polysomnography recordings. Results: Three hundred thirty-four valid respiratory events occurred and were analyzed. One hundred twelve obstructive events (OEs) showed a decrease in mean PTT over a 10-sample window that had a probability of being correctly ranked below the baseline PTT during tidal breathing of 0.92 (p < 0.005); 222 central events (CEs) showed a decrease in the variance of PTT over a 10-sample window that had a probability of being ranked below the baseline PTT of 0.94 (p < 0.005). This indicates that, at a sensitivity of 0.90, OEs can be detected with a specificity of 0.82 and CEs can be detected with a specificity of 0.80. Conclusions: PTT is able to categorize CEs and OEs accordingly in the absence of motion artifacts, including hypopneas. Hence, PTT shows promise to differentiate respiratory, events accordingly and can be an important diagnostic tool in pediatric respiratory sleep studies.< 0.005); 222 central events (CEs) showed a decrease in the variance of PTT over a 10-sample window that had a probability of being ranked below the baseline PTT of 0.94 (p < 0.005). This indicates that, at a sensitivity of 0.90, OEs can be detected with a specificity of 0.82 and CEs can be detected with a specificity of 0.80. Conclusions: PTT is able to categorize CEs and OEs accordingly in the absence of motion artifacts, including hypopneas. Hence, PTT shows promise to differentiate respiratory, events accordingly and can be an important diagnostic tool in pediatric respiratory sleep studies.');"

Seeing red: the use of Congo Red dye to identify cooked and damaged starch grains in archaeological residues

Starchy plant foods are significant in the diet of almost all peoples. Archaeologically, however, preservation of such plants is limited, and direct evidence of plant use by past people is also rare. Although starch grains can be preserved on artefacts used to process starchy plants, it is very difficult to identify grains damaged by processing methods such as milling or cooking. We present a method for identifying such damaged starch grains using Congo Red staining to identify cooking or milling activities in the past subsistence behaviour of Aboriginal people of southeast Queensland, Australia. (c) 2005 Elsevier Ltd. All rights reserved.

An archaeology of the instant? Action and narrative in microscopic archaeological residue analyses

The discovery and interpretation of microscopic residues on stone artefacts is an expanding front within archaeological science, allowing reconstructions of the past use of specific tools. With notable exceptions, however, the field has seen little theoretical development, relying largely on a rationale in which either individual findings are widely generalized or the age of the site determines the importance of the results. Here an approach to residue interpretation is proposed that draws on notions of narrative, scale, action and agency as one means of expanding the theoretical scope and application of residue studies. It is suggested that the individual resonance of the findings of residue analyses with people in the present day can be used to provide a more nuanced understanding of past actions, which in turn allows both better integration and communication of those findings within and outside the archaeological comm unity, and begins to overcome the problems associated with the typically small sample sizes analysed in stone-tool residue studies.

A concept for hip prosthesis identification using ultra wideband radar

Ultra wideband (UWB) radar has been extensively investigated both theoretically and practically for the identification buried artifacts. Ground probe radar (GPR) concentrates on the identification of lightly buried land mines, unexploded ordnance (UXO) and archeological targets. The same technology is proposed in a similar context for the rapid identification of in vivo implanted metallic prostheses. The technique is based on resonance based target identification and the paper investigates UWB scattering from a metallic hip prosthesis in free space as a first step in the identification process.