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.

Analysis of marine bivalve shellfish from the fish market in Santos city, Sao Paulo state, Brazil, for Toxoplasma gondii

The aim of this study was to determine if Toxoplasma gondii are present in oysters (Crassostrea rhizophorae) and mussels (Mytella guyanensis) under natural conditions using a bioassay in mice and molecular detection methods. We first compared two standard protocols for DNA extraction, phenol-chloroform (PC) and guanidine-thiocyanate (GT), for both molluscs. A total of 300 oysters and 300 mussels were then acquired from the fish market in Santos city, Sao Paulo state, Brazil, between March and August of 2008 and divided into 60 groups of 5 oysters and 20 groups of 15 mussels. To isolate the parasite, five mice were orally inoculated with sieved tissue homogenates from each group of oysters or mussels. For molecular detection of T. gondii, DNA from mussels was extracted using the PC method and DNA from oysters was extracted using the GT method. A nested-PCR (Polymerase Chain Reaction) based on the amplification of a 155 bp fragment from the B1 gene of T. gondii was then performed. Eleven PCR-RFLP (Restriction Fragment Length Polymorphism) markers, SAG1, SAG2, SAG3, BTUB, GRA6, c22-8, c29-2, L358, PK1, CS3 and Apico, were used to genotype positive samples. There was no isolation of the parasite by bioassay in mice. T. gondii was not detected in any of the groups of mussels by nested-PCR. DNA of T. gondii was apparently detected by nested-PCR in 2 groups of oysters (3.3%). Genotyping of these two positive samples was not successful. The results suggest that oysters of the species C. rhizophorae, the most common species from the coast of Sao Paulo, can filter and retain T. gondii oocysts from the marine environment. Ingestion of raw oysters as a potential transmission source of T. gondii to humans and marine mammals should be further investigated. (C) 2010 Elsevier B.V. All rights reserved.

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.

Tooth Tissue Engineering: Optimal Dental Stem Cell Harvest Based on Tooth Development

Our long-term objective is to devise reliable methods to generate biological replacement teeth exhibiting the physical properties and functions of naturally formed human teeth. Previously, we demonstrated the successful use of tissue engineering approaches to generate small, bioengineered tooth crowns from harvested pig and rat postnatal dental stem cells (DSCs). To facilitate characterizations of human DSCs, we have developed a novel radiographic staging system to accurately correlate human third molar tooth developmental stage with anticipated harvested DSC yield. Our results demonstrated that DSC yields were higher in less developed teeth (Stages 1 and 2), and lower in more developed teeth (Stages 3, 4, and 5). The greatest cell yields and colony-forming units (CFUs) capability was obtained from Stages 1 and 2 tooth dental pulp. We conclude that radiographic developmental staging can be used to accurately assess the utility of harvested human teeth for future dental tissue engineering applications.

Marine macroalgal biodiversity hotspots: why is there high species richness and endemism in southern Australian marine benthic flora?

The southern Australian marine macroalgal flora has the highest levels of species richness and endemism of any regional macroalgal flora in the world. Analyses of species composition and distributions for the southern Australian flora have identified four different floristic elements, namely the southern Australian endemic element, the widely distributed temperate element, the tropical element and a cold water element. Within the southern Australian endemic element, four species distribution patterns are apparent, thought to largely result from the Jurassic to Oligocene fragmentation of East Gondwana, the subsequent migration of Tethyan ancestors from the west Australian coast and the later invasion of high latitude Pacific species. Climatic deterioration from the late Eocene to the present is thought responsible for the replacement of the previous tropical south coast flora by an endemic temperate flora which has subsequently diversified in response to fluctuating environmental conditions, abundant rocky substrata and substantial habitat heterogeneity. High levels of endemism are attributed to Australia's long isolation and maintained, as is the high species richness, by the lack of recent mass extinction events. The warm water Leeuwin Current has had profound influence in the region since the Eocene, flowing to disperse macroalgal species onto the south coast as well as ameliorating the local environment. It is now evident that the high species richness and endemism we now observe in the southern Australian marine macroalgal flora can be attributed to a complex interaction of biogeographical, ecological and phylogenetic processes over the last 160 million years.

Weketrema gen.n., a new genus for Weketrema hawaiiense (Yamaguti, 1970) comb. n. (Digenea : Lecithasteridae) recently found in Australian marine fishes

A new genus, Weketrema, is erected in the family Lecithasteridae for the species hitherto known as Lecithophyllum hawniiense. Weket, ema hawaiiense (Yamaguti, 1970) comb, n. is redescribed from Scolopsis bilineatus (Bloch) (Perciformes: Nemipteridae) from Lizard Island and Heron Island, Queensland, Plectorhinchus gibbosus (Lacepede) (Perciformes: Haemulidae) from Heron Island and Cheilodactylus nigripes Richardson (Perciformes: Cheilodactylidae) and Latridopsis forsteri (Castelnau) (Perciformes: Latridae) from Stanley, northern Tasmania. The new genus is distinguished from related members of the family Lecithasteridae by its complete lack of a sinus-sac. Although placed in the subfamily Lecithasterinae pro tem, its true subfamily position is not entirely clear. Comment is made on its unusual distribution, both in terms of zoogeography and hosts.

Antifungal alkyl amino alcohols from the tropical marine sponge Haliclona n. sp.

Three new amino alcohols presumably deriving from L-alanine were isolated from the tropical marine sponge Haliclona n. sp. and characterized by 2D NMR, while a fourth amino alcohol was characterized as an acetamide derivative. Relative stereochemistry was deduced from the NMR characteristics of oxazolidinone derivatives and absolute stereochemistry secured by preparation and analysis of an MPA ester. The amino alcohol fraction from Haliclona n. sp, acts as an antifungal agent and inhibits the development of larvae of the ascidian Herdmania curvata.

Advanced precursors in marine biosynthetic study. Part 2: The biosynthesis of isocyanides and isothiocyanates in the tropical marine sponge Axinyssa n.sp.

The biosynthetic origins of the isocyanide and isothiocyanate groups in 9-isocyanop upukeanane (2) and 9-isothiocyanato-pupukeanane (3) are investigated by incorporation of [C-14]-labelled advanced precursors into the sponge Axinyssa n.sp. (C) 2001 Elsevier Science Ltd. All rights reserved.

New chlorinated peptides from the tropical marine sponge Dysidea sp.

Five new chlorinated peptides (5)-(9) have been isolated from a Dysidea sp. and identified by two-dimensional NMR spectroscopy. The absolute stereochemistry of the metabolites was deduced by chemical correlation with S-(-)-4,4,4-trichloro-3-methylbutanoic acid (10) and with an alcohol (11). (C) 2001 Elsevier Science Ltd. All rights reserved.

The cystine knot motif in toxins and implications for drug design

The cystine knot structural motif is present in peptides and proteins from a variety of species, including fungi, plants, marine molluscs. insects and spiders. It comprises an embedded ring formed by two disulfide bonds and their connecting backbone segments which is threaded by a third disulfide bond. It is invariably associated with nearby beta-sheet structure and appears to be a highly efficient motif for structure stabilization. Because of this stability it makes an ideal framework for molecular engineering applications. In this review we summarize the main structural features of the cystine knot motif, focussing on toxin molecules containing either the inhibitor cystine knot or the cyclic cystine knot. Peptides containing these motifs are 26-48 residues long and include ion channel blockers, haemolytic agents, as well as molecules having antiviral and antibacterial activities. The stability of peptide toxins containing the cystine knot motif, their range of bioactivities and their unique structural scaffold can be harnessed for molecular engineering applications and in drug design. Applications of cystine knot molecules for the treatment of pain. and their potential use in antiviral and antibacterial applications are described. (C) 2000 Elsevier Science Ltd. All rights reserved.