UML approach to the generation of test sequences for Java-based concurrent systems

Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this specification, test sequences for validating an implementation of the system. The approach is to first extend the specification to create UML state machines that directly address those aspects of the system we wish to test. To be specific, the extended UML state machines can capture state information about the number of waiting threads or the number of threads blocked on a given object. Using the SAL model checker we can generate from the extended UML state machines sequences that cover all the various possibilities of events and states. These sequences can then be directly transformed into test sequences suitable for input into a testing tool such as ConAn. As an illustration, the methodology is applied to generate sequences for testing a Java implementation of the producer-consumer system. © 2005 IEEE

Effects of temperature-dependent viscosity variation on entropy generation, heat and fluid flow through a porous-saturated duct of rectangular cross-section

Effect of temperature-dependent viscosity on fully developed forced convection in a duct of rectangular cross-section occupied by a fluid-saturated porous medium is investigated analytically. The Darcy flow model is applied and the viscosity-temperature relation is assumed to be an inverse-linear one. The case of uniform heat flux on the walls, i.e. the H boundary condition in the terminology of Kays and Crawford, is treated. For the case of a fluid whose viscosity decreases with temperature, it is found that the effect of the variation is to increase the Nusselt number for heated walls. Having found the velocity and the temperature distribution, the second law of thermodynamics is invoked to find the local and average entropy generation rate. Expressions for the entropy generation rate, the Bejan number, the heat transfer irreversibility, and the fluid flow irreversibility are presented in terms of the Brinkman number, the Péclet number, the viscosity variation number, the dimensionless wall heat flux, and the aspect ratio (width to height ratio). These expressions let a parametric study of the problem based on which it is observed that the entropy generated due to flow in a duct of square cross-section is more than those of rectangular counterparts while increasing the aspect ratio decreases the entropy generation rate similar to what previously reported for the clear flow case.

Tourism as a contributor to development in Sri Lanka: An overview and a case study

General background is provided on the potential of tourism growth to contribute to economic development, paying particular attention to the experience of Sri Lanka. An overview of trends in inbound tourism to Sri Lanka is presented with particular consideration being given to its number of inbound tourist arrivals. Sri Lanka’s comparative position in international tourism markets, the composition of its tourist arrivals by area of origin, the extent of foreign earnings by the Sri Lankan tourism industry and variations in the amount of these earnings, and the extent of employment generation by this industry are examined. Regional aspects of the tourism industry in Sri Lanka are given special consideration, and this is followed by a report on the regional economic impact of tourism of Pinnawala Elephant Orphanage. This major tourist attraction near the edge of the Western Highlands of Sri Lanka is shown to make a significant contribution to economic decentralisation. A general discussion follows of tourism development in the Sri Lankan context. The main factors that have hindered tourism growth in Sri Lanka and its decentralisation are considered. Indications are that major impediment posed by civil disturbance and terrorism is at an end in Sri Lanka.

Evolution of the genetic covariance between male and female components of mate recognition: An experimental test

The evolution of a positive genetic correlation between male and female components of mate recognition systems will result as a consequence of assortative mating and, in particular, is central to a number of theories of sexual selection. Although the existence of such genetic correlations has been investigated in a number of taxa, it has yet to be shown that such correlations evolve and whether they may evolve as rapidly as suggested by sexual selection models. In this study, I used a hybridization experiment to disrupt natural mate recognition systems and then observed the subsequent evolutionary dynamics of the genetic correlation between male and female components for 56 generations in hybrids between Drosophila serrata and Drosophila birchii. The genetic correlation between male and female components evolved from 0.388 at generation 5 to 1.017 at generation 37 and then declined to -0.040 after a further 19 generations. These results indicated that the genetic basis of the mate recognition system in the hybrid populations evolved rapidly. The initial rapid increase in the genetic correlation was consistent with the classic assumption that male and female components will coevolve under sexual selection. The subsequent decline in genetic correlation may be attributable to the fixation of major genes or, alternatively, may be a result of a cyclic evolutionary change in mate recognition.

Modeling the optical constants of solids using acceptance-probability-controlled simulated annealing with an adaptive move generation procedure

The acceptance-probability-controlled simulated annealing with an adaptive move generation procedure, an optimization technique derived from the simulated annealing algorithm, is presented. The adaptive move generation procedure was compared against the random move generation procedure on seven multiminima test functions, as well as on the synthetic data, resembling the optical constants of a metal. In all cases the algorithm proved to have faster convergence and superior escaping from local minima. This algorithm was then applied to fit the model dielectric function to data for platinum and aluminum.

Analyzing the researcher's work in generating data: The case of complaints

This article investigates the researcher's work in the coproduction (or not) of complaint sequences in research interviews. Using a conversation analytic approach, we show how the interviewer's management of complaint sequences in a research setting is consequential for subsequent talk and thus directly affects the data generated. In the examples shown here, researchers sharing cocategorial incumbency with respondents may well provide spaces for research participants to formulate complaints. This article examines sequences of talk surrounding complaints to show how researchers generate complaints (or not) and handle unsafe complaints. Researchers are able to provoke specific types of accounts from respondents, whereas their respondents may actively resist the researchers' direction. For researchers using the interview as a method of data generation, examination of complaint sequences and how these appear in interview data provides insight into how interview talk is coproduced and managed within a socially situated setting.

The young women's network: A case study in community development

While young women have been found to be at additional risk for psychological morbidity after a breast cancer diagnosis, their specific needs in relation to support are not well described. A community development approach was utilized to develop the Young Women's Network, a peer support programme for young women who have been diagnosed with breast cancer that addresses their specific psychological and social needs, Central to this approach was the key role of the target group in both the definition of the problem and the generation of the solutions. This article describes the steps involved in developing this programme and guidelines for health professionals and community members who may wish to replicate either the Young Women's Network or this particular approach to programme development. Copyright (C), 2001 John Wiley & Sons, Ltd.

Urban birth and migrant status as risk factors for psychosis: An Australian case-control study

Background Urban birth and migrant status have been identified as risk factors for psychosis in North American and European studies. The aim of this study was to explore these variables in an Australian case-control study. Method Country of birth of subjects and their parents, and place of birth of Australian-born subjects, were examined in individuals with psychosis drawn from a prevalence study (n = 310) and well controls recruited from the same catchment area (n = 303). Results Migrant status was associated with a significantly decreased odds of having a psychotic disorder. For those born in Australia, neither migrant status of parents nor urban birth was associated with having a psychotic disorder. Conclusions The lack of effect for urban birth and second-generation migrant status may help generate candidate environmental risk factors that operate in Europe but not in Australia.

A case study of partial agenesis of the corpus callosum: Audiological implications

This case study represents four years of audiological observations, testing and aural habilitation of a female child with a partial agenesis of the corpus callosum (ACC). The ACC was diagnosed by MRI scans to eliminate neurological causes for developmental delay at six months of age. This child was also born with a cleft palate and was diagnosed with Robinow Syndrome at 3 years and 3 months of age. The audiological results showed an improvement in hearing thresholds over the four-year period. The child’s opthamologist also reported an improvement in visual skills over time. The most interesting aspect of the child’s hearing was the discrepancy between the monaural and the binaural results. That is, when assessed binaurally she often presented with a mild to moderate mixed loss and when assessed monaurally she showed a moderate to severe mixed loss for the right ear and a severe mixed loss for the left ear. This discrepancy between binaural and monaural results was evident for both aided and unaided tests. Parental reports of the child’s hearing were consistent with the binaural clinical results. This case indicates the need for audiologists to: (a) carefully monitor the hearing of children with ACC, (b) obtain monaural and binaural hearing and aided thresholds results, and (c) compare these children’s functional abilities to the objective test results obtained. This case does question whether hearing aids are appropriate for children with ACC. If hearing aids are deemed to be appropriate, then hearing aids with compression characteristics should be considered.

A model of factors affecting an information system's change in state

Management are keen to maximize the life span of an information system because of the high cost, organizational disruption, and risk of failure associated with the re-development or replacement of an information system. This research investigates the effects that various factors have on an information system's life span by understanding how the factors affect an information system's stability. The research builds on a previously developed two-stage model of information system change whereby an information system is either in a stable state of evolution in which the information system's functionality is evolving, or in a state of revolution, in which the information system is being replaced because it is not providing the functionality expected by its users. A case study surveyed a number of systems within one organization. The aim was to test whether a relationship existed between the base value of the volatility index (a measure of the stability of an information system) and certain system characteristics. Data relating to some 3000 user change requests covering 40 systems over a 10-year period were obtained. The following factors were hypothesized to have significant associations with the base value of the volatility index: language level (generation of language of construction), system size, system age, and the timing of changes applied to a system. Significant associations were found in the hypothesized directions except that the timing of user changes was not associated with any change in the value of the volatility index. Copyright (C) 2002 John Wiley Sons, Ltd.

A Case Study of Partial Agenesis of the Corpus Callosum: Audiological Implications

This case study presents four and a half years of audiological observations, testing and aural habilitation of a female child with a partial agenesis of the corpus callosum (ACC). The ACC was diagnosed by MRI scan performed at 6 months of age to eliminate neurological causes for the developmental delay. This child was also born with a cleft palate and was diagnosed with Robinow Syndrome at 3 years and 3 months of age. The audiological results showed an improvement in hearing thresholds over the 4-year period. The child’s ophthalmologist also reported an improvement in visual skills over time. The most interesting aspect of the child’s hearing was the discrepancy between the monaural and the binaural results. That is, when assessed binaurally she often presented with a mild to moderate mixed loss and, when assessed monaurally, she showed a moderate to severe mixed loss for the right ear and a severe mixed loss for the left ear. Over time, the discrepancy between the monaural and binaural results changed. When assessed binaurally, the loss decreased to normal low frequency hearing sloping to a mild high frequency loss. When assessed monaurally, the most recent results showed a mild loss for the right ear and a moderate loss for the left ear. This discrepancy between binaural and monaural results was evident for both aided and unaided tests. For the most recent thresholds, the binaural results were consistent with the right monaural thresholds for the first time over the four and a half years. Parental reports of the child’s hearing were consistent with the binaural clinical results. This case indicates the need for audiologists to (1) carefully monitor the hearing of children with ACC, (2) obtain monaural and binaural hearing and aided thresholds results, and (3) compare these children’s functional abilities with the objective test results obtained. This case does question whether hearing aids are appropriate for children with ACC. If hearing aids are deemed to be appropriate, then hearing aids with compression characteristics should be considered.