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.

The public's knowledge of and support for conservation of Australia's Tree-Kangaroos

After providing some brief background on Dendrolagus species in Australia, two consecutive surveys of Brisbane’s residents are used to assess public knowledge of tree-kangaroos and the stated degree of support for their conservation in Australia. The responses of participants in Survey I are based on their pre-survey knowledge of wildlife. The same additional set of participants completed Survey II after being provided with information on all the wildlife species mentioned in Survey I. Changes in the attitudes of respondents and their degree of support for the protection and conservation of Australia’s tree-kangaroos are measured, including changes in their contingent valuations and stated willingness to provide financial support for such conservation. Reasons for wanting to protect tree-kangaroos are specified and analyzed. Furthermore, changes that occur in the relative importance of these reasons with increased knowledge are also examined. Support for the conservation of tree-kangaroos is found to increase with the additional knowledge supplied. Furthermore, support for the conservation of Australia’s less well-known tropical mammals is shown to increase relative to better known mammals (icons) present in temperate areas, such as koalas and red kangaroos with this increased knowledge. Possible implications of the results for government conservation policies in Australia are examined.

Influences on knowledge of wildlife species on patterns of willingness to pay for their conservation

Examines the influence of respondents’ knowledge of wildlife species on their willingness to pay for conservation of the individual species. It does so by using data generated by surveys of 204 individuals who participated in a structured experiment in which their knowledge of a selected set of wildlife species was increased. The species selected were Australian ones, mostly but not entirely, tropical ones. The species were divided into three taxa for the experiment; reptiles, mammals and birds. Each set of species in the taxa included some species expected to be poorly known initially and some anticipated to be well known. Respondents rated their knowledge of each species on a Likert scale, and changes in their average allocation of funds for the conservation of each species were examined as their knowledge increased. Some general relationships are observed.

What role does knowledge of wildlife play in providing support for species' conservation?

Conservation of biodiversity is a complex issue. Apart from the creation of nature reserves, there is a plethora of other factors that are part of this complex web. One such factor is the public knowledge of species. Since public funding is imperative for the conservation of species and creation of reserves for them it is important to determine the public’s awareness of species and their knowledge about them. In the absence of such awareness and knowledge, it is possible that the public may misallocate their support. In other words, resources may be provided for species that do not need support urgently. We show how availability of balanced information about species helps the public to make rational decisions and to allocate support (e.g. monetary) to species that need it most. Other implications of a ‘wildlife knowledgeable’ public are also discussed.

Knowledge about a species' conservation status and funding for its preservation: Analysis

Using a species’ population to measure its conservation status, this note explores how an increase in knowledge about this status would change the public’s willingness to donate funds for its conservation. This is done on the basis that the relationship between the level of donations and a species’ conservation status satisfies stated general mathematical properties. This level of donation increases, on average, with greater knowledge of a species’ conservation status if it is endangered, but falls if it is secure. Game theory and other theory is used to show how exaggerating the degree of endangerment of a species can be counterproductive for conservation.