MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.

A rapid PCR protocol for marker assisted detection of heterozygotes in segregating generations involving 1BL/1RS translocation and normal wheat lines

A rapid and reliable polymerase chain reaction (PCR)-based protocol was developed for detecting zygosity of the 1BL/1RS translocation in hexaploid wheat. The protocol involved a multiplex PCR with 2 pairs of oligonucleotide primers, rye-specific Ris-1 primers, and consensus 5S intergenic spacer (IGS) primers, and digestion of the PCR products with the restriction enzyme, MseI. A small piece of alkali-treated intact leaf tissue is used as a template for the PCR, thereby eliminating the necessity for DNA extraction. The test is simple, highly sensitive, and rapid compared with the other detection systems of 1BS1RS heterozygotes in hexaploid wheat. PCR results were confirmed with AFLP analyses. Diagnostic tests for 1BL/1RS translocation based on Sec-1-specific ELISA, screening for chromosome arm 1RS controlled rust resistance locus Yr9, and the PCR test differed in their ability to detect heterozygotes. The PCR test and rust test detected more heterozygotes than the ELISA test. The PCR test is being used to facilitate S1 family recurrent selection in the Germplasm Enhancement Program of the Australian Northern Wheat Improvement Program. A combination of the PCR zygosity test with other markers currently being implemented in the breeding program makes this test economical for 1BL/1RS characterisation of S1 families.

eMelanoBase: An online locus-specific variant database for familial melanoma

A proportion of melanoma,prone individuals in both familial and non,familial contexts has been shown to carry inactivating mutations in either CDKN2A or, rarely, CDK4. CDKN2A is a complex locus that encodes two unrelated proteins from alternately spliced transcripts that are read in different frames. The alpha transcript (exons 1a, 2, and 3) produces the p16INK4A cyclin-dependent kinase inhibitor, while the beta transcript (exons 1beta and 2) is translated as p14ARF, a stabilizing factor of p53 levels through binding to MDM2. Mutations in exon 2 can impair both polypeptides and insertions and deletions in exons 1alpha, 1beta, and 2, which can theoretically generate p16INK4A,p14ARF fusion proteins. No online database currently takes into account all the consequences of these genotypes, a situation compounded by some problematic previous annotations of CDKN2A related sequences and descriptions of their mutations. As an initiative of the international Melanoma Genetics Consortium, we have therefore established a database of germline variants observed in all loci implicated in familial melanoma susceptibility. Such a comprehensive, publicly accessible database is an essential foundation for research on melanoma susceptibility and its clinical application. Our database serves two types of data as defined by HUGO. The core dataset includes the nucleotide variants on the genomic and transcript levels, amino acid variants, and citation. The ancillary dataset includes keyword description of events at the transcription and translation levels and epidemiological data. The application that handles users' queries was designed in the model,view. controller architecture and was implemented in Java. The object-relational database schema was deduced using functional dependency analysis. We hereby present our first functional prototype of eMelanoBase. The service is accessible via the URL www.wmi.usyd.e, du.au:8080/melanoma.html.

Dynamic multi-resolution spatial object derivation for mobile and WWW applications

Online geographic information systems provide the means to extract a subset of desired spatial information from a larger remote repository. Data retrieved representing real-world geographic phenomena are then manipulated to suit the specific needs of an end-user. Often this extraction requires the derivation of representations of objects specific to a particular resolution or scale from a single original stored version. Currently standard spatial data handling techniques cannot support the multi-resolution representation of such features in a database. In this paper a methodology to store and retrieve versions of spatial objects at, different resolutions with respect to scale using standard database primitives and SQL is presented. The technique involves heavy fragmentation of spatial features that allows dynamic simplification into scale-specific object representations customised to the display resolution of the end-user's device. Experimental results comparing the new approach to traditional R-Tree indexing and external object simplification reveal the former performs notably better for mobile and WWW applications where client-side resources are limited and retrieved data loads are kept relatively small.

Vitamin A supplementation for breastfeeding mothers (Protocol)

This is the protocol for a review and there is no abstract. The objectives are as follows: To assess the effects of vitamin A supplementation, alone or in combination with other micronutrients (e.g. iron, folic acid, vitamin E), in mothers during the postpartum period, on maternal and infant health. Specific objectives are to compare the effects of vitamin A supplementation (alone or in combination with other micronutrients) with placebo or no supplementation on: 1. the duration and occurrence of maternal morbidity (xerophthalmia, infection) or illness symptoms (night blindness, fever, nausea, vomiting); 2. the duration and occurrence of neonatal or infant morbidity (respiratory tract infection, diarrhea, measles) or illness symptoms (fever, nausea, vomiting); 3. maternal serum retinol concentration; 4. infant serum retinol concentration; 5. breast milk retinol concentration; and 6. maternal satisfaction.

Progressive resistance training and stretching following surgery for breast cancer: study protocol for a randomised controlled trial

Background: Currently 1 in 11 women over the age of 60 in Australia are diagnosed with breast cancer. Following treatment, most breast cancer patients are left with shoulder and arm impairments which can impact significantly on quality of life and interfere substantially with activities of daily living. The primary aim of the proposed study is to determine whether upper limb impairments can be prevented by undertaking an exercise program of prolonged stretching and resistance training, commencing soon after surgery. Methods/design: We will recruit 180 women who have had surgery for early stage breast cancer to a multicenter single-blind randomized controlled trial. At 4 weeks post surgery, women will be randomly assigned to either an exercise group or a usual care ( control) group. Women allocated to the exercise group will perform exercises daily, and will be supervised once a week for 8 weeks. At the end of the 8 weeks, women will be given a home-based training program to continue indefinitely. Women in the usual care group will receive the same care as is now typically provided, i.e. a visit by the physiotherapist and occupational therapist while an inpatient, and receipt of pamphlets. All subjects will be assessed at baseline, 8 weeks, and 6 months later. The primary measure is arm symptoms, derived from a breast cancer specific questionnaire (BR23). In addition, range of motion, strength, swelling, pain and quality of life will be assessed. Discussion: This study will determine whether exercise commencing soon after surgery can prevent secondary problems associated with treatment of breast cancer, and will thus provide the basis for successful rehabilitation and reduction in ongoing problems and health care use. Additionally, it will identify whether strengthening exercises reduce the incidence of arm swelling. Trial Registration: The protocol for this study is registered with the Australian Clinical Trials Registry (ACTRN012606000050550).

Frequency band selection of radars for buried object detection

Choice of the operational frequency is one of the most responsible parts of any radar design process. Parameters of radars for buried object detection (BOD) are very sensitive to both carrier frequency and ranging signal bandwidth. Such radars have a specific propagation environment with a strong frequency-dependent attenuation and, as a result, short operational range. This fact dictates some features of the radar's parameters: wideband signal-to provide a high range resolution (fractions of a meter) and a low carrier frequency (tens or hundreds megahertz) for deeper penetration. The requirement to have a wideband ranging signal and low carrier frequency are partly in contradiction. As a result, low-frequency (LF) ultrawide-band (UWB) signals are used. The major goal of this paper is to examine the influence of the frequency band choice on the radar performance and develop relevant methodologies for BOD radar design and optimization. In this article, high-efficient continuous wave (CW) signals with most advanced stepped frequency (SF) modulation are considered; however, the main conclusions can be applied to any kind of ranging signals.

Developing a protocol for the use of telenursing in community health in Australia

As the first step in developing a protocol for the use of video-phones in community health, we carried out a feasibility study among clients with a range of health needs. Clients were equipped with a commercially available video-phone connected using the client's home telephone line. A hands-free speaker-phone and a miniature video-camera (for close-up views) were connected to the video-phone. Ten clients participated: five required wound care, two palliative care, two long-term therapy monitoring and one was a rural client. All but two were aged 75 years or more. Each client had a video-phone for an average of two to three weeks. During the six months of the study, 43 client calls were made, of which 36 (84%) were converted to video-calls. The speaker-phone was used on 24 occasions (56%) and the close-up camera on 23 occasions (53%). Both clients and nurses rated the equipment as satisfactory or better in questionnaires. None of the nurses felt that the equipment was difficult to use, including unpacking it and setting it up; only one client found it difficult. Taking into account the clients' responses, including their free-text comments, a judgement was made as to whether the video-phone had been useful to their nursing care. In seven cases it was felt to be unhelpful and in three cases it was judged helpful. Although the study sample was small, the results suggest that home telenursing is likely to be useful for rural clients in Australia, unsurprisingly, because of the distances involved.

Specification matching of object-oriented components

Object-orientation supports software reuse via features such as abstraction, information hiding, polymorphism, inheritance and redefinition. However, while libraries of classes do exist, one of the challenges that still remains is to locate suitable classes and adapt them to meet the specific requirements of the software developer. Traditional approaches to library retrieval are text-based; it is therefore difficult for the developer to express their requirements in a precise and unambiguous manner. A more promising approach is specification-based retrieval, where library component interfaces and requirements are expressed using a formal specification language. In this case retrieval is based on matching formal specifications. In this paper we describe how existing approaches to specification matching can be extended to handle object-oriented components.

Bimanual aiming and overt attention: one law for two hands

Reaching to interact with an object requires a compromise between the speed of the limb movement and the required end-point accuracy. The time it takes one hand to move to a target in a simple aiming task can be predicted reliably from Fitts' law, which states that movement time is a function of a combined measure of amplitude and accuracy constraints (the index of difficulty, ID). It has been assumed previously that Fitts' law is violated in bimanual aiming movements to targets of unequal ID. We present data from two experiments to show that this assumption is incorrect: if the attention demands of a bimanual aiming task are constant then the movements are well described by a Fitts' law relationship. Movement time therefore depends not only on ID but on other task conditions, which is a basic feature of Fitts' law. In a third experiment we show that eye movements are an important determinant of the attention demands in a bimanual aiming task. The results from the third experiment extend the findings of the first two experiments and show that bimanual aiming often relies on the strategic co-ordination of separate actions into a seamless behaviour. A number of the task specific strategies employed by the adult human nervous system were elucidated in the third experiment. The general strategic pattern observed in the hand trajectories was reflected by the pattern of eye movements recorded during the experiment. The results from all three experiments demonstrate that eye movements must be considered as an important constraint in bimanual aiming tasks.

Constraints on the spatiotemporal accuracy of interceptive action: effects of target size on hitting a moving object

Results of two experiments are reported that examined how people respond to rectangular targets of different sizes in simple hitting tasks. If a target moves in a straight line and a person is constrained to move along a linear track oriented perpendicular to the targetrsquos motion, then the length of the target along its direction of motion constrains the temporal accuracy and precision required to make the interception. The dimensions of the target perpendicular to its direction of motion place no constraints on performance in such a task. In contrast, if the person is not constrained to move along a straight track, the targetrsquos dimensions may constrain the spatial as well as the temporal accuracy and precision. The experiments reported here examined how people responded to targets of different vertical extent (height): the task was to strike targets that moved along a straight, horizontal path. In experiment 1 participants were constrained to move along a horizontal linear track to strike targets and so target height did not constrain performance. Target height, length and speed were co-varied. Movement time (MT) was unaffected by target height but was systematically affected by length (briefer movements to smaller targets) and speed (briefer movements to faster targets). Peak movement speed (Vmax) was influenced by all three independent variables: participants struck shorter, narrower and faster targets harder. In experiment 2, participants were constrained to move in a vertical plane normal to the targetrsquos direction of motion. In this task target height constrains the spatial accuracy required to contact the target. Three groups of eight participants struck targets of different height but of constant length and speed, hence constant temporal accuracy demand (different for each group, one group struck stationary targets = no temporal accuracy demand). On average, participants showed little or no systematic response to changes in spatial accuracy demand on any dependent measure (MT, Vmax, spatial variable error). The results are interpreted in relation to previous results on movements aimed at stationary targets in the absence of visual feedback.

Subject/Object Asymmetry in the Comprehension of English Relative Clauses by Japanese Learners of English

While a number of studies have shown that object-extracted relative clauses are more difficult to understand than subject-extracted counterparts for second language (L2) English learners (e.g., Izumi, 2003), less is known about why this is the case and how they process these complex sentences. This exploratory study examines the potential applicability of Gibson's (1998, 2000) Syntactic Prediction Locality Theory (SPLT), a theory proposed to predict first language (L1) processing difficulty, to L2 processing and considers whether the theory might also account for the processing difficulties of subject- and object-extracted relative clauses encountered by L2 learners. Results of a self-paced reading time experiment from 15 Japanese learners of English are mainly consistent with the reading time profile predicted by the SPLT and thus suggest that the L1 processing theory might also be able to account for L2 processing difficulty.

Specific PCR based detection of Phytophthora medicaginis using the intergenic spacer region of the ribosomal DNA

A technique based on the polymerase chain reaction (PCR) for the specific detection of Phytophthora medicaginis was developed using nucleotide sequence information of the ribosomal DNA (rDNA) regions. The complete IGS 2 region between the 5 S gene of one rDNA repeat and the small subunit of the adjacent repeat was sequenced for P. medicaginis and related species. The entire nucleotide sequence length of the IGS 2 of P. medicaginis was 3566 bp. A pair of oligonucleotide primers (PPED04 and PPED05), which allowed amplification of a specific fragment (364 bp) within the IGS 2 of P. medicaginis using the PCR, was designed. Specific amplification of this fragment from P. medicaginis was highly sensitive, detecting template DNA as low as 4 ng and in a host-pathogen DNA ratio of 1000000:1. Specific PCR amplification using PPED04 and PPED05 was successful in detecting P. medicaginis in lucerne stems infected under glasshouse conditions and field infected lucerne roots. The procedures developed in this work have application to improved identification and detection of a wide range of Phytophthora spp. in plants and soil.