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.

Ex ante evaluations of alternate data structures for end user queries: Theory and experimental test

The data structure of an information system can significantly impact the ability of end users to efficiently and effectively retrieve the information they need. This research develops a methodology for evaluating, ex ante, the relative desirability of alternative data structures for end user queries. This research theorizes that the data structure that yields the lowest weighted average complexity for a representative sample of information requests is the most desirable data structure for end user queries. The theory was tested in an experiment that compared queries from two different relational database schemas. As theorized, end users querying the data structure associated with the less complex queries performed better Complexity was measured using three different Halstead metrics. Each of the three metrics provided excellent predictions of end user performance. This research supplies strong evidence that organizations can use complexity metrics to evaluate, ex ante, the desirability of alternate data structures. Organizations can use these evaluations to enhance the efficient and effective retrieval of information by creating data structures that minimize end user query complexity.

Comic relief: Subversion and catharsis in organizational comedic theatre

There has been a growth of interest in the role of humour in organizations from both practitioner and academic perspectives. Various claims for the functionality of humour have been made, ranging from stress reduction to helping form and cement corporate cultures. Latching on to these presumed benefits, businesses and consultants have begun to employ humour and comedy in a direct and explicit manner. However, there is a counterpoint, which suggests that humour cannot always be managed and in fact has subversive qualities. This article addresses the issue of the subversive potential of comedy in organizational contexts. It draws illustratively on the case of a successful corporate comedian to do so. The article argues, through an analysis of the case, the history and philosophy of comedy, and theories of the comedic, that while comedy has inherent subversive potential, it most often is contained. Indeed, it suggests that comedy works by intruding as a potential threat to mundane reality, but offers comic relief when it is apparent that the threat will not be actualized and the status quo ante prevails. Implications for using corporate comedy are drawn..

A companison of socially responsible and conventional investors

Socially responsible investment is a rapidly emerging phenomenon within the field of personal investment. However, the factors that lead investors to choose socially responsible investment products are not well understood, especially in an Australian context. This study provides a comparative examination of conventional and socially responsible investors, with the aim of identifying such factors. A total of 55 conventional investors and 54 ethical investors participated in the study by completing mailed questionnaires about their investment and general behaviour and their attitudes and beliefs. Results indicated some important differences between socially responsible and conventional investors in their beliefs of the importance of ethical issues, their investment decision-making style, and their perceptions of moral intensity. These results support the notion that socially responsible investors differ in critical ways to conventional investors, and are discussed in terms of theoretical and practical implications.

Experience as a moderator of the media equation: the impact of flattery and praise

This study extends previous media equation research, which showed that the effects of flattery from a computer can produce the same general effects as flattery from humans. Specifically, the study explored the potential moderating effect of experience on the impact of flattery from a computer. One hundred and fifty-eight students from the University of Queensland voluntarily participated in the study. Participants interacted with a computer and were exposed to one of three kinds of feedback: praise (sincere praise), flattery (insincere praise), or control (generic feedback). Questionnaire measures assessing participants' affective state. attitudes and opinions were taken. Participants of high experience, but not low experience, displayed a media equation pattern of results, reacting to flattery from a computer in a manner congruent with peoples' reactions to flattery from other humans. High experience participants tended to believe that the computer spoke the truth, experienced more positive affect as a result of flattery, and judged the computer's performance more favourably. These findings are interpreted in light of previous research and the implications for software design in fields such as entertainment and education are considered. (C) 2004 Elsevier Ltd. All rights reserved.

'Slippage' is not a dirty word: Considering the usefulness of Giddens' notion of knowledgeability in understanding the possibilities for teacher education

The attempt to understand the relationship between messages intended and messages received has been an enduring issue in teacher education. For the past three decades researchers have made forays into understanding this enduring issue, and in the process have drawn on various explanatory frameworks, one of them being socialisation. In this paper we work with Giddens' structuration theory as well as his concept of knowledgeability as analytical frameworks for understanding the relationship between messages intended (by the teacher educator) and messages received (by the student-teachers). Our discussion is informed by the findings of a study that investigated student-teachers' interpretations of the pedagogical process of a physical education teacher education course. Data generated from conversations with, and observations of, the student-teachers indicated that there was considerable “slippage” between the teacher educator's critical pedagogy inspired intentions and what was understood by the student-teachers.

The design and implementation of a repository for the management of spatial data integrity constraints

This paper reviews the key features of an environment to support domain users in spatial information system (SIS) development. It presents a full design and prototype implementation of a repository system for the storage and management of metadata, focusing on a subset of spatial data integrity constraint classes. The system is designed to support spatial system development and customization by users within the domain that the system will operate.

The place and meaning of physical activity, physical education, and physical culture in the lives of young people living in rural Queensland

Young people living in rural and regional areas are often reported as being less physically active than are young people living elsewhere. An understanding of this phenomenon will inform policies and strategies to address this finding. One source of valuable information is a qualitative understanding of how social relations and cultural meanings influence young people's opportunities and choices in relation to physical activity as told by young people themselves. The study reported here forms a component of a national project to gain insights into young people's engagement with physical activity and physical culture. Data has been collected for over two years with 15 young people residing in rural areas throughout Queensland, using semi- structured interviews. This paper reports the findings of the research. [Author abstract, ed]

Divergent environments and population bottlenecks fail to generate premating isolation in Drosophila pseudoobscura

While the feasibility of bottleneck-induced speciation is in doubt, population bottlenecks may still affect the speciation process by interacting with divergent selection. To explore this possibility, I conducted a laboratory speciation experiment using Drosophila pseudoobscura involving 78 replicate populations assigned in a two-way factorial design to both bottleneck (present vs. absent) and environment (ancestral vs. novel) treatments. Populations independently evolved under these treatments and were then tested for assortative mating and male mating success against their common ancestor. Bottlenecks alone did not generate any premating isolation, despite an experimental design that was conducive to bottleneck-induced speciation. Premating isolation also did not evolve in the novel environment treatment, neither in the presence nor absence of bottlenecks. However, male mating success was significantly reduced in the novel environment treatment, both as a plastic response to this environment and as a result of environment-dependent inbreeding effects in the bottlenecked populations. Reduced mating success of derived males will hamper speciation by enhancing the mating success of immigrant, ancestral males. Novel environments are generally thought to promote ecological speciation by generating divergent natural selection. In the current experiment, however, the novel environment did not cause the evolution of any premating isolation and it reduced the likelihood of speciation through its effects on male mating success.