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.

Rural and urban attitudes to the conservation of Asian elephants in Sri Lanka: Empirical evidence

There has been little study of economic and general attitudes towards the conservation of the Asian elephant. This paper reports and analyses results from surveys conducted in Sri Lanka of attitudes of urban dwellers and farmers towards nature conservation in general and the elephant conservation in particular. The analyses are based on urban and a rural sample. Contingent valuation techniques are used as survey instruments. Multivariate logit regression analysis is used to analyze the respondents’ attitudes towards conservation of elephants. It is found that, although some variations occurred between the samples, the majority of the respondents (both rural and urban) have positive attitudes towards nature conservation in general. However, marked differences in attitudes toward elephant conservation are evident between these two samples: the majority of urban respondents were in favour of elephant conservation; rural respondents expressed a mixture of positive and negative attitudes. Overall, considerable unrecorded and as yet unutilised economic support for conservation of wild elephants exists in Sri Lanka.

Prejudice against female children: Economics and cultural explanations, and India evidence

Shows how economic theories based on parental self-interest may explain parental discrimination against daughters relative to sons. However, such theories often need to be adjusted (or even discarded) to allow for altruism of parents towards their children, and to take account of cultural influences on parental desires to have children of particular gender, and care equally for their children of different gender. The latter point is illustrated by a study of two different communities. In one situated in the Santal tribal belt I West Bengal, discrimination against daughters is found to be marked and accords (given the structure of society) with predictions of economic theories based on the pursuit of parental self-interest. By contrast, it is found that although the Knondh-dominated community in Orissa experiences similar economic conditions and social structures to the West Bengal communities, parental discrimination against daughters is almost absent. The differences seem to arise from a difference between the cultural values shared by the Kondhs in Orissa and those shared by the West Bengal community consisting of Santals and Bengali Hindus. This suggests that the applicability of economic theories of the family depends significantly on the social contexts in which they are to be applied. In this respect, both social structures and cultural values are important.

Conservation and economic benefits of wildlife-based marine tourism: Sea turtles and whales as case studies

Tourism development can have positive and/or negative impacts on wildlife. However, if tourism is developed in accordance with the basic tenets of wildlife tourism such an activity can be sustainable and can aid the conservation of species. Based on two case studies in Queensland, Australia, this article outlines the various economic and conservation benefits arising from wildlife-based tourism. Some of the benefits are direct, such as tangible economic benefits, others are less tangible, such as increased visitors’ willingness to pay in principle for the conservation of species. Wildlife-based tourism is shown to foster political support for the conservation of species utilized for such tourism by various mechanisms. Non-consumptive uses of wildlife are not only sustainable, but may provide a viable alternative to consumptive uses.