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 Comparison of Bayesian and Sampling Theory Inferences in a Probit Model

HE PROBIT MODEL IS A POPULAR DEVICE for explaining binary choice decisions in econometrics. It has been used to describe choices such as labor force participation, travel mode, home ownership, and type of education. These and many more examples can be found in papers by Amemiya (1981) and Maddala (1983). Given the contribution of economics towards explaining such choices, and given the nature of data that are collected, prior information on the relationship between a choice probability and several explanatory variables frequently exists. Bayesian inference is a convenient vehicle for including such prior information. Given the increasing popularity of Bayesian inference it is useful to ask whether inferences from a probit model are sensitive to a choice between Bayesian and sampling theory techniques. Of interest is the sensitivity of inference on coefficients, probabilities, and elasticities. We consider these issues in a model designed to explain choice between fixed and variable interest rate mortgages. Two Bayesian priors are employed: a uniform prior on the coefficients, designed to be noninformative for the coefficients, and an inequality restricted prior on the signs of the coefficients. We often know, a priori, whether increasing the value of a particular explanatory variable will have a positive or negative effect on a choice probability. This knowledge can be captured by using a prior probability density function (pdf) that is truncated to be positive or negative. Thus, three sets of results are compared:those from maximum likelihood (ML) estimation, those from Bayesian estimation with an unrestricted uniform prior on the coefficients, and those from Bayesian estimation with a uniform prior truncated to accommodate inequality restrictions on the coefficients.

Effects of sampling opportunities on preference for adults with severe disabilities

A variable that appears to affect preference development is the exposure to a variety of options. Providing opportunities for systematically sampling different options is one procedure that can facilitate the development of preference, which is indicated by the consistency of selections. The purpose of this study was to evaluate the effects of providing sampling opportunities on the preference development for two adults with severe disabilities. Opportunities for sampling a variety of drink items were presented, followed by choice opportunities for selections at the site where sampling occurred and at a non-sampling site (a grocery store). Results show that the participants developed a definite response consistency in selections at both sites. Implications for sampling practices are discussed.

"They're scared of it": Intergroup determinants of attitudes toward children with HIV

The study used an intergroup perspective to explore teachers' willingness to teach children with HIV within mainstream education. One hundred thirty-eight teachers from 13 high schools across the United Kingdom participated in a survey. The results suggest that previous contact with an individual who was HIV positive (whether an adult or a child) was strongly associated with greater willingness to teach a child with HIV. However, this effect disappeared when intergroup anxiety, positive affect, and positive beliefs were included as covariates. There was little evidence that instrumental variables (i.e., relatively pragmatic concerns about infection) were associated with willingness to teach. Participants who had some contact reported lower fear of contagion from a child with HIV, but there was no evidence that this was associated with overall attitudes. The results are interpreted to suggest that interventions to reduce prejudice should not simply concentrate on improving knowledge about HIV transmission.

Re-evaluation of the cytokinin receptor role of the Arabidopsis gene GCR1

GCR1 has been tentatively identified in Arabidopsis thaliana as the first plant G-protein coupled receptor (GPCR) (Josefsson and Rask 1997) implicated in the cytokinin sensory pathway (Plakidou-Dymock et al. 1998). A protein fusion of GCR1 and green fluorescent protein has been expressed in Arabidopsis and shown GCR1 to be located on the plasma membrane. Studies of plants with altered GCR1 expression have led us to question GCR1's involvement in cytokinin signaling. Transgenic Arabidopsis plants containing sense and antisense constructs for GCR1 have been produced and over- and under-expression confirmed. The analysis of 12 antisense and 17 sense lines has failed to reveal the previously reported Dainty phenotype or altered cytokinin sensitivity. We have used the Gauntlet approach to test the plants' response to various plant hormones although this has not yet identified a mutant phenotype. The yeast-two hybrid system has been used and so far there is no evidence to suggest GCR1 interacts with heterotrimeric G proteins. Before GCR1 can be identified as genuine G-protein coupled receptor, the identification of a ligand and a proof of association with heterotrimeric G-proteins should be obtained.