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.

Efficacy of a bioactive glass-ceramic (Biosilicate (R)) in the maintenance of alveolar ridges and in osseointegration of titanium implants

Objectives The aims of this research were to evaluate the efficacy of a bioactive glass-ceramic (Biosilicate (R)) and a bioactive glass (Biogran (R)) placed in dental sockets in the maintenance of alveolar ridge and in the osseointegration of Ti implants. Material and methods Six dogs had their low premolars extracted and the sockets were implanted with Biosilicate (R), Biogran (R) particles, or left untreated. After the extractions, measurements of width and height on the alveolar ridge were taken. After 12 weeks a new surgery was performed to take the final ridge measurements and to insert bilaterally three Ti implants in biomaterial-implanted and control sites. Eight weeks post-Ti implant placement block biopsies were processed for histological and histomorphometric analysis. The percentages of bone-implant contact (BIC), of mineralized bone area between threads (BABT), and of mineralized bone area within the mirror area (BAMA) were determined. Results The presence of Biosilicate (R) or Biogran (R) particles preserved alveolar ridge height without affecting its width. No significant differences in terms of BIC, BAMA, and BABT values were detected among Biosilicate (R), Biogran (R), and the non-implanted group. Conclusions The results of the present study indicate that filling of sockets with either Biosilicate (R) or Biogran (R) particles preserves alveolar bone ridge height and allows osseointegration of Ti implants. To cite this article:Roriz VM, Rosa AL, Peitl O, Zanotto ED, Panzeri H, de Oliveira PT. Efficacy of a bioactive glass-ceramic (Biosilicate (R)) in the maintenance of alveolar ridges and in osseointegration of titanium implants.Clin. Oral Impl. Res. 21, 2010; 148-155.doi: 10.1111/j.1600-0501.2009.01812.x.

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.